Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics

We present a technique to automatically generate search heuristics for dynamic symbolic execution. A key challenge in dynamic symbolic execution is how to effectively explore the program's execution paths to achieve high code coverage in a limited time budget. Dynamic symbolic execution employs...

Full description

Bibliographic Details

Published in:	IEEE transactions on software engineering Vol. 48; no. 9; pp. 3640 - 3663
Main Authors:	Cha, Sooyoung, Hong, Seongjoon, Bak, Jiseong, Kim, Jingyoung, Lee, Junhee, Oh, Hakjoo
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.09.2022 IEEE Computer Society
Subjects:	Algorithms concolic testing Dynamic symbolic execution execution-generated testing Heuristic Heuristic algorithms Learning Open source software search heuristics Search problems Searching Software algorithms Software testing Testing
ISSN:	0098-5589, 1939-3520
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!