Query−Driven Program Testing
Andreas Holzer‚ Christian Schallhart‚ Michael Tautschnig and Helmut Veith
Address
Savannah‚ GA‚ USA
Book Title
Proceedings of the Tenth International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI 2009)
Editor
Neil D. Jones and Markus Müller−Olm
Month
January
Pages
151–166
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5403
Year
2009