Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs

Danel Ahman Marko Kääramees

Published in: MBT (2012)

Keyphrases

test generation
test cases
constraint satisfaction
symbolic execution
input output
test sequences
design automation
static analysis
optimal solution
quality assurance
mutation testing
software testing
machine learning
file system
test data generation
database
simulated annealing
search algorithm
data sets