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á bibliografia

Vydané v:	IEEE transactions on software engineering Ročník 48; číslo 9; s. 3640 - 3663
Hlavní autori:	Cha, Sooyoung, Hong, Seongjoon, Bak, Jiseong, Kim, Jingyoung, Lee, Junhee, Oh, Hakjoo
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.09.2022 IEEE Computer Society
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!