Directed symbolic execution. (2011)

by K-K Ma, Y P Khoo, J S Foster, M Hicks
Venue:In Proc. of the 18th International Static Analysis Symposium (SAS’11),