Cyrille Artho

Citat de

	Toate	Din 2020
Referințe bibliografice	2955	912
h-index	27	15
i10-index	56	23

240

120

180

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202529 44 84 77 87 91 90 116 103 104 156 151 154 142 194 186 172 160 171 160 170 224 26

Acces public

Afișați-le pe toate

13 articole

1 articol

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Armin BiereProfessor of Computer Science, University of FreiburgAdresă de e-mail confirmată pe informatik.uni-freiburg.de
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryAdresă de e-mail confirmată pe jpl.nasa.gov
Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaAdresă de e-mail confirmată pe acm.org
Takashi KitamuraAISTAdresă de e-mail confirmată pe aist.go.jp
Kuniyasu SuzakiIISEC: Institute of Information Security, Graduate SchoolAdresă de e-mail confirmată pe iisec.ac.jp
Eun-Hye ChoiAISTAdresă de e-mail confirmată pe aist.go.jp
Shinichi HonidenNational Institute of Informatics / Waseda UniversityAdresă de e-mail confirmată pe nii.ac.jp
Willem VisserComputer Science Division, Stellenbosch UniversityAdresă de e-mail confirmată pe cs.sun.ac.za
Corina PasareanuCMU/NASA AmesAdresă de e-mail confirmată pe nasa.gov
Rudolf RamlerSoftware Competence Center Hagenberg GmbH (SCCH)Adresă de e-mail confirmată pe scch.at
Mojtaba EshghiePhD Student at KTH Royal Institute of TechnologyAdresă de e-mail confirmată pe kth.se
Cheng ZhangPost-doctoral research fellow, University of WaterlooAdresă de e-mail confirmată pe uwaterloo.ca
Martina SeidlUniv.-Prof., JKU LinzAdresă de e-mail confirmată pe jku.at
Grigore RosuUniversity of Illinois at Urbana ChampaignAdresă de e-mail confirmată pe illinois.edu
Rich WashingtonGoogleAdresă de e-mail confirmată pe google.com
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Adresă de e-mail confirmată pe aist.go.jp
Ye LIUResearch Scientist of Singapore Management University; Nanyang Technological University;Adresă de e-mail confirmată pe smu.edu.sg
Yi LiNanyang Technological UniversityAdresă de e-mail confirmată pe ntu.edu.sg
Koushik SenProfessor of Computer Science, University of California, BerkeleyAdresă de e-mail confirmată pe cs.berkeley.edu
Shang-Wei LINAssociate Professor, Singapore Institute of Technology (SIT)Adresă de e-mail confirmată pe singaporetech.edu.sg

Urmăriți

Cyrille Artho

KTH Royal Institute of Technology, Sweden

Adresă de e-mail confirmată pe kth.se - Pagina de pornire

Software Verification Software Security Software Testing


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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
Combined static and dynamic analysis C Artho, A Biere Electronic Notes in Theoretical Computer Science 131, 3-14, 2005	75	2005
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	74	2020
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	72	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	67	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	64	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

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori