Cyrille Artho

According to our database, Cyrille Artho authored at least 106 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.

Ye Liu, Yi Li, Cyrille Artho, Yixuan Liu

CoRR, 2024

JPF: From 2003 to 2023.

Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Towards Wider Support for Java String Functions.

Qiuchen Yan, Cyrille Artho, Pavel Parízek

ACM SIGSOFT Softw. Eng. Notes, January, 2023

The Java Pathfinder Workshop 2022.

Elena Sherman, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra, Filip Kliber, Gaurang Kudale, Pavel Parízek, Corina S. Pasareanu, Ron Pressler, Matt Walker, Hongru Wang, Qiuchen Yan

ACM SIGSOFT Softw. Eng. Notes, January, 2023

Using Theia Trace Viewer to Visualize JPF Traces.

Johan Besseling, Cyrille Artho

ACM SIGSOFT Softw. Eng. Notes, January, 2023

CLawK: Monitoring Business Processes in Smart Contracts.

Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider

CoRR, 2023

Capturing Smart Contract Design with DCR Graphs.

Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library.

Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

2022

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

Haijun Wang, Ye Liu, Yi Li, Shangwei Lin, Cyrille Artho, Lei Ma, Yang Liu

IEEE Trans. Dependable Secur. Comput., 2022

CircleChain: Tokenizing Products with a Role-based Scheme for a Circular Economy.

Mojtaba Eshghie, Li Quan, Gustav Andersson Kasche, Filip Jacobson, Cosimo Bassi, Cyrille Artho

CoRR, 2022

Finding permission bugs in smart contracts with role mining.

Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Prevalence of continuous integration failures in industrial systems with hardware-in-the-loop testing.

Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Cyrille Artho

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2021

TC4JPF: Using Trace Compass to Visualize JPF Traces.

Yang Zhou, Cyrille Artho

ACM SIGSOFT Softw. Eng. Notes, 2021

Formal Techniques for Safety-Critical Systems (FTSCS 2018).

Cyrille Artho, Peter Csaba Ölveczky

Sci. Comput. Program., 2021

Security-Aware Multi-User Architecture for IoT.

Marcus Birgersson, Cyrille Artho, Musard Balliu

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Test Benchmarks: Which One Now and in Future?

Cyrille Artho, Adam Benali, Rudolf Ramler

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning.

Mojtaba Eshghie, Cyrille Artho, Dilian Gurov

Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

2020

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.

Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Softw. Test. Verification Reliab., 2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Multi-objective Search for Model-based Testing.

Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Toward an Encoding Approach to Interaction-based Test Suite Minimization.

Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Method summaries for JPF.

Lasse Berglund, Cyrille Artho

ACM SIGSOFT Softw. Eng. Notes, 2019

Formal Techniques for Safety-Critical Systems (FTSCS 2016).

Cyrille Artho, Peter Csaba Ölveczky

Sci. Comput. Program., 2019

Oracle-Supported Dynamic Exploit Generation for Smart Contracts.

Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu

CoRR, 2019

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

Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz

CoRR, 2019

Java Pathfinder at SV-COMP 2019 (Competition Contribution).

Cyrille Artho, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Visual Analytics for Concurrent Java Executions.

Cyrille Artho, Monali Pande, Qiyi Tang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Visualization and Abstractions for Execution Paths in Model-Based Software Testing.

Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Model-based Network Fault Injection for IoT Protocols.

Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

Specification and verification of synchronization with condition variables.

Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman, Cyrille Artho

Sci. Comput. Program., 2018

Formal Techniques for Safety-Critical Systems (FTSCS 2015).

Cyrille Artho, Peter Csaba Ölveczky

Sci. Comput. Program., 2018

Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.

Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini

Proceedings of the Computer Safety, Reliability, and Security, 2018

2017

Formal Techniques for Safety-Critical Systems (FTSCS 2014).

Cyrille Artho, Peter Csaba Ölveczky

Sci. Comput. Program., 2017

Automated Dataset Construction from Web Resources with Tool Kayur.

Alexander Kohan, Mitsuharu Yamamoto, Cyrille Valentin Artho

Int. J. Netw. Comput., 2017

Model-based Testing of the Java Network API.

Cyrille Artho, Guillaume Rousset

Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

Classification Tree Method with Parameter Shielding.

Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho

Proceedings of the Computer Safety, Reliability, and Security, 2017

Model-Based API Testing of Apache ZooKeeper.

Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Java Pathfinder on Android Devices.

Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe

ACM SIGSOFT Softw. Eng. Notes, 2016

Classification of Randomly Generated Test Cases.

Cyrille Artho, Lei Ma

Proceedings of the First International Workshop on Validating Software Tests, 2016

Precondition Coverage in Software Testing.

Cyrille Artho, Quentin Gros, Guillaume Rousset

Proceedings of the First International Workshop on Validating Software Tests, 2016

Guiding random test generation with program analysis.

Lei Ma, Cyrille Valentin Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler

Proceedings of the Software Engineering 2016, 2016

Runtime Monitoring for Concurrent Systems.

Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Runtime Verification - 16th International Conference, 2016

Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study.

Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Greedy combinatorial test case generation using unsatisfiable cores.

Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Distance-Integrated Combinatorial Testing.

Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.

Saurabh Gadia, Cyrille Artho, Gedare Bloom

Proceedings of the Formal Methods and Software Engineering, 2016

2015

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

Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata

NII Shonan Meet. Rep., 2015

Preface.

Cyrille Artho, Peter Csaba Ölveczky

Sci. Comput. Program., 2015

Software Model Checking of UDP-based Distributed Applications.

Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe

