Directed incremental symbolic execution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid. Directed incremental symbolic execution. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 504-515, ACM, 2011. [doi]

This author has not been identified. Look up 'Suzette Person' in GoogleThis author has not been identified. Look up 'Guowei Yang' in GoogleThis author has not been identified. Look up 'Neha Rungta' in GoogleThis author has not been identified. Look up 'Sarfraz Khurshid' in Google

runs on WebDSL