2014

Journal Article

Directed incremental symbolic execution

Yang, Guowei, Person, Suzette, Rungta, Neha and Khurshid, Sarfraz (2014). Directed incremental symbolic execution. ACM Transactions on Software Engineering and Methodology, 24 (1) 2629536, 1-42. doi: 10.1145/2629536