
Future Communication, Information and Computer Science – Zheng (Ed.)
© 2015 Taylor & Francis Group, London, 978-1-138-02653-7
A novel hybrid approach for path explosion in concolic execution
W.N. Niu, Z.L. Zhuo, G.W. Yang & X.S. Zhang
University of Electronic Science and Technology of China, Chengdu, China
J.C. Li & L. Liang
National Research Center for Information Security Technology, Beijing, China
ABSTRACT: Concolic execution can alleviate imprecision in symbolic execution using concrete values. This
technique is promising for test cases generation and vulnerabilities digging automatically in practice. Since
the number of paths grows exponentiall ...