Auflistung nach Autor:in "Klebanov, Vladimir"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAutomating regression verification(Software-engineering and management 2015, 2015) Felsing, Dennis; Grebing, Sarah; Klebanov, Vladimir; Rümmer, Philipp; Ulbrich, MattiasRegression verification is an approach complementing regression testing with formal verification. The goal is to formally prove that two versions of a program behave either equally or differently in a precisely specified way. We present a novel automatic approach for regression verification that reduces the equivalence of two related imperative integer programs to Horn constraints over uninterpreted predicates.