Staged symbolic execution
Junaid Haroon Siddiqui, Sarfraz Khurshid · 2012
Recent advances in constraint solving technology and raw computation power have led to a substantial increase in the effectiveness of techniques based on symbolic execution for systematic bug finding. However, scaling symbolic execution remains a challenging problem.