Staged symbolic execution.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Browse the full SAC paper archive.