A property-based testing framework for encryption programs. - Chang-Ai Sun; Zuoyi Wang; Guan Wang (Frontiers Comput. Sci., 2014)

μMT: a data mutation directed metamorphic relation acquisition methodology. - Chang-Ai Sun; Yiqiang Liu; Zuoyi Wang; W. K. Chan 001 (MET@ICSE, 2016)

An iterative metamorphic testing technique for web services and case studies. - Chang-Ai Sun; An Fu; Yiqiang Liu; Qing Wen; Zuoyi Wang; Peng Wu 002; Tsong Yueh Chen (Int. J. Web Grid Serv., 2020)

Identifying metamorphic relations: A data mutation directed approach. - Chang-Ai Sun; Hui Jin; Siyi Wu; An Fu; Zuoyi Wang; Wing Kwong Chan (Softw. Pract. Exp., 2024)