Statically-directed dynamic automated test generation.

Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song

Browse the full ISSTA paper archive.