A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification.
Diego LatellaMieke MassinkPublished in: HASE (2001)
Keyphrases
- theoretical framework
- mathematical theory
- main contribution
- formal methods
- formal model
- conceptual framework
- theoretical foundation
- object oriented
- mathematical framework
- design theory
- unified modeling language
- software engineering
- software architecture
- mathematical foundations
- sequence diagrams
- model based testing