@inproceedings{ABP:07,
  author = {Atzmueller, Martin and Baumeister, Joachim and Puppe, Frank},
  booktitle = {Proc. 20th International Florida Artificial Intelligence Research Society Conference (FLAIRS-2007)},
  interhash = {3808013fc656b34bde63336aaa7ad043},
  intrahash = {5cc063c933cd9c19f3005de92bb682ca},
  pages = {518--523},
  publisher = {AAAI Press},
  title = {{Pattern-Constrained Test Case Generation}},
  year = 2007
}