ICST 2026
Mon 18 - Fri 22 May 2026 Daejeon, South Korea
Tue 19 May 2026 14:15 - 14:30 at Room 105 - Tool and Data Showcase 1 Chair(s): Jinhan Kim

Software Reliability Engineering provides strategies for monitoring applications and detecting defects even in production environments. The Tricorder methodology addresses this challenge by generating resource-consumption profiles at runtime of a system under test and applying the DAMICORE unsupervised clustering algorithm to detect anomalies between a reference version and a new version. Although Tricorder has been validated in previous studies across multiple application domains, its practical use has been limited to ad hoc Python scripts, which require considerable manual effort to adapt to different scenarios. This paper presents TriAD (Tricorder-based Anomaly Detection), a reliability tool that encapsulates the Tricorder methodology within a web application with persistent storage, developed in accordance with the RefTEST reference architecture. An initial experiment using the JavaSort application demonstrates that TriAD achieves an 85% anomaly detection rate while correctly classifying 75% of non-defective runs. In addition, the tool reduces execution time by 7.5% for monitoring and 40% for analysis compared to the original script-based implementation. A demo video of the TriAD tool is available at: https://youtu.be/OOGH4Y-2db0.

Tue 19 May

Displayed time zone: Seoul change

14:00 - 15:30
Tool and Data Showcase 1Testing Tools and Data Showcase at Room 105
Chair(s): Jinhan Kim Università della Svizzera italiana
14:00
15m
Talk
Constraint-Driven Fuzzing at Scale with FANDANGO
Testing Tools and Data Showcase
José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Alexander Liggesmeyer CISPA Helmholtz Center for Information Security, Valentin Huber CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
DOI Pre-print
14:15
15m
Talk
TriAD: a Tricorder-based tool for detecting anomalies in software
Testing Tools and Data Showcase
Caio Herrera University of Sao Paulo (USP), Simone do Rocio Senger de Souza ICMC/USP, Ricardo Santos Federal University of Mato Grosso do Sul (UFMS), Paulo Sergio Lopes de Souza ICMC/USP
14:30
15m
Talk
RIVER: An eBPF-based Runtime Verification Platform for Cyber-Physical Systems
Testing Tools and Data Showcase
Dario Facchinetti Università degli Studi di Bergamo, Matthew Rossi Università degli Studi di Bergamo, Zhenya Zhang Kyushu University, Stefano Paraboschi Università degli Studi di Bergamo, Paolo Arcaini National Institute of Informatics
14:45
15m
Talk
BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications
Testing Tools and Data Showcase
Fitash Ul Haq Luxembourg Institute of Science and Technology, Jordi Cabot Luxembourg Institute of Science and Technology
15:00
15m
Talk
Observability and Fault Injection for LLM-Based Multi-Agent Systems in Software Engineering
Testing Tools and Data Showcase
Zahra Seyedghorban Delft University of Technology, Egor Klimov JetBrains Research, Arie van Deursen TU Delft, Annibale Panichella Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology
15:15
15m
Talk
mutest-rs: Flexible, Efficient Mutation Analysis Tool for Rust Programs, using Extensive Static Analysis
Testing Tools and Data Showcase
Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield