DMCA

Memoized Symbolic Execution

by Guowei Yang , Corina S. Păsăreanu , Sarfraz Khurshid
Citations:12 - 5 self