Journal Articles

Chronological order

Journal articles

Sharon Shoham, Eran Yahav, Stephen J. Fink and Marco Pistoia. Static Specification Mining Using Automata-Based Abstractions. IEEE Transactions on Software Engineering 34(5):651-666, May 2008.