Boost Symbolic Execution Using Dynamic State Merging and Forking.

Chao Zhang, Weiliang Yin, Zhiqiang Lin

Browse the full APSEC paper archive.