Show simple item record

dc.contributor.authorFelsing, Dennis
dc.contributor.authorGrebing, Sarah
dc.contributor.authorKlebanov, Vladimir
dc.contributor.authorRümmer, Philipp
dc.contributor.authorUlbrich, Mattias
dc.contributor.editorAßmann, Uwe
dc.contributor.editorDemuth, Birgit
dc.contributor.editorSpitta, Thorsten
dc.contributor.editorPüschel, Georg
dc.contributor.editorKaiser, Ronny
dc.date.accessioned2017-06-30T20:56:06Z
dc.date.available2017-06-30T20:56:06Z
dc.date.issued2015
dc.identifier.isbn978-3-88579-633-6
dc.identifier.issn1617-5468
dc.description.abstractRegression 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.en
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware-engineering and management 2015
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-239
dc.titleAutomating regression verificationen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages75-76
mci.conference.locationDresden
mci.conference.date17.-20. März 2015


Files in this item

Thumbnail

Show simple item record