DART: directed automated random testing. (2005)

by P Godefroid, N Klarlund, K Sen
Venue:In ACM SIGPLAN Notices,