Cyrille Artho

137 papers A* 12A 11B 14C 13Misc 3Journal 40Unranked 34
YearRankTypeTitle / Venue / Authors
2026 J jnl
PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software.
CoRR
Han Fu, Andreas Ermedahl, Sigrid Eldh, Kristian Wiklund, Philipp Haller, Cyrille Artho
2025 C conf
Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code.
DSD
Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
2025 J jnl
Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code.
CoRR
Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
2025 A conf
ContractViz: Extending Eclipse Trace Compass for Smart Contract Transaction Analysis.
SANER
Xiaolin Liu, Adel Belkhiri, Mónica Jin, Yi Li, Cyrille Artho
2025 B conf
Leveraging Petri Nets for Workflow Anomaly Detection in Microservice Architectures.
Petri Nets
Priyanka Kamboj, Cyrille Artho, Roberto Guanciale, Reyhaneh Jabbarvand, Brighten Godfrey
2025 A conf
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.
SANER
Ye Liu, Yixuan Liu, Yi Li, Cyrille Artho
2025 A conf
Trust and Verify: Formally Verified and Upgradable Trusted Functions.
ICSME
Marcus Birgersson, Cyrille Artho, Musard Balliu
2024 A conf
Activity Recognition Protection for IoT Trigger-Action Platforms.
EuroS&P
Mahmoud Aghvamipanah, Morteza Amini, Cyrille Artho, Musard Balliu
2024 — conf
From Creation to Exploitation: The Oracle Lifecycle.
SANER (Companion)
Mojtaba Eshghie, Mikael Jafari, Cyrille Artho
2024 A* conf
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts.
ASE
Mojtaba Eshghie, Cyrille Artho, Hans Stammler, Wolfgang Ahrendt, Thomas T. Hildebrandt, Gerardo Schneider
2024 A conf
In Industrial Embedded Software, are Some Compilation Errors Easier to Localize and Fix than Others?
ICST
Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
2024 J jnl
In industrial embedded software, are some compilation errors easier to localize and fix than others?
CoRR
Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
2024 — conf
JPF: From 2003 to 2023.
TACAS (2)
Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi
2024 A* conf
Oracle-Guided Vulnerability Diversity and Exploit Synthesis of Smart Contracts Using LLMs.
ASE
Mojtaba Eshghie, Cyrille Artho
2024 J jnl
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022).
Sci. Comput. Program.
Cyrille Artho, Peter Csaba Ölveczky
2024 — conf
Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments.
SecDev
Marcus Birgersson, Cyrille Artho, Musard Balliu
2024 J jnl
Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments.
CoRR
Marcus Birgersson, Cyrille Artho, Musard Balliu
2024 J jnl
SoliDiffy: AST Differencing for Solidity Smart Contracts.
CoRR
Mojtaba Eshghie, Viktor Åryd, Cyrille Artho, Martin Monperrus
2024 J jnl
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.
CoRR
Ye Liu, Yi Li, Cyrille Artho, Yixuan Liu
2023 J jnl
CLawK: Monitoring Business Processes in Smart Contracts.
CoRR
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
2023 B conf
Capturing Smart Contract Design with DCR Graphs.
SEFM
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
2023 J jnl
Capturing Smart Contract Design with DCR Graphs.
CoRR
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
2023 — conf
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library.
FTSCS
Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy
2023 — ed.
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023
FTSCS
Cyrille Artho, Peter Csaba Ölveczky
2023 J jnl
The Java Pathfinder Workshop 2022.
ACM SIGSOFT Softw. Eng. Notes
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
2023 J jnl
Towards Wider Support for Java String Functions.
ACM SIGSOFT Softw. Eng. Notes
Qiuchen Yan, Cyrille Artho, Pavel Parízek
2023 J jnl
Using Theia Trace Viewer to Visualize JPF Traces.
ACM SIGSOFT Softw. Eng. Notes
Johan Besseling, Cyrille Artho
2022 J jnl
CircleChain: Tokenizing Products with a Role-based Scheme for a Circular Economy.
CoRR
Mojtaba Eshghie, Li Quan, Gustav Andersson Kasche, Filip Jacobson, Cosimo Bassi, Cyrille Artho
2022 A conf
Finding permission bugs in smart contracts with role mining.
ISSTA
Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho
2022 J jnl
Oracle-Supported Dynamic Exploit Generation for Smart Contracts.
IEEE Trans. Dependable Secur. Comput.
Haijun Wang, Ye Liu, Yi Li, Shangwei Lin, Cyrille Artho, Lei Ma, Yang Liu
2022 — conf
Prevalence of continuous integration failures in industrial systems with hardware-in-the-loop testing.
ISSRE Workshops
Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Cyrille Artho
2022 — ed.
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022
FTSCS
Cyrille Artho, Peter Csaba Ölveczky
2021 A conf
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning.
EASE
Mojtaba Eshghie, Cyrille Artho, Dilian Gurov
2021 J jnl
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning.
CoRR
Mojtaba Eshghie, Cyrille Artho, Dilian Gurov
2021 J jnl
Formal Techniques for Safety-Critical Systems (FTSCS 2018).
Sci. Comput. Program.
Cyrille Artho, Peter Csaba Ölveczky
2021 C conf
Security-Aware Multi-User Architecture for IoT.
QRS
Marcus Birgersson, Cyrille Artho, Musard Balliu
2021 J jnl
TC4JPF: Using Trace Compass to Visualize JPF Traces.
ACM SIGSOFT Softw. Eng. Notes
Yang Zhou, Cyrille Artho
2021 C conf
Test Benchmarks: Which One Now and in Future?
QRS
Cyrille Artho, Adam Benali, Rudolf Ramler
2020 J jnl
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.
Softw. Test. Verification Reliab.
Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2020 C conf
Multi-objective Search for Model-based Testing.
QRS
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
2020 J jnl
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes
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
2020 — conf
Toward an Encoding Approach to Interaction-based Test Suite Minimization.
ICST Workshops
Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho
2019 J jnl
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR
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
2019 J jnl
Formal Techniques for Safety-Critical Systems (FTSCS 2016).
Sci. Comput. Program.
Cyrille Artho, Peter Csaba Ölveczky
2019 — ed.
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
FTSCS
Cyrille Artho, Peter Csaba Ölveczky
2019 — conf
Java Pathfinder at SV-COMP 2019 (Competition Contribution).
TACAS (3)
Cyrille Artho, Willem Visser
2019 J jnl
Method summaries for JPF.
ACM SIGSOFT Softw. Eng. Notes
Lasse Berglund, Cyrille Artho
2019 B conf
Model-based Network Fault Injection for IoT Protocols.
ENASE
Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya
2019 J jnl
Oracle-Supported Dynamic Exploit Generation for Smart Contracts.
CoRR
Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu
2019 A* conf
Visual Analytics for Concurrent Java Executions.
ASE
Cyrille Artho, Monali Pande, Qiyi Tang
2019 B conf
Visualization and Abstractions for Execution Paths in Model-Based Software Testing.
IFM
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
2018 — ed.
2018 IEEE Workshop on Validation, Analysis and Evolution of Software Tests, VST@SANER 2018, Campobasso, Italy, March 20, 2018
VST@SANER
Cyrille Artho, Rudolf Ramler
2018 J jnl
Formal Techniques for Safety-Critical Systems (FTSCS 2015).
Sci. Comput. Program.
Cyrille Artho, Peter Csaba Ölveczky
2018 B conf
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.
SAFECOMP
Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini
2018 J jnl
Specification and verification of synchronization with condition variables.
Sci. Comput. Program.
Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman, Cyrille Artho
2017 B conf
Classification Tree Method with Parameter Shielding.
SAFECOMP
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho
2017 J jnl
Formal Techniques for Safety-Critical Systems (FTSCS 2014).
Sci. Comput. Program.
Cyrille Artho, Peter Csaba Ölveczky
2017 — ed.
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
FTSCS
Cyrille Artho, Peter Csaba Ölveczky
2017 A conf
Model-Based API Testing of Apache ZooKeeper.
ICST
Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2017 — conf
Model-based Testing of the Java Network API.
FESCA@ETAPS
Cyrille Artho, Guillaume Rousset
2016 — conf
Automated Dataset Construction from Web Resources with Tool Kayur.
CANDAR
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho
2016 B ed.
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
ATVA
Cyrille Artho, Axel Legay, Doron Peled
2016 — conf
Classification of Randomly Generated Test Cases.
VST@SANER
Cyrille Artho, Lei Ma
2016 A conf
Distance-Integrated Combinatorial Testing.
ISSRE
Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada
2016 — ed.
Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
FTSCS
Cyrille Artho, Peter Csaba Ölveczky
2016 A* conf
Greedy combinatorial test case generation using unsatisfiable cores.
ASE
Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi
2016 J jnl
Java Pathfinder on Android Devices.
ACM SIGSOFT Softw. Eng. Notes
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe
2016 — conf
Precondition Coverage in Software Testing.
VST@SANER
Cyrille Artho, Quentin Gros, Guillaume Rousset
2016 B conf
Runtime Monitoring for Concurrent Systems.
RV
Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
2016 C conf
Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study.
QRS
Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura
2016 C conf
Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.
ICFEM
Saurabh Gadia, Cyrille Artho, Gedare Bloom
2015 Misc conf
Cardinality of UDP Transmission Outcomes.
SETTA
Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
2015 C conf
Combinatorial Testing for Tree-Structured Test Models with Constraints.
QRS
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi
2015 C conf
Domain-Specific Languages with Scala.
ICFEM
Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
2015 — ed.
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
FTSCS
Cyrille Artho, Peter Csaba Ölveczky
2015 — conf
GRT at the SBST 2015 Tool Competition.
SBST@ICSE
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2015 A* conf
GRT: An Automated Test Generator Using Orchestrated Program Analysis.
ASE
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
2015 A* conf
GRT: Program-Analysis-Guided Random Testing (T).
ASE
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, Rudolf Ramler
2015 A* conf
Model-Based Testing of Stateful APIs with Modbat.
ASE
Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
2015 A conf
Optimization of Combinatorial Testing by Incremental SAT Solving.
ICST
Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere
2015 J jnl
Preface.
Sci. Comput. Program.
Cyrille Artho, Peter Csaba Ölveczky
2015 J jnl
Preface.
Sci. Comput. Program.
Cyrille Artho, Peter Csaba Ölveczky
2015 B conf
Priority Integration for Weighted Combinatorial Testing.
COMPSAC
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa
2015 J jnl
Software Model Checking of UDP-based Distributed Applications.
Int. J. Netw. Comput.
Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
2015 J jnl
Static analysis meets runtime verification (NII Shonan Meeting 2015-5).
NII Shonan Meet. Rep.
Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata
2015 J jnl
Using Checkpointing and Virtualization for Fault Injection.
Int. J. Netw. Comput.
Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
2014 J jnl
A Knoppix-based demonstration environment for JPF.
ACM SIGSOFT Softw. Eng. Notes
Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya
2014 C conf
Design of Prioritized N-Wise Testing.
ICTSS
Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Yutaka Oiwa
2014 B conf
Efficient testing of software product lines via centralization (short paper).
GPCE
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato
2014 — ed.
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers
FTSCS
Cyrille Artho, Peter Csaba Ölveczky
2014 J jnl
Improving Automatic Centralization by Version Separation.
Inf. Media Technol.
Lei Ma, Cyrille Artho, Hiroyuki Sato
2014 J jnl
Modular Software Model Checking for Distributed Systems.
IEEE Trans. Software Eng.
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi
2014 Misc conf
Project centralization based on graph coloring.
SAC
Lei Ma, Cyrille Artho, Hiroyuki Sato
2014 — conf
Software Model Checking of UDP-based Distributed Applications.
CANDAR
Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2014 — conf
Using Checkpointing and Virtualization for Fault Injection.
CANDAR
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
2013 — conf
Analyzing Distributed Java Applications by Automatic Centralization.
COMPSAC Workshops
Lei Ma, Cyrille Artho, Hiroyuki Sato
2013 J jnl
Implementation of a Memory Disclosure Attack on Memory Deduplication of Virtual Machines.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kuniyasu Suzaki, Kengo Iijima, Toshiki Yagi, Cyrille Artho
2013 — conf
Model-Based Testing for Verification Back-Ends.
TAP@STAF
Cyrille Artho, Armin Biere, Martina Seidl
2013 A* conf
Software model checking for distributed systems with selector-based, non-blocking communication.
ASE
Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
2013 B conf
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis.
ATVA
Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho
2013 — conf
With an Open Mind: How to Write Good Models.
FTSCS
Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata
2012 — ed.
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012.
FTSCS
Peter Csaba Ölveczky, Cyrille Artho
2012 A conf
Why do software packages conflict?
MSR
Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2011 J jnl
Iterative delta debugging.
Int. J. Softw. Tools Technol. Transf.
Cyrille Artho
2011 — conf
Memory deduplication as a threat to the guest OS.
EUROSEC
Kuniyasu Suzaki, Kengo Iijima, Toshiki Yagi, Cyrille Artho
2011 A* conf
Model checking distributed systems by combining caching and process checkpointing.
ASE
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2011 J jnl
Sources of Inter-package Conflicts in Debian
CoRR
Cyrille Artho, Roberto Di Cosmo, Kuniyasu Suzaki, Stefano Zacchiroli
2010 — conf
Model Checking of Concurrent Algorithms: From Java to C.
DIPES/BICC
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
2010 — conf
Moving from Logical Sharing of Guest OS to Physical Sharing of Deduplication on Virtual Machine.
HotSec
Kuniyasu Suzaki, Toshiki Yagi, Kengo Iijima, Anh-Quynh Nguyen, Cyrille Artho, Yoshihito Watanebe
2009 A* conf
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.
ASE
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2009 — conf
Separation of Transitions, Actions, and Exceptions in Model-Based Testing.
EUROCAST
Cyrille Artho
2009 — conf
Verifying networked programs using a model checker extension.
ICSE Companion
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
2008 C conf
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.
SNPD
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008 — conf
Efficient Model Checking of Networked Applications.
TOOLS (46)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008 — conf
Iterative Delta Debugging.
Haifa Verification Conference
Cyrille Artho
2008 C conf
Tools and Techniques for Model Checking Networked Programs.
SNPD
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2007 — conf
AOP-based automated unit test classification of large benchmarks.
COMPSAC (2)
Cyrille Artho, Zhongwei Chen, Shinichi Honiden
2007 — conf
Efficient Model Checking of Applications with Input/Output.
EUROCAST
Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden
2007 Misc conf
Model Checking Networked Programs in the Presence of Transmission Failures.
TASE
Cyrille Artho, Christian Sommer, Shinichi Honiden
2007 — conf
Visualization of Concurrent Program Executions.
COMPSAC (2)
Cyrille Artho, Klaus Havelund, Shinichi Honiden
2006 A* conf
Accurate Centralization for Applying Model Checking on Networked Applications.
ASE
Cyrille Artho, Pierre-Loïc Garoche
2006 — conf
Advanced Unit Testing: How to Scale up a Unit Test Framework.
AST@ICSE
Cyrille Artho, Armin Biere
2006 B conf
Enforcer - Efficient Failure Injection.
FM
Cyrille Artho, Armin Biere, Shinichi Honiden
2006 — conf
Exhaustive Testing of Exception Handlers with Enforcer.
FMCO
Cyrille Artho, Armin Biere, Shinichi Honiden
2005 — conf
Combined Static and Dynamic Analysis.
AIOOL@VMCAI
Cyrille Artho, Armin Biere
2005 — —
Combining static and dynamic analysis to find multi-threading faults beyond data races.
Cyrille Artho
2005 J jnl
Combining test case generation and runtime verification.
Theor. Comput. Sci.
Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
2005 — conf
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis.
Bytecode@ETAPS
Cyrille Artho, Armin Biere
2004 B conf
Applying Jlint to Space Exploration Software.
VMCAI
Cyrille Artho, Klaus Havelund
2004 A* conf
JNuke: Efficient Dynamic Analysis for Java.
CAV
Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller
2004 B conf
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.
ATVA
Cyrille Artho, Klaus Havelund, Armin Biere
2003 — conf
Experiments with Test Case Generation and Runtime Analysis.
Abstract State Machines
Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser
2003 C conf
Formal Methods Group ETH Zürich.
FMICS
Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan
2003 — conf
High-Level Data Races.
NDDL/VVEIS
Cyrille Artho, Klaus Havelund, Armin Biere
2003 J jnl
High-level data races.
Softw. Test. Verification Reliab.
Cyrille Artho, Klaus Havelund, Armin Biere
2002 C conf
Liveness Checking as Safety Checking.
FMICS
Armin Biere, Cyrille Artho, Viktor Schuppan
2001 — conf
Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs.
Australian Software Engineering Conference
Cyrille Artho, Armin Biere