January 01, 2022 conference-paper Aachen paper

Configurable Benchmarks for C Model Checkers

Lecture notes in computer science, pp. 338–354

DOI: 10.1007/978-3-031-06773-0_18 OpenAlex

Authors 3

Xaver Fink Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany
Philipp K. Berger corresponding Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany
Joost-Pieter Katoen Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany

Cited by 4 stored of 4

4 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 22

Two approaches to interprocedural data flow analysis
2011 book Computer Science Logic, programming, and type systems

659

citations
CPAchecker: A Tool for Configurable Software Verification
2011 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

579

citations
Software model checking
2009 ACM Computing Surveys article Computer Science Formal Methods in Verification

422

citations
Reliable benchmarking: requirements and solutions
2017 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

222

citations
Automatic code generation from event-B models
2011 Symposium on Information and Communication Technology (SoICT) conference-abstract Computer Science Formal Methods in Verification

101

citations
Ultimate Automizer and the Search for Perfect Interpolants
2018 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

66

citations
Software Verification: 10th Comparative Evaluation (SV-COMP 2021)
2021 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

63

citations
PeSCo: Predicting Sequential Combinations of Verifiers
2019 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

56

citations
Software Verification: Testing vs. Model Checking
2017 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

43

citations
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
2014 Annals of Mathematics and Artificial Intelligence book-chapter Computer Science Formal Methods in Verification

42

citations
Differentially testing soundness and precision of program analyzers
2019 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) conference-paper Computer Science Software Testing and Debugging Techniques Open access

40

citations
Finding and understanding bugs in software model checkers
2019 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) conference-paper Computer Science Software Testing and Debugging Techniques

29

citations
The RERS challenge: towards controllable and scalable benchmark synthesis
2021 International Journal on Software Tools for Technology Transfer article Computer Science Software Testing and Debugging Techniques Open access

17

citations
Evaluation of Program Slicing in Software Verification
2019 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

16

citations
Symbiotic 8: Parallel and Targeted Test Generation
2021 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

15

citations
Benchmarking Software Model Checkers on Automotive Code
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

12

citations
Verifying Auto-generated C Code from Simulink
2018 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

12

citations
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

11

citations
2LS: Heap Analysis and Memory Safety
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

9

citations
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)
2018 ACM SIGSOFT Software Engineering Notes article Computer Science Software Testing and Debugging Techniques Open access

7

citations