Multiobjective Genetic Algorithm for Class Testing using OCL Class Contract Specifications: A Framework

Figure 2

The class diagram of mapping objects of OCL operation contracts.