Directed incremental symbolic execution. (2011)

by S Person, G Yang, N Rungta, S Khurshid
Venue:In Proc. of the Conference on Programing Language Design and Implementation (PLDI’11),