Automating Regression Verification
Authors: Dennis Felsing, Sarah Grebing, Vladimir Klebanov and Mattias Ulbrich
Paper Information
| Title: | Automating Regression Verification |
| Authors: | Dennis Felsing, Sarah Grebing, Vladimir Klebanov and Mattias Ulbrich |
| Proceedings: | ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings |
| Editor: | Manfred Kerber |
| Keywords: | regression verification, formal verification, program equivalence |
| Abstract: | ABSTRACT. Regression verification is an approach to prevent regressions in software development using formal verification. The goal is to prove that two versions of a program behave equally or differ in a specified way. We worked on an approach for regression verification, extending Strichman and Godlin's work by relational equivalence and two ways of using counterexamples. |
| Pages: | 0 |
| Talk: | Jul 23 12:45 |
| Paper: |  |