@inproceedings{holzer:schallhart:tautschnig:veith:vmcai09,
  title = "Query-Driven Program Testing",
  author = "Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith",
  year = "2009",
  address = "Savannah, GA, USA",
  booktitle = "Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009)",
  editor = "Neil D.~Jones and Markus M{\"u}ller-Olm",
  month = "January",
  pages = "151--166",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5403",
}