Verification-aided regression testing

Article Details
Title:	Verification-aided regression testing
Article URLs:	https://doi.org/10.1145/2610384.2610387
Alternative Article URLs:
Authors:	Fabrizio Pastore	University of Milano - Bicocca
	Leonardo Mariani	University of Milano - Bicocca
	Antti Eero Johannes Hyvärinen	University of Lugano
	Grigory Fedyukovich	University of Lugano
	Natasha Sharygina	University of Lugano
	Stephan Sehestedt	ABB Corporate Research
	Ali Muhammad	VTT Technical Research Centre
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://www.lta.disco.unimib.it/tools/vart
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/issta/PastoreMHFSSM14
Author Comments:

ACM SIGSOFT Intl. Symposium on Software Testing and Analysis, ISSTA 2014