2 citations · 6 across the 5 of their papers we have counts for
7 papers
Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
Max Barth, Marie-Christine Jakobs
Automatic software verification is a valuable means for software quality assurance. However, automatic verification and in particular software model checking can be time-consuming,…
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
Daniel Baier, Dirk Beyer, Po-Chun Chien +8
This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible and configurable framework for software verification and testing. The framework provides ma…
Parallel Program Analysis on Path Ranges
Jan Haltermanna, Marie-Christine Jakobs, Cedric Richter +1
Symbolic execution is a software verification technique symbolically running programs and thereby checking for bugs. Ranged symbolic execution performs symbolic execution on progra…
Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report)
Marie-Christine Jakobs, Tim Pollandt
Software changes frequently. To efficiently deal with such frequent changes, software verification tools must be incremental. Most of today's approaches for incremental verificatio…
PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)
Marie-Christine Jakobs
Refactorings must not alter the program's functionality. However, not all refactorings fulfill this requirement. Hence, one must explicitly check that a refactoring does not alter…
Predicting Rankings of Software Verification Competitions
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs +1
Software verification competitions, such as the annual SV-COMP, evaluate software verification tools with respect to their effectivity and efficiency. Typically, the outcome of a c…