@inproceedings{bunmot2006,
  author    = "G. Bunin and A. Schneider and C. Haubelt and Jan Langer and Ulrich Heinkel",
  title     = "Automatic Test Case Generation with Model Checker NuSMV",
  booktitle = "Workshop Modellbasiertes Testen (MOTES'06), in: Informatik 2006: Informatik für Menschen, Band 2",
  year      = "2006",
  pages     = "262-263",
  address   = "Dresden",
  month     = "2--10~" # oct,
  isbn      = "978-3-88579-188-1"
}