Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm.

Published in: J. Comput. (2011)

Keyphrases

test cases
generation algorithm
data sets
learning algorithm
software testing
case study
simulated annealing
test suite
databases
database systems
computational complexity
test data
test case generation
covering arrays