Boost symbolic execution using dynamic state merging and forking

Chao Zhang, Weiliang Yin, Zhiqiang Lin
[Google Scholar] [DBLP] [Citeseer]

QuASoQ@APSEC
CEUR-WS.org
2018
Note(s): symbolic execution, KLEE verifier, state merging, verifier performance
Papers: kuznetsov:pldi:2012