Sharon Shoham Eran Yahav Stephen J. Fink Marco Pistoia Static Specification Mining Using Automata-Based Abstractions. 651-666 2008 34 IEEE Trans. Software Eng. 5 http://dx.doi.org/10.1109/TSE.2008.63 db/journals/tse/tse34.html#ShohamYFP08