Carlos Pacheco Shuvendu K. Lahiri Thomas Ball Finding errors in .net with feedback-directed random testing. 87-96 2008 ISSTA http://doi.acm.org/10.1145/1390630.1390643 conf/issta/2008 db/conf/issta/issta2008.html#PachecoLB08