External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Certified Symbolic Execution

Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid. Certified Symbolic Execution. In Cyrille Artho, Axel Legay, Doron Peled, editors, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Volume 9938 of Lecture Notes in Computer Science, pages 495-511, 2016. [doi]

Authors

Rui Qiu

This author has not been identified. Look up 'Rui Qiu' in Google

Corina S. Pasareanu

This author has not been identified. Look up 'Corina S. Pasareanu' in Google

Sarfraz Khurshid

This author has not been identified. Look up 'Sarfraz Khurshid' in Google
runs on