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