DART: directed automated random testing (0)

by P Godefroid, N Klarlund, K Sen
Venue:In PLDI 2005