Directed incremental symbolic execution.

Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid

Browse the full PLDI paper archive.