@inproceedings{Kolesnichenko-Poskitt-Meyer13a, author = {Alexey Kolesnichenko and Christopher M. Poskitt and Bertrand Meyer}, title = {Applying Search in an Automatic Contract-Based Testing Tool}, booktitle = {Proc. International Symposium on Search-Based Software Engineering (SSBSE 2013)}, year = {2013}, volume = {8084}, series = {LNCS}, pages = {318--323}, publisher = {Springer}, urltopdf = {http://se.inf.ethz.ch/people/poskitt/publications/KolesnichenkoPoskittMeyer.SSBSE.2013.pdf}, }