A survey of new trends in symbolic execution for software testing and analysis
Hybrid Concolic Testing