Suivre
Cyrille Artho
Titre
Citée par
Citée par
Année
High‐level data races
C Artho, K Havelund, A Biere
Software Testing, Verification and Reliability 13 (4), 207-227, 2003
2652003
Liveness checking as safety checking
A Biere, C Artho, V Schuppan
Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002
2342002
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
1912011
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
1422005
Applying static analysis to large-scale, multi-threaded Java programs
C Artho, A Biere
Proceedings 2001 Australian Software Engineering Conference, 68-75, 2001
1372001
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
992015
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
832003
Combined static and dynamic analysis
C Artho, A Biere
Electronic Notes in Theoretical Computer Science 131, 3-14, 2005
792005
Iterative delta debugging
C Artho
International Journal on Software Tools for Technology Transfer 13, 223-246, 2011
782011
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
672012
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
662015
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
622016
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
602004
Finding faults in multi-threaded programs
C Artho
602001
Dynamic vulnerability detection on smart contracts using machine learning
M Eshghie, C Artho, D Gurov
Proceedings of the 25th International Conference on Evaluation and …, 2021
582021
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
582020
Visualization of concurrent program executions
C Artho, K Havelund, S Honiden
31st Annual International Computer Software and Applications Conference …, 2007
562007
Accurate centralization for applying model checking on networked applications
C Artho, PL Garoche
21st IEEE/ACM International Conference on Automated Software Engineering …, 2006
562006
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
542013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20