Static specification mining using automata-based abstractions.

Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia

Browse the full ISSTA paper archive.