Automating regression verification
Abstract
Regression 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.
- Citation
- BibTeX
Felsing, D., Grebing, S., Klebanov, V., Rümmer, P. & Ulbrich, M.,
(2015).
Automating regression verification.
In:
Aßmann, U., Demuth, B., Spitta, T., Püschel, G. & Kaiser, R.
(Hrsg.),
Software-engineering and management 2015.
Bonn:
Gesellschaft für Informatik e.V..
(S. 75-76).
@inproceedings{mci/Felsing2015,
author = {Felsing, Dennis AND Grebing, Sarah AND Klebanov, Vladimir AND Rümmer, Philipp AND Ulbrich, Mattias},
title = {Automating regression verification},
booktitle = {Software-engineering and management 2015},
year = {2015},
editor = {Aßmann, Uwe AND Demuth, Birgit AND Spitta, Thorsten AND Püschel, Georg AND Kaiser, Ronny} ,
pages = { 75-76 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Felsing, Dennis AND Grebing, Sarah AND Klebanov, Vladimir AND Rümmer, Philipp AND Ulbrich, Mattias},
title = {Automating regression verification},
booktitle = {Software-engineering and management 2015},
year = {2015},
editor = {Aßmann, Uwe AND Demuth, Birgit AND Spitta, Thorsten AND Püschel, Georg AND Kaiser, Ronny} ,
pages = { 75-76 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-633-6
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2015
Language:
(en)

Content Type: Text/Conference Paper