ICST 2025
Mon 31 March - Fri 4 April 2025 Naples, Italy

This program is tentative and subject to change.

Wed 2 Apr 2025 15:15 - 15:30 at Room A - Insights from Industry Chair(s): Tim A. D. Henderson

This program is tentative and subject to change.

Wed 2 Apr

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

14:00 - 15:30
Insights from IndustryIndustry at Room A
Chair(s): Tim A. D. Henderson Google
14:00
15m
Talk
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
Industry
Jan Corazza TU Dortmund University, Ivan Gavran Informal Systems, Gabriela Moreira Informal Systems, Danel Neider TU Dortmund University
14:15
15m
Talk
Evaluation of the Choice of LLM in a Multi-agent solution for GUI-test Generation
Industry
Stevan Tomic Blekinge Institute of Technology, Emil Alégroth Blekinge Institute of Technology, Maycel Isaac Synteda
14:30
15m
Talk
Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software
Industry
Chengjie Lu Simula Research Laboratory and University of Oslo, Jiahui Wu Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Mikkel Labori Olsen Danish Technological Institute
14:45
15m
Talk
FuzzE, Development of a Fuzzing Approach for Odoo's Tours Integration Testing Plateform
Industry
Gabriel Benoit University of Namur, François Georis Odoo S.A., Géry Debongnie Odoo S.A., Benoît Vanderose University of Namur, Xavier Devroey University of Namur
Pre-print
15:00
15m
Talk
Early V&V in Knowledge-Centric Systems Engineering: Advances and Benefits in Practice
Industry
Jose Luis de la Vara Universidad de Castilla - La Mancha, Juan Manuel Morote Independent Researcher, Clara Ayora Universidad de Castilla-La Mancha, Giovanni Giachetti Universidad Andrés Bello Chile, Luis Alonso The REUSE Company, Roy Mendieta The REUSE Company, David Muñoz The REUSE Company, Ricardo Ruiz Nolasco RGB Medical Devices, Antonio González RGB Medical Devices S.A.
15:15
15m
Talk
Practical Pipeline-Aware Regression Test Optimization for Continuous Integration
Industry
Daniel Schwendner BMW Group, Maximilian Jungwirth BMW Group, University of Passau, Martin Gruber BMW Group, Martin Knoche BMW Group, Daniel Merget BMW Group, Gordon Fraser University of Passau
:
:
:
: