Using Contracts to Guide the Search-Based Verification of Concurrent Programs.

Christopher M. Poskitt, Simon M. Poulding

Browse the full SSBSE paper archive.