Dynamic Path Pruning in Symbolic Execution. - Ying-Shen Chen; Wei-Ning Chen; Che-Yu Wu; Hsu-Chun Hsiao; Shih-Kun Huang (DSC, 2018)