Internetware 2025
Fri 20 - Sun 22 June 2025 Trondheim, Norway
co-located with FSE 2025
Fri 20 Jun 2025 17:15 - 17:30 at Cosmos 3A - Session3: Software Testing and Quality Assurance Chair(s): Yanjie Zhao

Due to the rapid development of deep neural networks (DNNs), ensuring their quality has become increasingly important. However, the test oracle problem poses an obstacle to DNN testing because of the massive unlabeled data. Metamorphic Testing (MT) has proven effective in alleviating the test oracle problem, and many efforts have been made to improve the cost-effectiveness of MT for DNNs. Some approaches focus on selecting good metamorphic relations (MRs), while others target the selection of suspicious source test cases. Since follow-up test cases are generated by combining source test cases with MRs, selecting effective pairs of source test cases and MRs is also quite essential and beneficial for MT. In this paper, we propose CMPS, a multi-objective black-box approach for metamorphic test case pair selection. Considering both uncertainty and diversity, CMPS aims to select pairs that are more likely to trigger failures and detect unique faults in the model. It evaluates uncertainty based on model outputs and assesses diversity through clustering. Furthermore, CMPS can adaptively optimize the selection process based on feedback from the execution results of the selected pairs. We conduct extensive experiments on three datasets and five DNN models to evaluate CMPS’s performance. The experimental results demonstrate that CMPS significantly outperforms baseline approaches in both failure triggering and fault detection.

Fri 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Session3: Software Testing and Quality AssuranceResearch Track / Tool Demonstration Track / New Idea Track at Cosmos 3A
Chair(s): Yanjie Zhao Huazhong University of Science and Technology
16:00
15m
Talk
SRLRF: Fine-Grained Root Cause Analysis and Prediction for Compiler Optimization Defects
Research Track
Han Luo Nanjing University of Aeronautics and Astronautics, Yixuan Tang Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Xuanyan Zhu Nanjing University of Aeronautics and Astronautics, Jiayi Li Nanjing University of Aeronautics and Astronautics, Weiqin Zou Nanjing University of Aeronautics and Astronautics, Jiaqi Liu National Key Laborarory on Test Physics & Numerical Mathematics
16:15
15m
Talk
Revisit the Intuition of Mutation-Based Fault Localization in Real-world Programs
Research Track
Chenliang Xing Wuhan University, Gong Chen Wuhan University, Qi Xin Wuhan University, Xiaoyuan Xie Wuhan University
Media Attached
16:30
15m
Talk
Emerging Compiler Testing Based on Test Case Reuse
Research Track
Kelin Zhu School of Intelligent Software and Engineering, Nanjing University, Suzhou 215163, China, Yu Wang Nanjing University, Linzhang Wang State Key Laboratory for Novel Software Technology (Nanjing University, Nanjing 210023, China, Xuandong Li Nanjing University
16:45
10m
Talk
UITrans: Seamless UI Translation from Android to HarmonyOSBest Tool Demo Award
Tool Demonstration Track
Lina Gong Nanjing University of Aeronautics and Astronautic, Chen Wang Nanjing University of Aeronautics and Astronautics, Di Cui Xidian University, Yujun Huang Nanjing University of Aeronautics and Astronautics, Mingqiang Wei Nanjing University of Aeronautics and Astronautics
17:05
10m
Talk
XR4PD: Augmented Reality for Visualising Problem Diagrams in Requirements Analysis
New Idea Track
Yang Hua Guangxi Normal University, Hongbin Xiao Guangxi Key Lab of Multi-Source Information Mining and Securit(Guangxi Normal University), Wenhao Wang Guangxi Normal University, Zhi Li Guangxi Normal University
17:15
15m
Talk
Cluster-Based Multi-Objective Metamorphic Test Case Pair Selection for Deep Neural Networks
Research Track
Jingling Wang Nanjing University, Shuwei Qiu Nanjing University, Peng Wang Nanjing University, Jiyuan Song Nanjing University, Huayao Wu Nanjing University, Xintao Niu Nanjing University, Changhai Nie Nanjing University
Pre-print Media Attached

Information for Participants
Fri 20 Jun 2025 16:00 - 17:30 at Cosmos 3A - Session3: Software Testing and Quality Assurance Chair(s): Yanjie Zhao
Info for room Cosmos 3A:

Cosmos 3A is the first room in the Cosmos 3 wing.

When facing the main Cosmos Hall, access to the Cosmos 3 wing is on the left, close to the stairs. The area is accessed through a large door with the number “3”, which will stay open during the event.