ICTSS 2025
Wed 17 - Fri 19 September 2025 Limassol, Cyprus
co-located with ECSA 2025
Fri 19 Sep 2025 14:00 - 14:30 at Atrium C - LLMs and Agent-Based Testing Chair(s): Jørn Eirik Betten

Combinatorial testing is a model-based testing methodology that offers mathematical guarantees about the coverage of the input space of a system under test. At the same time, it aims to minimize the number of required test cases, leading to faster execution of test sets. However, input parameter models are often not available in real-world settings; they require significant investment to create and maintain. For proprietary protocols, specifications are often not freely available at all. It seems prudent to enable practitioners to infer input parameter models from the system under test without relying on the availability of source code or detailed documentation. This work aims to allow testers, developers, and researchers to reverse engineer the format of unknown network protocols based on traffic traces, generate input parameter models suitable for use in combinatorial testing from this inferred specification, and translate abstract test sets represented by covering arrays to concrete messages that can subsequently be transmitted over the network. It is the first work to investigate the combination of protocol reverse engineering with automated input parameter modeling for combinatorial testing.

Fri 19 Sep

Displayed time zone: Athens change

14:00 - 15:30
LLMs and Agent-Based TestingGeneral Track at Atrium C
Chair(s): Jørn Eirik Betten Simula Research Laboratory; Oslo Metropolitan University
14:00
30m
Talk
Reverse Engineering for Input Modeling: Input Parameter Model Inference from Network Traces
General Track
Manuel Leithner SBA Research, Salzburg University of Applied Sciences, Dimitris E. Simos Salzburg University of Applied Sciences, Paris LodronUniversity of Salzburg
14:30
30m
Talk
Automated Exploration of Conversational Agents for the Synthesis of Testing Profiles
General Track
Iván Sotillo del Horno Universidad Autónoma de Madrid, Alejandro del Pozzo Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
Pre-print Media Attached
15:00
30m
Talk
Extracting Threats from System Descriptions with LLMs - Comparing One and Two Agents Strategies
General Track
Leonid Zelenskiy Innopolis University, Andrey Sadovykh Softeam