Matthias Kettl

According to our database, Matthias Kettl authored at least 12 papers between 2022 and 2024.

Collaborative distances:

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

2024

Decomposing Software Verification using Distributed Summary Synthesis.

Dirk Beyer, Matthias Kettl, Thomas Lemberger

Proc. ACM Softw. Eng., 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).

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

CoRR, 2024

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

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

Fault Localization on Verification Witnesses.

Dirk Beyer, Matthias Kettl, Thomas Lemberger

Proceedings of the Model Checking Software - 30th International Symposium, 2024

P3: A Dataset of Partial Program Patches.

Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo

Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024

Fault Localization on Verification Witnesses (Poster Paper).

Dirk Beyer, Matthias Kettl, Thomas Lemberger

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Reproduction Package for ICSE 2024 Submission 'Fault Localization on Verification Witnesses'.

Dirk Beyer, Matthias Kettl, Thomas Lemberger

Dataset, July, 2023

Reproduction Package for ASE 2023 Submission 'FaultY: A Framework for Managing Fault Candidates'.

Dirk Beyer, Matthias Kettl

Dataset, May, 2023

2022

Reproduction Package for Submission 'FaultY: A Framework for Managing Fault Candidates'.

Dirk Beyer, Matthias Kettl

Dataset, November, 2022

Reproduction Package for SEFM 2022 Submission 'Fault Localization on Verification Witnesses'.

Dirk Beyer, Matthias Kettl, Thomas Lemberger

Dataset, July, 2022

The Static Analyzer Infer in SV-COMP (Competition Contribution).

Matthias Kettl, Thomas Lemberger

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