Revisit the Intuition of Mutation-Based Fault Localization in Real-world Programs
Mutation-based fault localization (MBFL) is an automated fault localization method that has been extensively studied in recent years. The intuition behind MBFL is based on the assumption that mutation operations can correct faults in a program. However, this assumption has only been experimented and validated on simulated datasets, and whether it truly holds in the real world has never been investigated. Fault types in simulated datasets are simple and differ significantly from the complex and diverse faults found in realworld programs. Therefore, to investigate whether MBFL works in the real world, it is necessary to validate its intuition in the real world. The goal of this study is to analyze whether the intuition of MBFL still holds in the real world. We quantified the MBFL intuition by establishing an algorithm, which eliminated the interference of factors unrelated to MBFL itself, allowing us to directly validate the intuition of MBFL. Based on this algorithm, we conducted extensive experiments on both real-world programs and programs in simulated datasets. The results revealed an interesting trend: due to the complexity of faults in real-world programs compared to those in simulated datasets, MBFL’s intuition probably cannot hold in the real world. This indicates that MBFL’s intuition is difficult to hold in the real world. Consequently, we focused on analyzing the real-world faulty versions and summarized a set of mutation operators that perform better in the real world by studying the types and effects of each mutant, providing guidance for the application of MBFL.
Fri 20 JunDisplayed 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 10mTalk | 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 10mTalk | 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 15mTalk | 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 | ||
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.