Cyrille Artho

According to our database1, Cyrille Artho authored at least 90 papers between 2001 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning.
CoRR, 2021

2020
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.
Softw. Test. Verification Reliab., 2020

The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes, 2020

Multi-objective Search for Model-based Testing.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Toward an Encoding Approach to Interaction-based Test Suite Minimization.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
Method summaries for JPF.
ACM SIGSOFT Softw. Eng. Notes, 2019

Formal Techniques for Safety-Critical Systems (FTSCS 2016).
Sci. Comput. Program., 2019

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.
CoRR, 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR, 2019

Java Pathfinder at SV-COMP 2019 (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Visual Analytics for Concurrent Java Executions.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Visualization and Abstractions for Execution Paths in Model-Based Software Testing.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Model-based Network Fault Injection for IoT Protocols.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018
Specification and verification of synchronization with condition variables.
Sci. Comput. Program., 2018

Formal Techniques for Safety-Critical Systems (FTSCS 2015).
Sci. Comput. Program., 2018

Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.
Proceedings of the Computer Safety, Reliability, and Security, 2018

2017
Formal Techniques for Safety-Critical Systems (FTSCS 2014).
Sci. Comput. Program., 2017

Automated Dataset Construction from Web Resources with Tool Kayur.
Int. J. Netw. Comput., 2017

Model-based Testing of the Java Network API.
Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

Classification Tree Method with Parameter Shielding.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Model-Based API Testing of Apache ZooKeeper.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Java Pathfinder on Android Devices.
ACM SIGSOFT Softw. Eng. Notes, 2016

Classification of Randomly Generated Test Cases.
Proceedings of the First International Workshop on Validating Software Tests, 2016

Precondition Coverage in Software Testing.
Proceedings of the First International Workshop on Validating Software Tests, 2016

Guiding random test generation with program analysis.
Proceedings of the Software Engineering 2016, 2016

Runtime Monitoring for Concurrent Systems.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Greedy combinatorial test case generation using unsatisfiable cores.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Distance-Integrated Combinatorial Testing.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.
Proceedings of the Formal Methods and Software Engineering, 2016

2015
Static analysis meets runtime verification (NII Shonan Meeting 2015-5).
NII Shonan Meet. Rep., 2015

Preface.
Sci. Comput. Program., 2015

Software Model Checking of UDP-based Distributed Applications.
Int. J. Netw. Comput., 2015

Using Checkpointing and Virtualization for Fault Injection.
Int. J. Netw. Comput., 2015

Cardinality of UDP Transmission Outcomes.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Combinatorial Testing for Tree-Structured Test Models with Constraints.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

GRT: An Automated Test Generator Using Orchestrated Program Analysis.
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

GRT: Program-Analysis-Guided Random Testing (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Model-Based Testing of Stateful APIs with Modbat.
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Optimization of Combinatorial Testing by Incremental SAT Solving.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

GRT at the SBST 2015 Tool Competition.
Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Domain-Specific Languages with Scala.
Proceedings of the Formal Methods and Software Engineering, 2015

Priority Integration for Weighted Combinatorial Testing.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Modular Software Model Checking for Distributed Systems.
IEEE Trans. Software Eng., 2014

A Knoppix-based demonstration environment for JPF.
ACM SIGSOFT Softw. Eng. Notes, 2014

Project centralization based on graph coloring.
Proceedings of the Symposium on Applied Computing, 2014

Design of Prioritized N-Wise Testing.
Proceedings of the Testing Software and Systems, 2014

Efficient testing of software product lines via centralization (short paper).
Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013
Implementation of a Memory Disclosure Attack on Memory Deduplication of Virtual Machines.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Model-Based Testing for Verification Back-Ends.
Proceedings of the Tests and Proofs - 7th International Conference, 2013

Software model checking for distributed systems with selector-based, non-blocking communication.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Modbat: A Model-Based API Tester for Event-Driven Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2013

With an Open Mind: How to Write Good Models.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Analyzing Distributed Java Applications by Automatic Centralization.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Why do software packages conflict?
Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

2011
Iterative delta debugging.
Int. J. Softw. Tools Technol. Transf., 2011

Sources of Inter-package Conflicts in Debian
CoRR, 2011

Model checking distributed systems by combining caching and process checkpointing.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Memory deduplication as a threat to the guest OS.
Proceedings of the Fourth European Workshop on System Security, 2011

2010
Moving from Logical Sharing of Guest OS to Physical Sharing of Deduplication on Virtual Machine.
Proceedings of the 5th USENIX Workshop on Hot Topics in Security, 2010

Run-Time Verification of Networked Software.
Proceedings of the Runtime Verification - First International Conference, 2010

Model Checking of Concurrent Algorithms: From Java to C.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009
Introduction of Virtualization Technology to Multi-Process Model Checking.
Proceedings of the First NASA Formal Methods Symposium, 2009

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.
Proceedings of the ASE 2009, 2009

Verifying networked programs using a model checker extension.
Proceedings of the 31st International Conference on Software Engineering, 2009

Separation of Transitions, Actions, and Exceptions in Model-Based Testing.
Proceedings of the Computer Aided Systems Theory, 2009

2008
Efficient Model Checking of Networked Applications.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Tools and Techniques for Model Checking Networked Programs.
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.
Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

2007
Model Checking Networked Programs in the Presence of Transmission Failures.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Efficient Model Checking of Applications with Input/Output.
Proceedings of the Computer Aided Systems Theory, 2007

Visualization of Concurrent Program Executions.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

AOP-based automated unit test classification of large benchmarks.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Accurate Centralization for Applying Model Checking on Networked Applications.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Advanced Unit Testing: How to Scale up a Unit Test Framework.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Exhaustive Testing of Exception Handlers with Enforcer.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Enforcer - Efficient Failure Injection.
Proceedings of the FM 2006: Formal Methods, 2006

2005
Combining static and dynamic analysis to find multi-threading faults beyond data races.
PhD thesis, 2005

Combining test case generation and runtime verification.
Theor. Comput. Sci., 2005

Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis.
Electron. Notes Theor. Comput. Sci., 2005

Combined Static and Dynamic Analysis.
Electron. Notes Theor. Comput. Sci., 2005

2004
Applying Jlint to Space Exploration Software.
Proceedings of the Verification, 2004

JNuke: Efficient Dynamic Analysis for Java.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
High-level data races.
Softw. Test. Verification Reliab., 2003

Formal Methods Group ETH Zürich.
Electron. Notes Theor. Comput. Sci., 2003

Experiments with Test Case Generation and Runtime Analysis.
Proceedings of the Abstract State Machines, 2003

2002
Liveness Checking as Safety Checking.
Electron. Notes Theor. Comput. Sci., 2002

2001
Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs.
Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001


  Loading...