On testing UML statecharts.
Mieke MassinkDiego LatellaStefania GnesiPublished in: J. Log. Algebraic Methods Program. (2006)
Keyphrases
- development process
- software engineering
- software development
- regression testing
- class diagrams
- software testing
- sequence diagrams
- conceptual modeling
- model based testing
- testing process
- test cases
- tool support
- test generation
- software systems
- uml models
- formal methods
- uml class diagrams
- class diagram
- object oriented
- software architecture
- object oriented systems
- database design
- petri net
- modeling language
- software maintenance
- test data
- unified modeling language
- activity diagrams
- test suite
- intermediate representation
- life cycle
- test set
- databases