DART: directed automated random testing (0)

by P GODEFROID, N KLARLUND, K SEN
Venue:In PLDI’05: Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation (2005), ACM