Test generation and minimization with "basic" statecharts.

Fevzi Belli Axel Hollmann

Published in: SAC (2008)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
static analysis
objective function
mutation testing
quality assurance
software testing
code coverage
database
training data
query language
information technology
case study
data sets