Parallel Chopped Symbolic Execution.

Shikhar Singh, Sarfraz Khurshid

Browse the full ICFEM paper archive.