Partition-based regression verification

  • Bohme M
  • Oliveira B
  • Roychoudhury A
  • 44


    Mendeley users who have this article in their library.
  • 24


    Citations of this article.


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.

Author-supplied keywords

  • Software Verification
  • Testing and Analysis

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Marcel Bohme

  • Bruno C.D.S. Oliveira

  • Abhik Roychoudhury

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free