@inproceedings{DBLP:conf/apsec/SilvaWMO11, author = {Lucas Serpa Silva and Yi Wei and Bertrand Meyer and Manuel Oriol}, title = {Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs}, booktitle = {APSEC}, year = {2011}, pages = {290-297}, ee = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2011.34}, crossref = {DBLP:conf/apsec/2011}, urltopdf = {/people/wei/papers/evotec.pdf}, bibsource = {DBLP, http://dblp.uni-trier.de} }