Automating regression verification

Zusammenfassung
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.
  • Vollständige Referenz
  • 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}
}
DateienGroesseFormatAnzeige
75.pdf39.53Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-633-6
ISSN: 1617-5468
Datum: 2015
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige