ShohamYFP07'

BibTeX

@inproceedings{DBLP:conf/issta/ShohamYFP07,
  author    = {Sharon Shoham and
               Eran Yahav and
               Stephen Fink and
               Marco Pistoia},
  title     = {Static specification mining using automata-based abstractions},
  booktitle = {ISSTA},
  year      = {2007},
  pages     = {174-184},
  ee        = {http://doi.acm.org/10.1145/1273463.1273487},
  crossref  = {DBLP:conf/issta/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/issta/2007,
  editor    = {David S. Rosenblum and
               Sebastian G. Elbaum},
  title     = {Proceedings of the ACM/SIGSOFT International Symposium on
               Software Testing and Analysis, ISSTA 2007, London, UK, July
               9-12, 2007},
  booktitle = {ISSTA},
  publisher = {ACM},
  year      = {2007},
  isbn      = {978-1-59593-734-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}