Case Study: Verifiable (Component) Software
e.g. CMG Test Frame -- UML Use cases -> Test Action Words
Towards a formal approach
slide
:
Research Challenges
