SANER 2025
Tue 4 - Fri 7 March 2025 Montréal, Québec, Canada
Thu 6 Mar 2025 11:00 - 11:15 at L-1710 - Software Testing & Debugging Chair(s): Coen De Roover

Legacy software systems often lack extensive testing, but are assumed to behave correctly after years of bug fixes and stable operation. Migrating or modernizing these systems is challenging because there is little support for preventing regressions. Test carving addresses this problem by generating unit tests based on the current behavior of the system, treating it as an implicit oracle. In this paper, we present TESTGEN, a multi-language tool that generates unit tests by carving them from execution traces. TESTGEN processes method calls, including their receivers, arguments, and results, to recreate these invocations as unit tests. Its model-based approach allows it to support multiple languages. We detail how it can be extended to handle additional languages. TESTGEN aims to generate tests that are human-readable and maintainable over time. To achieve this, it reconstructs values as source code rather than relying on deserialization. We evaluate TESTGEN by generating tests for both Java and Pharo applications.

Thu 6 Mar

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

11:00 - 12:30
Software Testing & DebuggingResearch Papers at L-1710
Chair(s): Coen De Roover Vrije Universiteit Brussel
11:00
15m
Talk
A Multi-Language Tool for Generating Unit Tests from Execution Traces
Research Papers
Gabriel Darbord Inria, Nicolas Anquetil University of Lille, Lille, France, Anne Etien Université de Lille, CNRS, Inria, Centrale Lille, UMR 9189 –CRIStAL, Benoit Verhaeghe Berger-Levrault
11:15
15m
Talk
CSE-WSS: Code Structure Enhancement Framework with Weighted Semantic Similarity for Changeset-based Bug Localization
Research Papers
Zhenghao Liu School of Software Engineering, South China University of Technology, Guangzhou, China, Li Yuan School of Software Engineering, South China University of Technology, Guangzhou, China, Jiexin Wang School of Software Engineering, South China University of Technology, Guangzhou, China, Yi Cai School of Software Engineering, South China University of Technology, Guangzhou, China
11:30
15m
Talk
From Bug Reports to Workarounds: The Real-World Impact of Compiler Bugs
Research Papers
Zhixing He , Hao Zhong Shanghai Jiao Tong University
11:45
15m
Talk
Optimizing Class Integration Testing with Criticality-Driven Test Order Generation
Research Papers
yanru ding China University of Mining and Technology, Yanmei ZHANG China University of Mining and Technology, Guan Yuan China University of Mining and Technology, Shujuan Jiang China University of Mining and Technology, Wei Dai China University of Mining and Technology, Luciano Baresi Politecnico di Milano
12:00
15m
Talk
Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study
Research Papers
Ahmed Zaki Imperial College London, Arindam Sharma Imperial College London, Cristian Cadar Imperial College London
:
:
:
: