7.3 Evaluation Setup
To perform our study, we followed the following procedures:
- (1) For individual Statecharts: We first prepared a set of different versions for each artifact: the base version and a number of modified versions. Each modified version introduces a single change to one simple or group transition in the base version. Each change is made in the form of an alteration to the event name or the addition of a send event statement to the action code of the subject transition. The main reason for selecting these specific types of changes is to keep the number of modified models manageable and to facilitate the manual correctness check of the results. Another important reason is that some of the tools used in the implementation (e.g., ...
