SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters

Sooyoung Cha
Myungho Lee
Seokhyun Lee
Hakjoo Oh

Publication date

January 2022

DOI

Abstract

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/symtune

Extracted data

We use cookies to provide a better user experience.

Data Protection

SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters

Abstract

Extracted data

SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters

Abstract

Extracted data

Related items

Related items