Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann. Exploiting the synergy between automated-test-generation and programming-by-contract. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume. pages 401-402, IEEE, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.