DART: Directed automated random testing (2005)

by Patrice Godefroid, Nils Klarlund, Koushik Sen
Venue:In Programming Language Design and Implementation (PLDI