@inproceedings{LeGouesW09,
  author = {Le~Goues, Claire and Weimer, Westley},
  pages = {292-306},
  publisher = {Springer},
  booktitle= {Tools and Algorithms for the Construction and Analysis of Systems},
  title = {Specification Mining with Few False Positives.},
  year = {2009},
  ee = {http://dx.doi.org/10.1007/978-3-642-00768-2_26},
  isbn = {978-3-642-00767-5},
}