Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Artho, Cyrille
add a person with the name Artho, Cyrille
 

Other publications of authors with the same name

Using Checkpointing and Virtualization for Fault Injection., , , , , , , , and . IJNC, 5 (2): 347-372 (2015)Model checking distributed systems by combining caching and process checkpointing., , , , and . ASE, page 103-112. IEEE Computer Society, (2011)Efficient Model Checking of Networked Applications., , , and . TOOLS (46), volume 11 of Lecture Notes in Business Information Processing, page 22-40. Springer, (2008)Software Model Checking of UDP-based Distributed Applications., , , , , and . CANDAR, page 96-105. IEEE Computer Society, (2014)Automated Dataset Construction from Web Resources with Tool Kayur., , and . CANDAR, page 98-104. IEEE, (2016)Precondition Coverage in Software Testing., , and . VST@SANER, page 21-24. IEEE Computer Society, (2016)Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving., , , , and . SAFECOMP, volume 11093 of Lecture Notes in Computer Science, page 123-138. Springer, (2018)Sources of Inter-package Conflicts in Debian, , , and . CoRR, (2011)Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study., , , , and . QRS, page 61-68. IEEE, (2016)Formal Methods Group ETH Zürich., , , and . Electron. Notes Theor. Comput. Sci., (2003)