Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution. - Hui Xu 009; Yangfan Zhou; Yu Kang 006; Fengzhi Tu; Michael R. Lyu (DSN, 2018)