Login / Signup
Validation and automatic test generation on UML models: the AGATHA approach.
David Lugato
Céline Bigot
Yannick Valot
Jean-Pierre Gallois
Sébastien Gérard
François Terrier
Published in:
Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
</>
test generation
uml models
test cases
test sequences
symbolic execution
static analysis
sequence diagrams
object oriented
test data generation
design automation
quality assurance
regression testing
mutation testing
artificial intelligence
software testing
low level
high level