@inproceedings{Poskitt-Poulding13a, author = {Christopher M. Poskitt and Simon Poulding}, title = {Using Contracts to Guide the Search-Based Verification of Concurrent Programs}, booktitle = {Proc. International Symposium on Search-Based Software Engineering (SSBSE 2013)}, year = {2013}, volume = {8084}, series = {LNCS}, pages = {263--268}, publisher = {Springer}, urltopdf = {http://se.inf.ethz.ch/people/poskitt/publications/PoskittPoulding.SSBSE.2013.pdf}, }