Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad
Verification-aided regression testing
ISSTA, 2014.
@inproceedings{ISSTA-2014-PastoreMHFSSM,
author = "Fabrizio Pastore and Leonardo Mariani and Antti Eero Johannes Hyvärinen and Grigory Fedyukovich and Natasha Sharygina and Stephan Sehestedt and Ali Muhammad",
booktitle = "{Proceedings of the 23rd International Symposium on Software Testing and Analysis}",
doi = "10.1145/2610384.2610387",
isbn = "978-1-4503-2645-2",
pages = "37--48",
publisher = "{ACM}",
title = "{Verification-aided regression testing}",
year = 2014,
}