Proofs from tests (0)

by N E Beckman, A V Nori, S K Rajamani, R J Simmons, S Tetali, A V Thakur
Venue:IEEE Trans. Software Eng