Cyrille Artho

Cited by

	All	Since 2020
Citations	2962	919
h-index	27	15
i10-index	56	23

240

120

180

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202529 44 84 77 87 91 90 116 103 104 157 150 154 142 194 186 172 160 171 160 170 230 27

Public access

View all

13 articles

1 article

available

not available

Based on funding mandates

Co-authors

Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaVerified email at acm.org
Takashi KitamuraAISTVerified email at aist.go.jp
Kuniyasu SuzakiIISEC: Institute of Information Security, Graduate SchoolVerified email at iisec.ac.jp
Eun-Hye ChoiAISTVerified email at aist.go.jp
Shinichi HonidenNational Institute of Informatics / Waseda UniversityVerified email at nii.ac.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 GmbH (SCCH)Verified email at scch.at
Mojtaba EshghiePhD Student at KTH Royal Institute of TechnologyVerified email at kth.se
Cheng ZhangPost-doctoral research fellow, University of WaterlooVerified email at uwaterloo.ca
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Rich WashingtonGoogleVerified email at google.com
Yoriyuki YamagataAssociate Professor, University of FukuiVerified email at u-fukui.ac.jp
Ye LIUResearch Scientist of Singapore Management University; Nanyang Technological University;Verified email at smu.edu.sg
Yi LiNanyang Technological UniversityVerified email at ntu.edu.sg
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Shang-Wei LINAssociate Professor, Singapore Institute of Technology (SIT)Verified email at singaporetech.edu.sg

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	263	2003
Liveness checking as safety checking A Biere, C Artho, V Schuppan Electronic Notes in Theoretical Computer Science 66 (2), 160-177, 2002	245	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	195	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	141	2005
Applying static analysis to large-scale, multi-threaded Java programs C Artho, A Biere Proceedings 2001 Australian Software Engineering Conference, 68-75, 2001	135	2001
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	99	2015
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	84	2003
Iterative delta debugging C Artho International Journal on Software Tools for Technology Transfer 13, 223-246, 2011	77	2011
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	76	2020
Combined static and dynamic analysis C Artho, A Biere Electronic Notes in Theoretical Computer Science 131, 3-14, 2005	75	2005
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	73	2021
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	68	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	67	2012
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	65	2016
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	62	2004
Finding faults in multi-threaded programs C Artho	61	2001
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	60	2004
Visualization of concurrent program executions C Artho, K Havelund, S Honiden 31st Annual International Computer Software and Applications Conference …, 2007	57	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 Hardware and Software: Verification and Testing: 9th International Haifa …, 2013	55	2013
Accurate centralization for applying model checking on networked applications C Artho, PL Garoche 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006	53	2006

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

Follow

Cited by

Co-authors