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...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE transactions on software engineering Ročník 48; číslo 9; s. 3640 - 3663
Hlavní autoři:	Cha, Sooyoung, Hong, Seongjoon, Bak, Jiseong, Kim, Jingyoung, Lee, Junhee, Oh, Hakjoo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.09.2022 IEEE Computer Society
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!