FitnessGuided Path Exploration in Dynamic Symbolic Execution," (2008)

by T Xie, N Tillmann, P d Halleux, W Schulte
Venue:in the 39th International Conference on Dependable Systems and Networks,