Media type: E-Article Title: Static Analysis: Symbolic Automata for Static Specification Mining Contributor: Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok Published: Springer Berlin Heidelberg, 2013 Published in: Static Analysis Extent: 63-83 Language: Not determined DOI: 10.1007/978-3-642-38856-9_6 ISSN: 0302-9743; 1611-3349 Footnote: