pbSE: Phase-Based Symbolic Execution.

Qixue Xiao, Yu Chen, Chengang Wu, Kang Li, Junjie Mao, Shize Guo, Yuanchun Shi

Browse the full DSN paper archive.