Proofs from tests (2008)

by N Beckman, A Nori, S Rajamani, R Simmons
Venue:In Int. Symp. on Softw. Testing and Analysis