@InProceedings{naumovich-frankl:combining-fsv-testing,
  author =       "Gleb Naumovich and Phyllis G. Frankl",
  title =        "Toward Synergy of Finite State Verification and Testing",
  booktitle =    "Proceedings of the First International Workshop on Automated Program Analysis, Testing and Verification",
  month =        jun,
  year =         "2000",
  pages =        "89--94",
}