3 citations · 5 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2015★ 2 cited
Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes
Dirk Beyer, Stefan Löwe, Philipp Wendler
Abstraction is a successful technique in software verification, and interpolation on infeasible error paths is a successful approach to automatically detect the right level of abst…
cs.SE2013★ 3 cited
Reusing Precisions for Efficient Regression Verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov +2
Continuous testing during development is a well-established technique for software-quality assurance. Continuous model checking from revision to revision is not yet established as…