Solving Cost Prediction Based Search in Symbolic Execution
Liu Jingde1,3, Chen Zhenbang1, Wang Ji1,2
1(College of Computer, National University of Defense Technology, Changsha 410073); 2(Science and Technology on Parallel and Distributed Processing Laboratory (College of Computer, National University of Defense Technology), Changsha 410073); 3(95835 PLA Troops, Bayingolin, Xinjiang 841700)
Liu Jingde, Chen Zhenbang, Wang Ji. Solving Cost Prediction Based Search in Symbolic Execution[J]. Journal of Computer Research and Development, 2016, 53(5): 1086-1094.