Formal Test Generation from UML Models.

Didier Buchs Luis Pedro Levi Lucio

Published in: Research Results of the DICS Program (2006)

Keyphrases

test generation
uml models
test cases
test sequences
software testing
design automation
object oriented
symbolic execution
sequence diagrams
mutation testing
regression testing
test data generation
test suite
formal specification
static analysis
test set
quality assurance
data model