Published January 26, 2022
| Version 0.2.0
Conference paper
Open
SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters
Authors/Creators
- 1. Sungkyunkwan University
- 2. Korea University
Description
SymTuner
SymTuner is a tool that automatically tunes external parameters of symbolic execution 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 which will be published at ICSE'22.
The detailed description (e.g., Install, Usage) of the tool is available on the public repository: https://github.com/skkusal/symtuner
Files
LICENCE.txt
Files
(164.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:bf2a576ccecb6ba599d2c7a67006a0ed
|
1.1 kB | Preview Download |
|
md5:08a996e9b8fae50ff779ed6cf744d9cd
|
163.2 kB | Preview Download |