Andrew Jackson, Jacques Klein, Benoit Baudry, and Siobhan Clarke (2006)
Testing Executable Themes
In: In Second Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 06, Nantes, France.
Design validation is important for detecting errors early in the development
life cycle. Testing the design is one significant means to achieve
design validation. In this paper we present initial work to make
Theme/UML models executable and therefore testable.