Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang: A Parallel Approach to Concolic Testing with Low-cost Synchronization. TTSS 2010: 83-96