ICST 2025
Mon 31 March - Fri 4 April 2025 Naples, Italy
Wed 2 Apr 2025 14:15 - 14:30 at Aula Magna (AM) - Test Oracle Chair(s): Mike Papadakis

Code equivalence analysis is a critical problem in software engineering. In this paper, we focus on assessing if two code segments exhibit diverging behaviors. While symbolic analysis, exemplified by techniques like differential symbolic execution and impacted summaries, has been employed for equivalence analysis, it faces challenges due to limitations of symbolic execution, producing inconclusive results in many cases. To mitigate these limitations, we introduce a hybrid approach that integrates symbolic analysis with differential fuzzing. Differential fuzzing, although unable to prove equivalence like symbolic analysis, is valuable in identifying non-equivalent instances quickly. Our proposed hybrid approach leverages the strengths of symbolic reasoning and fuzzing within a single workflow for more effective analysis. The contributions of this paper include the introduction of a hybrid equivalence/non-equivalence testing approach, multiple heuristics for hybrid analysis, and differential fuzzing. Our experimental evaluation on multiple benchmarks including EQBench and ARDiff, demonstrates that our proposed hybrid techniques can prove equivalence/non-equivalence for 28.52% more cases taking 43.21% less time on average compared to state-of-the-art symbolic execution based techniques.

Wed 2 Apr

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

14:00 - 15:30
Test OracleJournal-First Papers / Research Papers / Industry at Aula Magna (AM)
Chair(s): Mike Papadakis University of Luxembourg
14:00
15m
Talk
Differential Testing of Concurrent Classes
Research Papers
Valerio Terragni University of Auckland, Shing-Chi Cheung Hong Kong University of Science and Technology
14:15
15m
Talk
Hybrid Equivalence/Non-Equivalence Testing
Research Papers
Laboni Sarker University of California at Santa Barbara, Tevfik Bultan University of California at Santa Barbara
14:30
15m
Talk
Metamorphic Testing for Pose Estimation Systems
Research Papers
Matias Duran Trinity College Dublin, Ireland, Thomas Laurent Lero@Trinity College Dublin, Ellen Rushe School of Computing Dublin City University, Anthony Ventresque Trinity College Dublin & Lero, Ireland
14:45
15m
Talk
Mutation-Guided Metamorphic Testing of Optimality in AI Planning
Journal-First Papers
Quentin Mazouni Simula Research Laboratory, Arnaud Gotlieb Simula Research Laboratory, Helge Spieker Simula Research Laboratory, Mathieu Acher University of Rennes - Inria - CNRS - IRISA, Benoit Combemale University of Rennes, Inria, CNRS, IRISA
Link to publication DOI
15:00
15m
Talk
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
Industry
Erblin Isaku Simula Research Laboratory, and University of Oslo (UiO), Christoph Laaber Simula Research Laboratory, Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Thomas Schwitalla Cancer Registry of Norway, Jan F. Nygård Cancer Registry of Norway
:
:
:
: