SANER 2025
Tue 4 - Fri 7 March 2025 Montréal, Québec, Canada
Fri 7 Mar 2025 16:00 - 16:15 at L-1720 - Software Testing & Debugging Chair(s): Gilberto Recupito

WebAssembly (Wasm) is a binary instruction format designed as a portable compilation target, which has been widely used on both the web and server sides in recent years. As high performance is a critical design goal of Wasm, it is essential to conduct performance testing for Wasm runtimes. However, existing research on Wasm runtime performance testing still suffers from insufficient high-quality test programs. To solve this problem, we propose a novel test program generation approach WarpGen. It first extracts code snippets from historical issue-triggering test programs as initial operators, then inserts an operator into a seed program to synthesize a new test program. To verify the quality of generated programs, we propose an indicator called distinguishability, which refers to the ability of a test program to distinguish abnormal performance of specific Wasm runtimes. We apply WarpGen for performance testing on four Wasm runtimes and verify its effectiveness compared with baseline approaches. In particular, WarpGen has identified seven new performance issues in three Wasm runtimes.

Fri 7 Mar

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

15:30 - 17:00
Software Testing & DebuggingResearch Papers / Early Research Achievement (ERA) Track / Registered Report Track at L-1720
Chair(s): Gilberto Recupito University of Salerno
15:30
15m
Talk
Data Preparation for Fairness-Performance Trade-Offs: A Practitioner-Friendly Alternative?
Registered Report Track
Gianmario Voria University of Salerno, Rebecca Di Matteo , Giammaria Giordano University of Salerno, Gemma Catolino University of Salerno, Fabio Palomba University of Salerno
15:45
15m
Talk
TRACETS4J: A Traceable Unit Test Generation Dataset
Research Papers
Xuancheng Jin , Zhuang Liu Zhejiang University, Junwei Zhang Zhejiang University, Xing Hu Zhejiang University, Xin Xia Huawei
16:00
15m
Talk
Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing
Research Papers
Shuyao Jiang The Chinese University of Hong Kong, Ruiying Zeng Fudan University, Yangfan Zhou Fudan University, Michael Lyu The Chinese University of Hong Kong
Pre-print
16:15
7m
Talk
Quantum Testing in the Wild: A Case Study with Qiskit-Algorithms
Early Research Achievement (ERA) Track
Neilson Carlos Leite Ramalho Universidade de São Paulo, Erico Augusto Da Silva Universidade de São Paulo, Higor Amario de Souza São Paulo State University, Marcos Lordello Chaim
:
:
:
: