Static specification mining using automata-based abstractions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia. Static specification mining using automata-based abstractions. In David S. Rosenblum, Sebastian G. Elbaum, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. pages 174-184, ACM, 2007. [doi]

This author has not been identified. Look up 'Sharon Shoham' in GoogleThis author has not been identified. Look up 'Eran Yahav' in GoogleThis author has not been identified. Look up 'Stephen Fink' in GoogleThis author has not been identified. Look up 'Marco Pistoia' in Google

runs on WebDSL