Max Barth

According to our database, Max Barth authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

2024

Refining CEGAR-Based Test-Case Generation with Feasibility Annotations.

Max Barth, Marie-Christine Jakobs

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Test-Case Generation with Automata-Based Software Model Checking.

Max Barth, Marie-Christine Jakobs

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

A Bit-vector to Integer Translation with bv2nat and nat2bv.

Max Barth, Matthias Heizmann

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution).

Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).

Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski

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

2022

Ultimate Automizer (SV-COMP 2022 - Modified).

Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski

Dataset, January, 2022

2019

Ultimate Automizer SV-COMP 2020 Competition Contribution.

Matthias Heizmann, Max Barth, Daniel Dietsch, Jill Enke, Leonard Fichtner, Dominik Klumpp, Mehdi Naouar, Lars Nitzke, Alexander Nutz, Andreas Podelski, Elisabeth Schanno, Claus Schätzle

Dataset, November, 2019