ICST 2026
Mon 18 - Fri 22 May 2026 Daejeon, South Korea
Mon 18 May 2026 12:07 - 12:30 at Room 103 - Session II Chair(s): Sarmad Bashir, Ibéria Medeiros

AI assistants can increasingly generate and evolve test cases. The challenge is no longer merely to produce them, but also to help engineers understand why a generated artefact exists and what supports it. Existing work has focused on classifying testing techniques, linking requirements to tests and structuring system assurance arguments, but it does not explicitly represent the argumentation behind individual test design decisions. We propose a conceptual taxonomy and a structured template for AI-assisted test generation that characterizes a test case by its test goal, claim, reason, and evidence. The taxonomy is intended for both constructive use during test design and retrospective use during review, to assess the quality of the attached argument rather than the plausibility or objective value of the generated test cases.

Mon 18 May

Displayed time zone: Seoul change

11:00 - 12:30
Session IIITEQS at Room 103
Chair(s): Sarmad Bashir RISE Research Institutes of Sweden, Ibéria Medeiros LaSIGE, Faculdade de Ciências da Universidade de Lisboa
11:00
22m
Talk
Verifying an Elevator Scheduling Control System
ITEQS
A: HUAN ZHANG Maynooth university, A: Haoyang Lu Maynooth University, Long Cheng North China Electric Power University, A: Hao Wu Maynooth University
11:22
22m
Talk
Efficient Software Security Evaluation: A Human-in-the-Loop ApproachBest Paper
ITEQS
A: Christian Banse Fraunhofer AISEC, A: Immanuel Kunz Fraunhofer AISEC, A: Alexander Küchler Fraunhofer AISEC, A: Shala Leutrim Fraunhofer AISEC, A: Konrad Weiss , A: Maximilian Kaul Fraunhofer AISEC
11:45
22m
Talk
SafeBound: A Modular Toolchain for End-to-End Safety Evaluation of ADS
ITEQS
A: Fauzia Khan University of Tartu, Estonia, A: Ali Gullu University of Tartu, A: Hina Anwar University of Tartu, A: Dietmar Pfahl University of Tartu
12:07
22m
Talk
Test Design and Review Argumentation in AI-Assisted Test Generation
ITEQS
A: Eduard Paul Enoiu Malardalen University, A: Robert Feldt Chalmers | University of Gothenburg