Certified Symbolic Execution.

Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid

Browse the full ATVA paper archive.