DART: Directed Automated Random Testing (2005)

by P Godefroid, N Klarlund, K Sen
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI