@inproceedings{safe:issta07,
 author = {Sharon Shoham and Eran Yahav and Stephen Fink and Marco Pistoia},
 title = {Static specification mining using automata-based abstractions},
 booktitle = {ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis},
 year = {2007},
 isbn = {978-1-59593-734-6},
 pages = {174--184},
 location = {London, United Kingdom},
 doi = {http://doi.acm.org/10.1145/1273463.1273487},
 publisher = {ACM},
 address = {New York, NY, USA},
}