Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller. Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. In Yuri Gurevich, Bertrand Meyer, editors, Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Volume 4454 of Lecture Notes in Computer Science, pages 114-130, Springer, 2007. [doi]
Abstract is missing.