Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia. Static specification mining using automata-based abstractions. In David S. Rosenblum, Sebastian G. Elbaum, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. pages 174-184, ACM, 2007. [doi]
@inproceedings{ShohamYFP07,
title = {Static specification mining using automata-based abstractions},
author = {Sharon Shoham and Eran Yahav and Stephen Fink and Marco Pistoia},
year = {2007},
doi = {10.1145/1273463.1273487},
url = {http://doi.acm.org/10.1145/1273463.1273487},
tags = {rule-based, abstraction},
researchr = {https://researchr.org/publication/ShohamYFP07},
cites = {0},
citedby = {0},
pages = {174-184},
booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007},
editor = {David S. Rosenblum and Sebastian G. Elbaum},
publisher = {ACM},
isbn = {978-1-59593-734-6},
}