10.5281/zenodo.3902978
https://zenodo.org/records/3902978
oai:zenodo.org:3902978
Sooyoung Cha
Sooyoung Cha
Korea University
Hakjoo Oh
Hakjoo Oh
Korea University
Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy
Zenodo
2020
Dynamic Symbolic Execution, Online Learning
2020-06-22
10.5281/zenodo.3902977
Creative Commons Attribution 4.0 International
HOMI
HOMI is a tool that performs symbolic execution while maintaining only a small number of "promising states" via online learning. This tool is implemented on the top of KLEE a publicly available symbolic execution tool for testing C programs. For more technical details, please read our paper.
The detailed description (e.g., Install, Usage) of the tool is available on the public repository: https://github.com/kupl/HOMI_public