Applying Search in an Automatic Contract-Based Testing Tool.

Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer

Browse the full SSBSE paper archive.