Memoized symbolic execution (2012)

by Guowei Yang, Corina S Păsăreanu, Sarfraz Khurshid
Venue:In Proceedings of ISSTA