Sign in
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution.
Hiroaki Yoshida
Guodong Li
Takuki Kamiya
Indradeep Ghosh
Sreeranga P. Rajan
Susumu Tokumoto
Kazuki Munakata
Tadahiro Uehara
Published in:
IEEE Softw. (2017)
Keyphrases
</>
symbolic execution
test generation
test cases
test data generation
static analysis
design automation
quality assurance
software testing
source code
code coverage
artificial intelligence
case study
feature space
relational databases
monitoring system
quality control