The Method for Parallel Approach to Sensitive Point Based on Dynamic Symbolic Execution.

Yan Cao, Qiang Wei, Qingxian Wang

Browse the full CIS paper archive.