Static specification mining using automata-based abstractions

Eran Yahav, Sharon Shoham, Stephen Fink, Marco Pistoia

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


Programming is becoming more and more about using frameworks and libraries. To perform standard tasks such as parsing an XML file, or communicating with a database, programmers use existing standard frameworks and class libraries rather than writing code from scratch.

Original languageEnglish
Title of host publicationMining Software Specifications
Subtitle of host publicationMethodologies and Applications
PublisherCRC Press
Number of pages41
ISBN (Electronic)9781439806272
ISBN (Print)9781138114906
StatePublished - 1 Jan 2011
Externally publishedYes


Dive into the research topics of 'Static specification mining using automata-based abstractions'. Together they form a unique fingerprint.

Cite this