Cyrille Artho
Citée par
Citée par
High‐level data races
C Artho, K Havelund, A Biere
Software Testing, Verification and Reliability 13 (4), 207-227, 2003
Liveness checking as safety checking
A Biere, C Artho, V Schuppan
Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002
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
Applying static analysis to large-scale, multi-threaded Java programs
C Artho, A Biere
Proceedings 2001 Australian Software Engineering Conference, 68-75, 2001
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
Experiments with test case generation and runtime analysis
C Artho, D Drusinksy, A Goldberg, K Havelund, M Lowry, C Pasareanu, ...
Abstract State Machines 2003: Advances in Theory and Practice 10th …, 2003
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
Combined static and dynamic analysis
C Artho, A Biere
Electronic Notes in Theoretical Computer Science 131, 3-14, 2005
Iterative delta debugging
C Artho
International Journal on Software Tools for Technology Transfer 13, 223-246, 2011
Using block-local atomicity to detect stale-value concurrency errors
C Artho, K Havelund, A Biere
Automated Technology for Verification and Analysis: Second International …, 2004
Finding faults in multi-threaded programs
C Artho
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
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
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
Visualization of concurrent program executions
C Artho, K Havelund, S Honiden
31st Annual International Computer Software and Applications Conference …, 2007
Accurate centralization for applying model checking on networked applications
C Artho, PL Garoche
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
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
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
Model-based testing for verification back-ends
C Artho, A Biere, M Seidl
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20