R.J.: “Proofs from Tests (2008)

by N E Beckman, A V Nori, S K Rajamani, Simmons
Venue:In: Proc. of ISSTA’08