Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation.

Lisa Ling Liu, Bertrand Meyer, Bernd Schoeller

Browse the full TAP paper archive.