Cyrille Artho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
47
Venues
27
Active years
2004–2026
Best venue rank
A*
Where they publish
- CQRS5 papers
- AICST4 papers
- BCOMPSAC4 papers
- A*ICSE3 papers
- AMSR2 papers
- ASANER2 papers
- ATACAS2 papers
- AISSRE2 papers
- BSAFECOMP2 papers
- CICFEM2 papers
- BATVA2 papers
- CSNPD2 papers
- CDSD1 paper
- BSEFM1 paper
- AISSTA1 paper
- AEASE1 paper
- BENASE1 paper
- BIFM1 paper
- BRV1 paper
- NationalSETTA1 paper
- BGPCE1 paper
- MulticonferenceSAC1 paper
- CTAP1 paper
- NationalTASE1 paper
- BFM1 paper
- A*CAV1 paper
- BVMCAI1 paper
Papers
47 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MSR | PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software. | Han Fu, Andreas Ermedahl, Sigrid Eldh, Kristian Wiklund, Philipp Haller, Cyrille Artho |
| 2025 | DSD | Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code. | Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho |
| 2025 | SANER | ContractViz: Extending Eclipse Trace Compass for Smart Contract Transaction Analysis. | Xiaolin Liu, Adel Belkhiri, Mnica Jin, Yi Li, Cyrille Artho |
| 2025 | SANER | Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction. | Ye Liu, Yixuan Liu, Yi Li, Cyrille Artho |
| 2024 | ICST | In Industrial Embedded Software, are Some Compilation Errors Easier to Localize and Fix than Others? | Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho |
| 2024 | TACAS | JPF: From 2003 to 2023. | Cyrille Artho, Pavel Parzek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi |
| 2023 | SEFM | Capturing Smart Contract Design with DCR Graphs. | Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider |
| 2022 | ISSRE | Prevalence of continuous integration failures in industrial systems with hardware-in-the-loop testing. | Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Cyrille Artho |
| 2022 | ISSTA | Finding permission bugs in smart contracts with role mining. | Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho |
| 2021 | EASE | Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning. | Mojtaba Eshghie, Cyrille Artho, Dilian Gurov |
| 2021 | QRS | Test Benchmarks: Which One Now and in Future? | Cyrille Artho, Adam Benali, Rudolf Ramler |
| 2021 | QRS | Security-Aware Multi-User Architecture for IoT. | Marcus Birgersson, Cyrille Artho, Musard Balliu |
| 2020 | ICST | Toward an Encoding Approach to Interaction-based Test Suite Minimization. | Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho |
| 2020 | QRS | Multi-objective Search for Model-based Testing. | Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz |
| 2019 | ENASE | Model-based Network Fault Injection for IoT Protocols. | Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya |
| 2019 | IFM | Visualization and Abstractions for Execution Paths in Model-Based Software Testing. | Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz |
| 2019 | TACAS | Java Pathfinder at SV-COMP 2019 (Competition Contribution). | Cyrille Artho, Willem Visser |
| 2018 | SAFECOMP | Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. | Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini |
| 2017 | ICST | 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 |
| 2017 | SAFECOMP | Classification Tree Method with Parameter Shielding. | Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho |
| 2016 | ICFEM | Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder. | Saurabh Gadia, Cyrille Artho, Gedare Bloom |
| 2016 | ISSRE | Distance-Integrated Combinatorial Testing. | Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada |
| 2016 | QRS | Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study. | Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura |
| 2016 | RV | Runtime Monitoring for Concurrent Systems. | Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2015 | COMPSAC | Priority Integration for Weighted Combinatorial Testing. | Eun-Hye Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa |
| 2015 | ICFEM | Domain-Specific Languages with Scala. | Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata |
| 2015 | ICSE | GRT at the SBST 2015 Tool Competition. | Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2015 | ICST | Optimization of Combinatorial Testing by Incremental SAT Solving. | Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere |
| 2015 | QRS | 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 |
| 2015 | SETTA | Cardinality of UDP Transmission Outcomes. | Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto |
| 2014 | GPCE | Efficient testing of software product lines via centralization (short paper). | Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato |
| 2014 | SAC | Project centralization based on graph coloring. | Lei Ma, Cyrille Artho, Hiroyuki Sato |
| 2013 | ATVA | The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis. | Jakob Mund, Ralf Huuck, Ansgar Fehnker, Cyrille Artho |
| 2013 | COMPSAC | Analyzing Distributed Java Applications by Automatic Centralization. | Lei Ma, Cyrille Artho, Hiroyuki Sato |
| 2013 | TAP | Model-Based Testing for Verification Back-Ends. | Cyrille Artho, Armin Biere, Martina Seidl |
| 2012 | MSR | Why do software packages conflict? | Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli |
| 2009 | ICSE | Verifying networked programs using a model checker extension. | Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2008 | SNPD | Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
| 2008 | SNPD | Tools and Techniques for Model Checking Networked Programs. | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
| 2007 | COMPSAC | AOP-based automated unit test classification of large benchmarks. | Cyrille Artho, Zhongwei Chen, Shinichi Honiden |
| 2007 | COMPSAC | Visualization of Concurrent Program Executions. | Cyrille Artho, Klaus Havelund, Shinichi Honiden |
| 2007 | TASE | Model Checking Networked Programs in the Presence of Transmission Failures. | Cyrille Artho, Christian Sommer, Shinichi Honiden |
| 2006 | FM | Enforcer - Efficient Failure Injection. | Cyrille Artho, Armin Biere, Shinichi Honiden |
| 2006 | ICSE | Advanced Unit Testing: How to Scale up a Unit Test Framework. | Cyrille Artho, Armin Biere |
| 2004 | ATVA | Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. | Cyrille Artho, Klaus Havelund, Armin Biere |
| 2004 | CAV | JNuke: Efficient Dynamic Analysis for Java. | Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimller |
| 2004 | VMCAI | Applying Jlint to Space Exploration Software. | Cyrille Artho, Klaus Havelund |