DART: directed automated random testing.

Patrice Godefroid, Nils Klarlund, Koushik Sen

Browse the full PLDI paper archive.