ISSN 1000-1239 CN 11-1777/TP
Solving Cost Prediction Based Search in Symbolic Execution
Liu Jingde, Chen Zhenbang, Wang Ji
Journal of Computer Research and Development . 2016, (5): 1086 -1094 .  DOI: 10.7544/issn1000-1239.2016.20148330