Symbolic Automata for Static Specification Mining.

Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang

Browse the full SAS paper archive.