Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR | 0 | 0.34 | 2022 |
Difference Verification with Conditions. | 0 | 0.34 | 2020 |
TestCov: robust test-suite execution and coverage measurement | 1 | 0.35 | 2019 |
Combining Verifiers in Conditional Model Checking via Reducers. | 0 | 0.34 | 2019 |
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. | 1 | 0.34 | 2019 |
Reducer-based construction of conditional verifiers. | 4 | 0.37 | 2018 |
CPA-SymExec: efficient symbolic execution in CPAchecker. | 1 | 0.37 | 2018 |
Tests from Witnesses - Execution-Based Validation of Verification Results. | 3 | 0.38 | 2018 |
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. | 1 | 0.34 | 2017 |
Symbolic Execution with CEGAR. | 6 | 0.42 | 2016 |