Abstract: In the MDD and MDA approaches, models become the primary artifacts of the development process. Therefore, assessment of the correctness of such models is a key issue to ensure the quality of ...

In program comprehension, program abstract table is used to sum up and empress the main messages of the program, and it provides an important process to obtain the result of program comprehension in ...