Hongzhe Li, Taebeom Kim, Munkhbayar Bat-Erdene, Heejo Lee: Software Vulnerability Detection Using Backward Trace Analysis and Symbolic Execution. ARES 2013: 446-454