Towards generation of adaptive test cases from partial models of determinized timed automata.

Bernhard K. Aichernig Florian Lorber

Published in: ICST Workshops (2015)

Keyphrases

test cases
uml models
regression testing
timed automata
test data
databases
software testing
black box
test sequences
test generation
test data generation
software development
generation algorithm
relational databases
case study
database
test case selection