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
CEUR-WS.org
2018
Note(s): symbolic execution, KLEE verifier, state merging, verifier performance
Papers: kuznetsov:pldi:2012