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
2432003
Liveness checking as safety checking
A Biere, C Artho, V Schuppan
Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002
1872002
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
1402011
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
1222005
Applying static analysis to large-scale, multi-threaded Java programs
C Artho, A Biere
Proceedings 2001 Australian Software Engineering Conference, 68-75, 2001
1162001
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
852003
Combined static and dynamic analysis
C Artho, A Biere
Electronic Notes in Theoretical Computer Science 131, 3-14, 2005
602005
Finding faults in multi-threaded programs
C Artho
562001
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
552004
JNuke: Efficient dynamic analysis for Java
C Artho, V Schuppan, A Biere, P Eugster, M Baur, B Zweimüller
International Conference on Computer Aided Verification, 462-465, 2004
542004
Iterative delta debugging
C Artho
International Journal on Software Tools for Technology Transfer 13 (3), 223-246, 2011
512011
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
502015
Accurate centralization for applying model checking on networked applications
C Artho, PL Garoche
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
452006
Visualization of concurrent program executions
C Artho, K Havelund, S Honiden
31st Annual International Computer Software and Applications Conference …, 2007
372007
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
362012
Efficient model checking of networked applications
C Artho, W Leungwattanakit, M Hagiya, Y Tanabe
International Conference on Objects, Components, Models and Patterns, 22-40, 2008
352008
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
342015
Modbat: A model-based API tester for event-driven systems
CV Artho, A Biere, M Hagiya, E Platon, M Seidl, Y Tanabe, M Yamamoto
Haifa Verification Conference, 112-128, 2013
342013
Software side channel attack on memory deduplication
K Suzaki, K Iijima, T Yagi, C Artho
ACM Symposium on Operating Systems Principles (SOSP 2011), Poster session, 2011
302011
Modular software model checking for distributed systems
W Leungwattanakit, C Artho, M Hagiya, Y Tanabe, M Yamamoto, ...
IEEE Transactions on Software Engineering 40 (5), 483-501, 2013
292013
The system can't perform the operation now. Try again later.
Articles 1–20