Skip to Main Content
Future Communication, Information and Computer Science
book

Future Communication, Information and Computer Science

by Dawei Zheng
February 2015
Intermediate to advanced content levelIntermediate to advanced
472 pages
22h 58m
English
CRC Press
Content preview from Future Communication, Information and Computer Science
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 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Frontiers in Computer Education

Frontiers in Computer Education

Yuanzhi Wang
The CS Detective

The CS Detective

Jeremy Kubica

Publisher Resources

ISBN: 9781138026537