Test case generation by means of UML sequence diagrams and labeled transition systems.
Emanuela Gadelha CartaxoFrancisco G. Oliveira NetoPatrícia D. L. MachadoPublished in: SMC (2007)
Keyphrases
- sequence diagrams
- test case generation
- test cases
- transition systems
- class diagrams
- software testing
- regression testing
- control flow
- uml models
- object oriented systems
- model based testing
- petri net
- activity diagrams
- concurrent systems
- test data generation
- class diagram
- finite state
- temporal logic
- intermediate representation
- test generation
- test suite
- model checking
- dependency graph
- training data
- software maintenance
- software development
- object oriented
- reactive systems
- uml class diagrams
- fine grained
- source code