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

Michael Barnett Manuel Fähndrich Peli de Halleux Francesco Logozzo Nikolai Tillmann Exploiting the synergy between automated-test-generation and programming-by-contract. 401-402 2009 ICSE Companion http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071032 conf/icse/2009c db/conf/icse/icse2009c.html#BarnettFHLT09