Dart: Directed automated random testing (2005)

by P Godefroid, N Klarslund, K Sen
Venue:In Proceedings of PLDI ’05