[{"data":1,"prerenderedAt":364},["ShallowReactive",2],{"publication-2025\u002Fmetamorphic-relation-patterns-for-metamorphic-testing-exploration-and-robustness-en":3,"publication-members":51},{"_path":4,"_dir":5,"_draft":6,"_partial":6,"_locale":7,"title":8,"description":9,"_hidden":6,"authors":10,"authors_orcid":16,"year":22,"doi":23,"openalex_id":24,"venue":25,"abstract_screenshot":20,"keywords":26,"body":31,"_type":44,"_id":45,"_source":46,"_file":47,"_stem":48,"_extension":49,"locale":50},"\u002Fpublications\u002F2025\u002Fmetamorphic-relation-patterns-for-metamorphic-testing-exploration-and-robustness","2025",false,"","Metamorphic Relation Patterns for Metamorphic Testing, Exploration and Robustness","ABSTRACT Metamorphic testing (MT) is an effective software quality assurance method; it uses metamorphic relations (MRs) to examine the inputs and outputs of multiple test cases. Metamorphic exploration (ME) and metamorphic robustness testing (MRT) are advanced additions to the MT literature: ME can enable better understanding, and thus testing, of systems; MRT can test software robustness without an oracle. Metamorphic relation patterns (MRPs) are abstractions or templates for multiple concrete MRs. The performance of MT\u002FME\u002FMRT relies on the quality of MRs, but the identification of MRs is often a manual task requiring some knowledge of MRPs, creative thinking and a good understanding of the system. In other words, the effective identification of MRs remains a challenge and requires further study. In this paper, we propose formal definitions to describe the relationship between multiple MRPs in order to classify them. We also identify a series of new MRPs and propose a new MT framework that can guide the identification and application of MRPs. Based on our definitions, we present the notion of MRP family trees and further propose two trees by classifying previously published MRPs and our proposed MRPs, in order to make it easier for users to find their target MRPs for reuse, reference or inference. Finally, we report on case studies using the MRPs and our framework to guide the identification of MRs for MT\u002FME\u002FMRT and successfully detect multiple violations.",[11,12,13,14,15],"Ying, Zhihao","Towey, Dave","Bellotti, Anthony","Chua, Caslon","Zhou, Zhi Quan",[17,18,19,20,21],"0000-0002-4461-7155","0000-0003-0877-4353","0000-0001-6317-5877",null,"0000-0003-1769-9367",2025,"https:\u002F\u002Fdoi.org\u002F10.1002\u002Fstvr.70003","W4407650836","Software Testing Verification and Reliability",[27,28,29,30],"Metamorphic rock","Geology","Robustness (evolution)","Geochemistry",{"type":32,"children":33,"toc":41},"root",[34],{"type":35,"tag":36,"props":37,"children":38},"element","p",{},[39],{"type":40,"value":9},"text",{"title":7,"searchDepth":42,"depth":42,"links":43},2,[],"markdown","content:publications:2025:metamorphic-relation-patterns-for-metamorphic-testing-exploration-and-robustness.md","content","publications\u002F2025\u002Fmetamorphic-relation-patterns-for-metamorphic-testing-exploration-and-robustness.md","publications\u002F2025\u002Fmetamorphic-relation-patterns-for-metamorphic-testing-exploration-and-robustness","md","en",[52,65,70,81,88,96,102,111,118,124,129,139,146,155,161,173,182,191,197,205,210,218,224,232,236,246,253,261,266,275,281,289,295,303,308,314,324,332,338,346,351,359],{"_path":53,"title":54,"name":55,"role":56,"email":20,"image":57,"category":58,"interests":59,"order":42,"_id":64},"\u002Fmembers\u002Fstaff\u002Falain-chong","Vice President for Global Affairs and Partnerships · Professor of Information Systems and Digital Innovation","Alain Chong","Deputy Director of Lab","assets\u002F8.png","staff",[60,61,62,63],"信息系统与运作管理","计算机科学与运筹学","Information Systems and Operations Management","Computer Science and Operations Research","content:members:staff:alain-chong.md",{"_path":53,"title":66,"role":67,"interests":68,"_id":69},"全球事务与合作副校长 · 信息系统与数字创新教授","实验室副主任",[60,61],"content:members:staff:alain-chong.zh-CN.md",{"_path":71,"title":72,"name":73,"role":74,"email":20,"image":75,"category":58,"interests":76,"order":79,"_id":80},"\u002Fmembers\u002Fstaff\u002Fanthony-belloti","Professor","Anthony Belloti","Core Member","assets\u002F41.png",[77,78],"Machine Learning and Credit Risk Model","Model Risks",9,"content:members:staff:anthony-belloti.md",{"_path":71,"title":82,"role":83,"interests":84,"_id":87},"计算机科学系教授","核心成员",[85,86],"机器学习与信用风险模型","模型风险","content:members:staff:anthony-belloti.zh-CN.md",{"_path":89,"title":90,"name":90,"role":74,"email":20,"image":91,"category":58,"interests":92,"order":94,"_id":95},"\u002Fmembers\u002Fstaff\u002Fboon-giin-lee","Boon Giin Lee","assets\u002F31.jpg",[93],"Intelligent Sensor and Extended Reality",11,"content:members:staff:boon-giin-lee.md",{"_path":89,"title":97,"role":83,"interests":98,"_id":101},"人机交互实验室负责人 · 计算机科学系副教授",[99,100],"人机交互 HCI","智能传感与扩展现实技术","content:members:staff:boon-giin-lee.zh-CN.md",{"_path":103,"title":104,"name":104,"role":105,"email":20,"image":106,"category":58,"interests":107,"order":109,"_id":110},"\u002Fmembers\u002Fstaff\u002Fcong-cao","Cong Cao","Direction Leader","assets\u002FCC.png",[108],"Science and technology policy and institutional reform",7,"content:members:staff:cong-cao.md",{"_path":103,"title":112,"name":113,"role":114,"interests":115,"_id":117},"宁波诺丁汉大学商学院创新学教授","曹聪","方向带头人",[116],"科技政策与体制改革","content:members:staff:cong-cao.zh-CN.md",{"_path":119,"title":120,"name":120,"role":74,"email":20,"image":121,"category":58,"order":122,"_id":123},"\u002Fmembers\u002Fstaff\u002Fdave-towey","Dave Towey","assets\u002F32.jpg",8,"content:members:staff:dave-towey.md",{"_path":119,"title":125,"role":83,"interests":126,"_id":128},"计算机科学系教授 · 计算机科学系主任",[127],"计算机科学与语言学","content:members:staff:dave-towey.zh-CN.md",{"_path":130,"title":131,"name":131,"role":74,"email":20,"image":132,"category":58,"interests":133,"order":137,"_id":138},"\u002Fmembers\u002Fstaff\u002Ffazl-ullah-khan","Fazl Ullah Khan","assets\u002F44.png",[134,135,136],"Computer Network","Computer Architecture and Network Security","Software Engineering",12,"content:members:staff:fazl-ullah-khan.md",{"_path":130,"title":140,"role":83,"interests":141,"_id":145},"计算机科学系助理教授 · IEEE 高级会员",[142,143,144],"计算机网络","计算机和网络安全","软件工程","content:members:staff:fazl-ullah-khan.zh-CN.md",{"_path":147,"title":148,"name":149,"role":74,"email":20,"image":150,"category":58,"interests":151,"order":153,"_id":154},"\u002Fmembers\u002Fstaff\u002Fheng-yu","Associate Professor","Heng Yu","assets\u002FHENGYU.png",[152],"Embedded Systems Design",17,"content:members:staff:heng-yu.md",{"_path":147,"title":156,"name":157,"role":83,"interests":158,"_id":160},"计算机科学系副教授","于恒",[159],"嵌入式系统设计","content:members:staff:heng-yu.zh-CN.md",{"_path":162,"title":148,"name":163,"role":74,"email":20,"image":164,"category":58,"interests":165,"order":171,"_id":172},"\u002Fmembers\u002Fstaff\u002Fheshan-du","Heshan Du","assets\u002Fhesahndu.png",[166,167,168,169,170],"Logic, Knowledge Representation and Reasoning","Geographic Information Systems","Operations Research","Machine Learning","Reinforcement Learning",20,"content:members:staff:heshan-du.md",{"_path":162,"title":156,"name":174,"role":83,"interests":175,"_id":181},"杜何珊",[176,177,178,179,180],"逻辑与知识表示","地理信息系统","运筹学","机器学习","强化学习","content:members:staff:heshan-du.zh-CN.md",{"_path":183,"title":184,"name":185,"role":74,"email":20,"image":186,"category":58,"interests":187,"order":189,"_id":190},"\u002Fmembers\u002Fstaff\u002Fhuan-jin","Assistant Professor","Huan Jin","assets\u002Fhuanjin.png",[188,169],"Optimisation",21,"content:members:staff:huan-jin.md",{"_path":183,"title":192,"name":193,"role":83,"interests":194,"_id":196},"计算机科学系助理教授","靳欢",[195,179],"优化","content:members:staff:huan-jin.zh-CN.md",{"_path":198,"title":148,"name":199,"role":105,"email":20,"image":200,"category":58,"interests":201,"order":203,"_id":204},"\u002Fmembers\u002Fstaff\u002Fjianfeng-ren","Jianfeng Ren","assets\u002F42.jpg",[169,202],"Computer Vision",3,"content:members:staff:jianfeng-ren.md",{"_path":198,"title":156,"name":206,"role":114,"interests":207,"_id":209},"任剑锋",[179,208],"计算机视觉","content:members:staff:jianfeng-ren.zh-CN.md",{"_path":211,"title":212,"name":212,"role":105,"email":20,"image":213,"category":58,"interests":214,"order":216,"_id":217},"\u002Fmembers\u002Fstaff\u002Fjiawei-li","Jiawei Li","assets\u002F11.png",[215],"Computer Science and Artificial Intelligence",15,"content:members:staff:jiawei-li.md",{"_path":211,"title":219,"name":220,"role":114,"interests":221,"_id":223},"计算机科学系助理教授 · 英国诺丁汉大学博士后","李家炜",[222],"计算机与人工智能","content:members:staff:jiawei-li.zh-CN.md",{"_path":225,"title":148,"name":226,"role":74,"email":20,"image":227,"category":58,"interests":228,"order":230,"_id":231},"\u002Fmembers\u002Fstaff\u002Fmatthew-pike","Matthew Pike","assets\u002F43.jpg",[229],"Digitalised Learning",16,"content:members:staff:matthew-pike.md",{"_path":225,"title":156,"role":83,"interests":233,"_id":235},[234],"数字化学习","content:members:staff:matthew-pike.zh-CN.md",{"_path":237,"title":184,"name":238,"role":74,"email":20,"image":239,"category":58,"interests":240,"order":244,"_id":245},"\u002Fmembers\u002Fstaff\u002Fning-xue","Ning Xue","\u002Fimages\u002Fuon-logo.png",[241,242,243],"Artificial Intelligence","Computational Intelligence","Combinatorial Optimization",13,"content:members:staff:ning-xue.md",{"_path":237,"title":192,"name":247,"role":83,"interests":248,"_id":252},"薛宁",[249,250,251],"人工智能","计算智能","组合优化","content:members:staff:ning-xue.zh-CN.md",{"_path":254,"title":184,"name":255,"role":74,"email":20,"image":256,"category":58,"interests":257,"order":259,"_id":260},"\u002Fmembers\u002Fstaff\u002Fqian-zhang","Qian Zhang","assets\u002Fqz.png",[258,202,169],"Image Processing",14,"content:members:staff:qian-zhang.md",{"_path":254,"title":192,"name":262,"role":83,"interests":263,"_id":265},"张茜",[264,208,179],"图像处理","content:members:staff:qian-zhang.zh-CN.md",{"_path":267,"title":72,"name":268,"role":269,"email":20,"image":270,"category":58,"interests":271,"orcid":272,"order":273,"_id":274},"\u002Fmembers\u002Fstaff\u002Fruibin-bai","Ruibin Bai","Director of Lab","assets\u002F38.png",[63],"0000-0003-1722-568X",1,"content:members:staff:ruibin-bai.md",{"_path":267,"title":276,"name":277,"role":278,"interests":279,"_id":280},"教授","白瑞斌","实验室主任",[61],"content:members:staff:ruibin-bai.zh-CN.md",{"_path":282,"title":283,"name":283,"role":105,"email":20,"image":284,"category":58,"interests":285,"order":287,"_id":288},"\u002Fmembers\u002Fstaff\u002Fsean-he","Sean He","assets\u002F39.png",[202,286,169],"Data Analytics",5,"content:members:staff:sean-he.md",{"_path":282,"title":290,"name":291,"role":114,"interests":292,"_id":294},"计算机科学系教授 · 国家级讲席学者","何祥健",[208,293,179],"数据分析","content:members:staff:sean-he.zh-CN.md",{"_path":296,"title":297,"name":297,"role":74,"email":20,"image":298,"category":58,"interests":299,"order":301,"_id":302},"\u002Fmembers\u002Fstaff\u002Ftianxiang-cui","Tianxiang Cui","assets\u002Ftianxiangcui.png",[242,300,169,170],"Operation Research",19,"content:members:staff:tianxiang-cui.md",{"_path":296,"title":140,"name":304,"role":83,"interests":305,"_id":307},"崔天翔",[250,306,179,180],"运筹研究","content:members:staff:tianxiang-cui.zh-CN.md",{"_path":309,"title":72,"name":310,"role":74,"email":20,"image":311,"category":58,"order":312,"_id":313},"\u002Fmembers\u002Fstaff\u002Fxiuping-hua","Xiuping Hua","assets\u002FxiupignHua.png",10,"content:members:staff:xiuping-hua.md",{"_path":309,"title":315,"name":316,"role":83,"interests":317,"_id":323},"金融、会计与经济系教授","华秀萍",[318,319,320,321,322,85],"资产定价","公司金融","衍生品","金融科技","创新金融和普惠金融","content:members:staff:xiuping-hua.zh-CN.md",{"_path":325,"title":72,"name":326,"role":74,"email":20,"image":327,"category":58,"interests":328,"order":330,"_id":331},"\u002Fmembers\u002Fstaff\u002Fying-weng","Ying Weng","assets\u002Fyingweng.png",[202,258,329],"IoT",4,"content:members:staff:ying-weng.md",{"_path":325,"title":82,"name":333,"role":83,"interests":334,"_id":337},"翁莹",[208,264,335,336],"物联网 IoT","无线网络安全与服务质量","content:members:staff:ying-weng.zh-CN.md",{"_path":339,"title":184,"name":340,"role":74,"email":20,"image":341,"category":58,"interests":342,"order":344,"_id":345},"\u002Fmembers\u002Fstaff\u002Fyuan-yao","Yuan Yao","assets\u002Fyuanyao.png",[343],"Autonomous Agents and Multi-Agent Systems",18,"content:members:staff:yuan-yao.md",{"_path":339,"title":192,"name":347,"role":83,"interests":348,"_id":350},"姚远",[349],"自主智能体与多智能体系统","content:members:staff:yuan-yao.zh-CN.md",{"_path":352,"title":184,"name":353,"role":105,"email":20,"image":354,"category":58,"interests":355,"order":357,"_id":358},"\u002Fmembers\u002Fstaff\u002Fzheng-lu","Zheng Lu","assets\u002F13.png",[356],"Computer Science",6,"content:members:staff:zheng-lu.md",{"_path":352,"title":192,"name":360,"role":114,"interests":361,"_id":363},"卢正",[362],"计算机科学","content:members:staff:zheng-lu.zh-CN.md",1782639530622]