@INPROCEEDINGS{icsm2010,
  author = {Michael Pradel and Philipp Bichsel and Thomas R. Gross},
  title = {A Framework for the Evaluation of Specification Miners Based on Finite State Machines},
  booktitle = {International Conference on Software Maintenance (ICSM)},
  year = {2010}
}