Verification-aided regression testing

@inproceedings{Pastore2014VerificationaidedRT,
  title={Verification-aided regression testing},
  author={Fabrizio Pastore and Leonardo Mariani and Antti Eero Johannes Hyv{\"a}rinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad},
  booktitle={ISSTA},
  year={2014}
}
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… CONTINUE READING

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…