ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
Tue 29 Oct 2024 13:30 - 13:45 at Gardenia - Testing 1 Chair(s): Jialun Cao

Mutation testing is widely used to measure the test adequacy of a project. Despite its popularity, mutation testing is time-consuming and extremely expensive. To mitigate this problem, researchers propose Predictive Mutation Testing (PMT). Existing PMT approaches build classification models based on statistical program features or source code of programs to predict mutation testing results. Previous statistical feature-based PMT models need expensive overhead to collect dynamic features and neglect the rich information inherent in code text. Previous text-based PMT models extract essential code elements as input and outperform the feature-based models. However, they encode code text in a plain way. Therefore, they cannot sensitively capture subtle differences in the mutants and they have difficulty in capturing the correlation between the mutants and the tests. To address these challenges, we propose a new model, SODA. SODA uses a new learning strategy, Mutational Semantic Learning, to make our model spot code mutation and its impact on test behaviour. In particular, we employ a new sampling strategy to reinforce the corresponding relationship between mutant and test by sampling same-mutant contrastive group. Then we employ contrastive learning to make our model capture subtle differences in the mutants. We conduct experiment to investigate the performance of SODA. The results demonstrate that both in the cross-project and cross-version scenarios, SODA achieves the state-of-the-art classification performance (improves upon baselines by 5.32%-114.92% in kill-F1 score, 0.04%-25.54% in survive-F1 score, 4.25%-60.43% in accuracy) and has the lowest mutation score error.

Tue 29 Oct

Displayed time zone: Pacific Time (US & Canada) change

13:30 - 15:00
Testing 1Research Papers / Industry Showcase at Gardenia
Chair(s): Jialun Cao Hong Kong University of Science and Technology
13:30
15m
Talk
Spotting Code Mutation for Predictive Mutation Testing
Research Papers
Yifan Zhao Peking University, Yizhou Chen Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Qingyuan Liang Peking University, Guoqing Wang Peking University, Dan Hao Peking University
13:45
15m
Talk
Efficient Detection of Test Interference in C Projects
Research Papers
Florian Eder LMU Munich, Stefan Winter Ulm University and LMU Munich
14:00
15m
Talk
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
Research Papers
Congying Xu The Hong Kong University of Science and Technology, China, Songqiang Chen The Hong Kong University of Science and Technology, Jiarong Wu The Hong Kong University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology, Valerio Terragni University of Auckland, Hengcheng Zhu The Hong Kong University of Science and Technology, Jialun Cao Hong Kong University of Science and Technology
14:15
15m
Talk
Approximation-guided Fairness Testing through Discriminatory Space Analysis
Research Papers
Zhenjiang Zhao Graduate School of Informatics and Engineering, University of Electro-Communications, Tokyo, Japan, Takahisa Toda The University of Electro-Communications, Takashi Kitamura
14:30
15m
Talk
Integrating Mutation Testing into Developer Workflow: An Industrial Case Study
Industry Showcase
Stefan Alexander van Heijningen Chalmers and University of Gothenburg, Theo Wiik Chalmers and University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Gregory Gay Chalmers | University of Gothenburg, Kim Viggedal Zenseact, David Friberg Zenseact
14:45
15m
Talk
Test Case Generation for Simulink Models using Model Fuzzing and State Solving
Research Papers
Zhuo Su KLISS, BNRist, School of Software, Tsinghua University, Zehong Yu KLISS, BNRist, School of Software, Tsinghua University, Dongyan Wang Information Technology Center, Renmin University of China, Wanli Chang College of Computer Science and Electronic Engineering, Hunan University, Bin Gu Beijing Institute of Control Engineering, Yu Jiang Tsinghua University