@inproceedings{Kolesnichenko-Poskitt-Meyer13a, author = {Alexey Kolesnichenko and Christopher M. Poskitt and Bertrand Meyer}, title = {Applying Search in a Contract-Based Automatic Testing Tool}, booktitle = {Proc.\ International Symposium on Search-Based Software Engineering (SSBSE 2013)}, year = {2013}, series = {LNCS}, publisher = {Springer}, note = {To appear.}, }