DART: Directed automated random testing (2005)

by Patrice Godefroid , Nils Klarlund , Koushik Sen
Venue:In Programming Language Design and Implementation (PLDI
Citations:517 - 34 self