TargetFuzz: Enabling Directed Graybox Fuzzing via SAT-Guided Seed Generation.

Raghul Saravanan, Sai Manoj Pudukotai Dinakarrao

Browse the full ASPDAC paper archive.