Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler. Precision reuse for efficient regression verification. In Bertrand Meyer, Luciano Baresi, Mira Mezini, editors, Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. pages 389-399, ACM, 2013. [doi]
@inproceedings{BeyerLNSW13,
title = {Precision reuse for efficient regression verification},
author = {Dirk Beyer and Stefan Löwe and Evgeny Novikov and Andreas Stahlbauer and Philipp Wendler},
year = {2013},
doi = {10.1145/2491411.2491429},
url = {http://doi.acm.org/10.1145/2491411.2491429},
researchr = {https://researchr.org/publication/BeyerLNSW13},
cites = {0},
citedby = {0},
pages = {389-399},
booktitle = {Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
editor = {Bertrand Meyer and Luciano Baresi and Mira Mezini},
publisher = {ACM},
isbn = {978-1-4503-2237-9},
}