DMCA

Directed incremental symbolic execution (2011)

by Suzette Person , Guowei Yang , Neha Rungta , Sarfraz Khurshid
Venue:In PLDI
Citations:30 - 8 self