Nels Beckman Aditya V. Nori Sriram K. Rajamani Robert J. Simmons Proofs from tests. 3-14 2008 ISSTA http://doi.acm.org/10.1145/1390630.1390634 conf/issta/2008 db/conf/issta/issta2008.html#BeckmanNRS08