Exploiting the synergy between automated-test-generation and programming-by-contract.

Michael Barnett, Manuel Fhndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann

Browse the full ICSE paper archive.