Verification-aided regression testing

Fabrizio Pastore, Leonardo Mariani, Antti E.J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    19 Citations (Scopus)


    In this paper we present Verification-Aided Regression Testing (VART), a novel extension of regression testing that uses model checking to increase the fault revealing capability of existing test suites. The key idea in VART is to extend the use of test case executions from the conventional direct fault discovery to the generation of behavioral properties specific to the upgrade, by (i) automatically producing properties that are proved to hold for the base version of a program, (ii) automatically identifying and checking on the upgraded program only the properties that, according to the developers' intention, must be preserved by the upgrade, and (iii) reporting the faults and the corresponding counter-examples that are not revealed by the regression tests. Our empirical study on both open source and industrial software systems shows that VART automatically produces properties that increase the effectiveness of testing by automatically detecting faults unnoticed by the existing regression test suites.
    Original languageEnglish
    Title of host publicationProceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014
    PublisherAssociation for Computing Machinery ACM
    ISBN (Print)978-1-4503-2645-2
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    Event23rd International Symposium on Software Testing and Analysis, ISSTA 2014 - San Jose, United States
    Duration: 21 Jul 201425 Jul 2014


    Conference23rd International Symposium on Software Testing and Analysis, ISSTA 2014
    Abbreviated titleISSTA 2014
    Country/TerritoryUnited States
    CitySan Jose


    • dynamic analysis
    • model checking
    • regression testing


    Dive into the research topics of 'Verification-aided regression testing'. Together they form a unique fingerprint.

    Cite this