RT Journal T1 Tuning parallel symbolic execution engine for better performance A1 Anil Kumar KARNA, Jinbo DU, Haihao SHEN, Hao ZHONG, Jiong GONG, Haibo YU, Xiangning MA, Jianjun ZHAO PB Front. Comput. Sci. FD 2018-01-12 YR 2018 JF Frontiers of Computer Science JO Front. Comput. Sci. VO 12 IS 1 SP 86 DO 10.1007/s11704-016-5459-9 K1 code analysis;symbolic execution;parallelizing symbolic execution;KLEE;Cloud9 LK {https://journal.hep.com.cn/fcs/EN/article/article_17976.shtml}