Login / Signup
Validation and automatic test generation on UML models: the AGATHA approach.
David Lugato
Céline Bigot
Yannick Valot
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
test generation
uml models
test cases
test sequences
software testing
static analysis
design automation
sequence diagrams
mutation testing
symbolic execution
quality assurance
video sequences
real world
regression testing
test suite
test data generation
high level
case study