Scaling symbolic execution using ranged analysis.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Browse the full OOPSLA paper archive.