Search results for "Cyrille Artho"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli	Sources of Inter-package Conflicts in Debian	CoRR	2011	DBLP BibTeX RDF
1	Cyrille Artho	Iterative delta debugging.	STTT	2011	DBLP DOI BibTeX RDF
1	Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto	Model checking distributed systems by combining caching and process checkpointing.	ASE	2011	DBLP DOI BibTeX RDF
1	Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto	Model Checking of Concurrent Algorithms: From Java to C.	DIPES/BICC	2010	DBLP DOI BibTeX RDF
1	Cyrille Valentin Artho	Run-Time Verification of Networked Software.	RV	2010	DBLP DOI BibTeX RDF
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto	Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.	ASE	2009	DBLP DOI BibTeX RDF	networking, caching, software verification, Software model checking, input/output
1	Cyrille Artho	Separation of Transitions, Actions, and Exceptions in Model-Based Testing.	EUROCAST	2009	DBLP DOI BibTeX RDF
1	Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto	Verifying networked programs using a model checker extension.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Efficient Model Checking of Networked Applications.	TOOLS	2008	DBLP DOI BibTeX RDF	caching, software testing, Software model checking, network communication
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	optimization, model checking, centralization, Software model checking, partial-order reduction
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Tools and Techniques for Model Checking Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	networking, software verification, Software model checking, inter-process communication
1	Cyrille Artho	Iterative Delta Debugging.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Cyrille Artho, Zhongwei Chen, Shinichi Honiden	AOP-based automated unit test classification of large benchmarks.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Cyrille Artho, Klaus Havelund, Shinichi Honiden	Visualization of Concurrent Program Executions.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden	Efficient Model Checking of Applications with Input/Output.	EUROCAST	2007	DBLP DOI BibTeX RDF	software testing, Software model checking, network communication
1	Cyrille Artho, Christian Sommer, Shinichi Honiden	Model Checking Networked Programs in the Presence of Transmission Failures.	TASE	2007	DBLP DOI BibTeX RDF
1	Cyrille Artho, Pierre-Loïc Garoche	Accurate Centralization for Applying Model Checking on Networked Applications.	ASE	2006	DBLP DOI BibTeX RDF
1	Cyrille Artho, Armin Biere, Shinichi Honiden	Exhaustive Testing of Exception Handlers with Enforcer.	FMCO	2006	DBLP DOI BibTeX RDF
1	Cyrille Artho, Armin Biere, Shinichi Honiden	Enforcer - Efficient Failure Injection.	FM	2006	DBLP DOI BibTeX RDF
1	Cyrille Artho, Armin Biere	Advanced Unit Testing: How to Scale up a Unit Test Framework.	AST	2006	DBLP DOI BibTeX RDF
1	Cyrille Artho	Combining static and dynamic analysis to find multi-threading faults beyond data races.		2005	RDF
1	Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington	Combining test case generation and runtime verification.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Cyrille Artho, Armin Biere	Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Cyrille Artho, Armin Biere	Combined Static and Dynamic Analysis.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Cyrille Artho, Klaus Havelund, Armin Biere	Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.	ATVA	2004	DBLP DOI BibTeX RDF
1	Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller	JNuke: Efficient Dynamic Analysis for Java.	CAV	2004	DBLP DOI BibTeX RDF
1	Cyrille Artho, Klaus Havelund	Applying Jlint to Space Exploration Software.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan	Formal Methods Group ETH Zürich.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Cyrille Artho, Klaus Havelund, Armin Biere	High-level data races.	Softw. Test., Verif. Reliab.	2003	DBLP DOI BibTeX RDF
1	Cyrille Artho, Klaus Havelund, Armin Biere	High-Level Data Races.	NDDL/VVEIS	2003	DBLP BibTeX RDF
1	Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser	Experiments with Test Case Generation and Runtime Analysis.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
1	Armin Biere, Cyrille Artho, Viktor Schuppan	Liveness Checking as Safety Checking.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Cyrille Artho, Armin Biere	Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF

Publications of Cyrille Artho Cyrille Valentin Artho ( http://dblp.L3S.de/Authors/Cyrille_Artho )