Proofs from tests (2008)

by N E Beckman, A V Nori, S K Rajamani, R J Simmons
Venue:In Proc. of Software Testing and Analysis