Int. J. Netw. Comput., 2015

Using Checkpointing and Virtualization for Fault Injection.

Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto

Int. J. Netw. Comput., 2015

Cardinality of UDP Transmission Outcomes.

Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Combinatorial Testing for Tree-Structured Test Models with Constraints.

Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

GRT: An Automated Test Generator Using Orchestrated Program Analysis.

Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

GRT: Program-Analysis-Guided Random Testing (T).

Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Model-Based Testing of Stateful APIs with Modbat.

Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Optimization of Combinatorial Testing by Incremental SAT Solving.

Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

GRT at the SBST 2015 Tool Competition.

Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

Domain-Specific Languages with Scala.

Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata

Proceedings of the Formal Methods and Software Engineering, 2015

Priority Integration for Weighted Combinatorial Testing.

Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Modular Software Model Checking for Distributed Systems.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi

IEEE Trans. Software Eng., 2014

A Knoppix-based demonstration environment for JPF.

Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya

ACM SIGSOFT Softw. Eng. Notes, 2014

Project centralization based on graph coloring.

Lei Ma, Cyrille Artho, Hiroyuki Sato

Proceedings of the Symposium on Applied Computing, 2014

Design of Prioritized N-Wise Testing.

Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa

Proceedings of the Testing Software and Systems, 2014

Efficient testing of software product lines via centralization (short paper).

Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Implementation of a Memory Disclosure Attack on Memory Deduplication of Virtual Machines.

Kuniyasu Suzaki, Kengo Iijima, Toshiki Yagi, Cyrille Artho

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Model-Based Testing for Verification Back-Ends.

Cyrille Artho, Armin Biere, Martina Seidl

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Software model checking for distributed systems with selector-based, non-blocking communication.

Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Modbat: A Model-Based API Tester for Event-Driven Systems.

Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Hardware and Software: Verification and Testing, 2013

With an Open Mind: How to Write Good Models.

Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Analyzing Distributed Java Applications by Automatic Centralization.

Lei Ma, Cyrille Artho, Hiroyuki Sato

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.

Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Why do software packages conflict?

Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

2011

Iterative delta debugging.

Cyrille Artho

Int. J. Softw. Tools Technol. Transf., 2011

Sources of Inter-package Conflicts in Debian

Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli

CoRR, 2011

Model checking distributed systems by combining caching and process checkpointing.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Memory deduplication as a threat to the guest OS.

Kuniyasu Suzaki, Kengo Iijima, Toshiki Yagi, Cyrille Artho

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.

Kuniyasu Suzaki, Toshiki Yagi, Kengo Iijima, Anh-Quynh Nguyen, Cyrille Artho, Yoshihito Watanebe

Proceedings of the 5th USENIX Workshop on Hot Topics in Security, 2010

Run-Time Verification of Networked Software.

Cyrille Valentin Artho

Proceedings of the Runtime Verification - First International Conference, 2010

Model Checking of Concurrent Algorithms: From Java to C.

Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009

Introduction of Virtualization Technology to Multi-Process Model Checking.

Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the First NASA Formal Methods Symposium, 2009

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the ASE 2009, 2009

Verifying networked programs using a model checker extension.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 31st International Conference on Software Engineering, 2009

Separation of Transitions, Actions, and Exceptions in Model-Based Testing.

Cyrille Artho

Proceedings of the Computer Aided Systems Theory, 2009

2008

Efficient Model Checking of Networked Applications.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Tools and Techniques for Model Checking Networked Programs.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

2007

Model Checking Networked Programs in the Presence of Transmission Failures.

Cyrille Artho, Christian Sommer, Shinichi Honiden

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Efficient Model Checking of Applications with Input/Output.

Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden

Proceedings of the Computer Aided Systems Theory, 2007

Visualization of Concurrent Program Executions.

Cyrille Artho, Klaus Havelund, Shinichi Honiden

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

AOP-based automated unit test classification of large benchmarks.

Cyrille Artho, Zhongwei Chen, Shinichi Honiden

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Accurate Centralization for Applying Model Checking on Networked Applications.

Cyrille Artho, Pierre-Loïc Garoche

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.

Cyrille Artho, Armin Biere

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Exhaustive Testing of Exception Handlers with Enforcer.

Cyrille Artho, Armin Biere, Shinichi Honiden

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Enforcer - Efficient Failure Injection.

Cyrille Artho, Armin Biere, Shinichi Honiden

Proceedings of the FM 2006: Formal Methods, 2006

2005

Combining static and dynamic analysis to find multi-threading faults beyond data races.

Cyrille Artho

PhD thesis, 2005

Combining test case generation and runtime verification.

Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington

Theor. Comput. Sci., 2005

Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis.

Cyrille Artho, Armin Biere

Proceedings of the First Workshop on Bytecode Semantics, 2005

Combined Static and Dynamic Analysis.

Cyrille Artho, Armin Biere

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

2004

Applying Jlint to Space Exploration Software.

Cyrille Artho, Klaus Havelund

Proceedings of the Verification, 2004

JNuke: Efficient Dynamic Analysis for Java.

Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.

Cyrille Artho, Klaus Havelund, Armin Biere

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

High-level data races.

Cyrille Artho, Klaus Havelund, Armin Biere

Softw. Test. Verification Reliab., 2003

Formal Methods Group ETH Zürich.

Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Experiments with Test Case Generation and Runtime Analysis.

Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser

Proceedings of the Abstract State Machines, 2003

2002

Liveness Checking as Safety Checking.

Armin Biere, Cyrille Artho, Viktor Schuppan

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2001

Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs.

Cyrille Artho, Armin Biere

Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001