Yan Cao, Qiang Wei, QingXian Wang. The Method for Parallel Approach to Sensitive Point Based on Dynamic Symbolic Execution. In Eighth International Conference on Computational Intelligence and Security, CIS 2012, Guangzhou, China, November 17-18, 2012. pages 661-665, IEEE, 2012. [doi]
Abstract is missing.