“…MT has been used by both professional software developers and end-user programmers [15], and has been developed into a framework covering verification, validation, and other types of software quality assessment [16], with MRs not only defined by developers, but also by the users. More recently, MRs have been applied to enhance system understanding and use [17], where MRs need not be necessary properties for software correctness, but can instead be properties hypothesized by the users, who can use such MRs to explore the software system, enhancing their understanding of the system, and hence using it in a better way. This approach is called metamorphic exploration.…”