Login / Signup
Improving an Industrial Test Generation Tool Using SMT Solver.
Hao Ren
Devesh Bhatt
Jan Hvozdovic
Published in:
NFM (2016)
Keyphrases
</>
test generation
test cases
design automation
test sequences
symbolic execution
static analysis
quality assurance
software testing
decision trees
open source
mutation testing