Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries. - Riyad Parvez; Paul A. S. Ward; Vijay Ganesh 001 (CASCON, 2016)