Exploiting the synergy between automated-test-generation and programming-by-contract | IEEE Conference Publication | IEEE Xplore