Automatic Testing of Object-Oriented Software. - Bertrand Meyer 001; Ilinca Ciupa; Andreas Leitner; Lisa Ling Liu (SOFSEM (1), 2007)

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. - Lisa Ling Liu; Bertrand Meyer 001; Bernd Schoeller (TAP, 2007)