A Taint Based Approach for Smart Fuzzing
DART: directed automated random testing