Follow
Cyrille Artho
Title
Cited by
Cited by
Year
High‐level data races
C Artho, K Havelund, A Biere
Software Testing, Verification and Reliability 13 (4), 207-227, 2003
2632003
Liveness checking as safety checking
A Biere, C Artho, V Schuppan
Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002
2252002
Memory deduplication as a threat to the guest OS
K Suzaki, K Iijima, T Yagi, C Artho
Proceedings of the Fourth European Workshop on System Security, 1-6, 2011
1822011
Combining test case generation and runtime verification
C Artho, H Barringer, A Goldberg, K Havelund, S Khurshid, M Lowry, ...
Theoretical Computer Science 336 (2-3), 209-234, 2005
1372005
Applying static analysis to large-scale, multi-threaded Java programs
C Artho, A Biere
Proceedings 2001 Australian Software Engineering Conference, 68-75, 2001
1362001
GRT: Program-analysis-guided random testing
L Ma, C Artho, C Zhang, H Sato, J Gmeiner, R Rudolf
IEEE/ACM Int. Conference on Automated Software Engineering, ASE 15, 2015
892015
Experiments with test case generation and runtime analysis
C Artho, D Drusinksy, A Goldberg, K Havelund, M Lowry, C Pasareanu, ...
International Workshop on Abstract State Machines, 87-108, 2003
822003
Combined static and dynamic analysis
C Artho, A Biere
Electronic Notes in Theoretical Computer Science 131, 3-14, 2005
772005
Iterative delta debugging
C Artho
International Journal on Software Tools for Technology Transfer 13, 223-246, 2011
762011
Optimization of combinatorial testing by incremental SAT solving
A Yamada, T Kitamura, C Artho, EH Choi, Y Oiwa, A Biere
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
612015
Why do software packages conflict?
C Artho, K Suzaki, R Di Cosmo, R Treinen, S Zacchiroli
2012 9th IEEE Working Conference on Mining Software Repositories (MSR), 141-150, 2012
612012
Using block-local atomicity to detect stale-value concurrency errors
C Artho, K Havelund, A Biere
International Symposium on Automated Technology for Verification and …, 2004
612004
JNuke: Efficient dynamic analysis for Java
C Artho, V Schuppan, A Biere, P Eugster, M Baur, B Zweimüller
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
582004
Finding faults in multi-threaded programs
C Artho
582001
Greedy combinatorial test case generation using unsatisfiable cores
A Yamada, A Biere, C Artho, T Kitamura, EH Choi
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
572016
Visualization of concurrent program executions
C Artho, K Havelund, S Honiden
31st Annual International Computer Software and Applications Conference …, 2007
552007
Accurate centralization for applying model checking on networked applications
C Artho, PL Garoche
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
552006
Modbat: A model-based API tester for event-driven systems
CV Artho, A Biere, M Hagiya, E Platon, M Seidl, Y Tanabe, M Yamamoto
Hardware and Software: Verification and Testing: 9th International Haifa …, 2013
522013
Oracle-supported dynamic exploit generation for smart contracts
H Wang, Y Liu, Y Li, SW Lin, C Artho, L Ma, Y Liu
IEEE Transactions on Dependable and Secure Computing 19 (3), 1795-1809, 2020
472020
Model-based testing for verification back-ends
C Artho, A Biere, M Seidl
International Conference on Tests and Proofs, 39-55, 2013
452013
The system can't perform the operation now. Try again later.
Articles 1–20