Deriving Input Partitions from UML Models for Automatic Test Generation.

Stephan Weißleder Bernd-Holger Schlingloff

Published in: MoDELS (Workshops) (2007)

Keyphrases

test generation
uml models
test cases
test sequences
symbolic execution
database
sequence diagrams
software testing
regression testing
mutation testing
quality assurance
software engineering
design automation
static analysis
object oriented
code coverage
image data
multi agent