Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer. Applying Search in an Automatic Contract-Based Testing Tool. In Günther Ruhe, Yuanyuan Zhang, editors, Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings. Volume 8084 of Lecture Notes in Computer Science, pages 318-323, Springer, 2013. [doi]
Abstract is missing.