-
1دورية أكاديمية
المؤلفون: Cyrille Artho, Guillaume Rousset
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 245, Iss Proc. FESCA 2017, Pp 46-51 (2017)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Johan Besseling, Cyrille Artho
المصدر: ACM SIGSOFT Software Engineering Notes. 48:22-26
مصطلحات موضوعية: General Medicine
-
3
المؤلفون: Elena Sherman, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra, Filip Kliber, Gaurang Kudale, Pavel Parízek, Corina S. Pasareanu, Ron Pressler, Matt Walker, Hongru Wang, Qiuchen Yan
المصدر: ACM SIGSOFT Software Engineering Notes. 48:19-21
مصطلحات موضوعية: General Medicine
-
4
المؤلفون: Ye Liu, Shang-Wei Lin, Haijun Wang, Cyrille Artho, Lei Ma, Yang Liu, Yi Li
المصدر: IEEE Transactions on Dependable and Secure Computing. 19:1795-1809
مصطلحات موضوعية: 021110 strategic, defence & security studies, Exploit, Computer science, Reliability (computer networking), 0211 other engineering and technologies, Vulnerability, 02 engineering and technology, Computer security, computer.software_genre, Oracle, False positive paradox, State (computer science), Logic error, Electrical and Electronic Engineering, computer, Database transaction
-
5
المؤلفون: Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Cyrille Artho
المصدر: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0ed987d3e666c2f3a5372826704eee57
https://doi.org/10.1109/issrew55968.2022.00040 -
6
المؤلفون: Yang Zhou, Cyrille Artho
المصدر: ACM SIGSOFT Software Engineering Notes. 46:42-46
مصطلحات موضوعية: Java, Computer science, Programming language, 020207 software engineering, 02 engineering and technology, General Medicine, computer.software_genre, Visualization, Program analysis, 020204 information systems, Compass, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Leverage (statistics), computer, TRACE (psycholinguistics), Eclipse, computer.programming_language
-
7
المؤلفون: Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho
المصدر: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::72db9f5ea03a43b60394c512472f2b5c
https://doi.org/10.1145/3533767.3534372 -
8
المؤلفون: Qiuchen Yan, Cyrille Artho, Pavel Parízek
المصدر: ACM SIGSOFT Software Engineering Notes. 48:37-37
مصطلحات موضوعية: General Medicine
-
9
المؤلفون: Cyrille Artho, Adam Benali, Rudolf Ramler
المصدر: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS).
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5340fdb95c7ce5444146691dcd7f643a
https://doi.org/10.1109/qrs54544.2021.00044 -
10
المؤلفون: Timo Kehrer, Ji Wang, Minxing Tang, Pavel Parizek, Elena Sherman, Eric Mercer, Peter Aldous, Zhenbang Chen, Ismet Burak Kadron, Koushik Sen, Tevfik Bultan, Yannic Noller, Hoang Lam Nguyen, Cyrille Artho, Benjamin M. Ogles, Kyle Storey, Joshua Hooker, Lucas Bang, Egor Namakonov, Alyas Almaawi, Hengbiao Yu, Lars Grunske, Corina S. Păsăreanu, Seemanta Saha, S. Jacob Powell, Willem Visser, William Eiers, Sarfraz Khurshid, David Lo, Quoc-Sang Phan, Xuan-Bach D. Le, Wei Dong, Rohan Padhye, Simon Goldsmith, Hayes Converse, Lasse Berglund, Sasa Misailovic, Milos Gligoric
المصدر: ACM SIGSOFT Software Engineering Notes. 45:20-22
مصطلحات موضوعية: Software model checker, Java, Computer science, business.industry, 020207 software engineering, Java bytecode, 02 engineering and technology, General Medicine, Program analysis, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Java pathfinder, State (computer science), Android (operating system), Software engineering, business, computer, PATH (variable), computer.programming_language