@inproceedings{LiuMS07, author = {Lisa (Ling) Liu and Bertrand Meyer and Bernd Schoeller}, title = {Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation}, booktitle = {TAP}, year = {2007}, pages = {114-130}, urltopdf = {http://dx.doi.org/10.1007/978-3-540-73770-4_7} }