Please use this identifier to cite or link to this item: https://doi.org/10.1109/ICSE.2013.6606576
Title: Partition-based regression verification
Authors: Bohme, M.
Oliveira, B.C.D.S.
Roychoudhury, A. 
Keywords: Software Verification
Testing and Analysis
Issue Date: 2013
Source: Bohme, M.,Oliveira, B.C.D.S.,Roychoudhury, A. (2013). Partition-based regression verification. Proceedings - International Conference on Software Engineering : 302-311. ScholarBank@NUS Repository. https://doi.org/10.1109/ICSE.2013.6606576
Abstract: Regression verification (RV) seeks to guarantee the absence of regression errors in a changed program version. This paper presents Partition-based Regression Verification (PRV): an approach to RV based on the gradual exploration of differential input partitions. A differential input partition is a subset of the common input space of two program versions that serves as a unit of verification. Instead of proving the absence of regression for the complete input space at once, PRV verifies differential partitions in a gradual manner. If the exploration is interrupted, PRV retains partial verification guarantees at least for the explored differential partitions. This is crucial in practice as verifying the complete input space can be prohibitively expensive. Experiments show that PRV provides a useful alternative to state-of-the-art regression test generation techniques. During the exploration, PRV generates test cases which can expose different behaviour across two program versions. However, while test cases are generally single points in the common input space, PRV can verify entire partitions and moreover give feedback that allows programmers to relate a behavioral difference to those syntactic changes that contribute to this difference. © 2013 IEEE.
Source Title: Proceedings - International Conference on Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/78279
ISBN: 9781467330763
ISSN: 02705257
DOI: 10.1109/ICSE.2013.6606576
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

20
checked on Jan 16, 2018

Page view(s)

24
checked on Jan 14, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.