Cyrille Artho

Cited by

	All	Since 2016
Citations	2067	802
h-index	23	16
i10-index	43	24

180

135

200320042005200620072008200920102011201220132014201520162017201820192020202128 49 84 77 80 87 89 110 97 97 150 150 149 137 170 180 164 145 5

Co-authors

Armin BiereJohannes Kepler University LinzVerified email at jku.at
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Kuniyasu SuzakiAIST: National Institute of Advanced Industrial Science and TechnologyVerified email at aist.go.jp
Lei MaAssociate Professor, Kyushu UniversityVerified email at ait.kyushu-u.ac.jp
Takashi KitamuraAISTVerified email at aist.go.jp
Eun-Hye ChoiAISTVerified email at aist.go.jp
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Rudolf RamlerSoftware Competence Center Hagenberg GmbHVerified email at scch.at
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Akihisa YamadaNational Institute of Informatics, JapanVerified email at trs.cm.is.nagoya-u.ac.jp
Cheng ZhangPost-doctoral research fellow, University of WaterlooVerified email at uwaterloo.ca
Rich WashingtonGoogleVerified email at google.com
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Verified email at aist.go.jp
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Doron DrusinskyNaval Postgraduate School, Maya Software, Inc., Aerendir, Inc.Verified email at nps.edu
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no
Roberto Di CosmoProfessor of Computer Science, University Paris DiderotVerified email at dicosmo.org
Stefano ZacchiroliUniversité de Paris and Inria, FranceVerified email at irif.fr

Cyrille Artho

KTH Royal Institute of Technology, Sweden

Verified email at kth.se - Homepage

Software Verification Software Security Software Testing


Title Sort by citations Sort by year Sort by 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	244	2003
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	190	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	141	2011
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	123	2005
Applying static analysis to large-scale, multi-threaded Java programs C Artho, A Biere Proceedings 2001 Australian Software Engineering Conference, 68-75, 2001	118	2001
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	85	2003
Combined static and dynamic analysis C Artho, A Biere Electronic Notes in Theoretical Computer Science 131, 3-14, 2005	60	2005
Finding faults in multi-threaded programs C Artho	57	2001
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	56	2004
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	54	2015
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	54	2004
Iterative delta debugging C Artho International Journal on Software Tools for Technology Transfer 13 (3), 223-246, 2011	52	2011
Accurate centralization for applying model checking on networked applications C Artho, PL Garoche 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006	45	2006
Visualization of concurrent program executions C Artho, K Havelund, S Honiden 31st Annual International Computer Software and Applications Conference …, 2007	38	2007
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	36	2013
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	36	2012
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	35	2015
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	35	2008
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	30	2016
Model-based testing for verification back-ends C Artho, A Biere, M Seidl International Conference on Tests and Proofs, 39-55, 2013	30	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors