Matthias Kettl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EASE | Empirical Fault Patterns for Mutation Testing. | Sophia Hans, Matthias Kettl, Stefan Winter |
| 2024 | FM | Software Verification with CPAchecker 3.0: Tutorial and User Guide. | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler |
| 2024 | ICSE | Fault Localization on Verification Witnesses (Poster Paper). | Dirk Beyer, Matthias Kettl, Thomas Lemberger |
| 2024 | MSR | P3: A Dataset of Partial Program Patches. | Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo |
| 2024 | TACAS | CPAchecker 2.3 with Strategy Selection - (Competition Contribution). | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler |
| 2022 | TACAS | The Static Analyzer Infer in SV-COMP (Competition Contribution). | Matthias Kettl, Thomas Lemberger |