Proofs from tests. (2008)

by N E Beckman, A V Nori, S K Rajamani, R J Simmons
Venue:In ISSTA’08,