Query-Driven Program Testing (bibtex)
by Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Reference:
Query-Driven Program TestingAndreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut VeithProceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) (Neil D. Jones, Markus Müller-Olm, eds.), volume 5403 of Lecture Notes in Computer Science, pages 151-166, January 2009, Springer.
Bibtex Entry:
@inproceedings{holzer:schallhart:tautschnig:veith:vmcai09,
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and   Helmut Veith},
  title = {Query-Driven Program Testing},
  month = {January},
  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},
  pages = {151--166},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5403}
}
Powered by bibtexbrowser