A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Partition-based regression verification
2013
2013 35th International Conference on Software Engineering (ICSE)
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
doi:10.1109/icse.2013.6606576
dblp:conf/icse/BohmeOR13
fatcat:jp2ac27jfbghvjaws4rqych7xm