Testing Executable Themes
Andrew L. Jackson, Jacques Klein, Benoît Baudry, Siobhán Clarke · 2006
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. 1.