Keynotes
| Title | |
|---|---|
| Development of Infrastructure as Code: approaches, challenges and trends Keynote Speakers | |
| Quantifying the Software Performance of Architectural Decisions Keynote Speakers | |
| Software Architecture Doesn’t Matter Any More - Does It? Keynote Speakers |
About
Elisabetta Di Nitto
Polytechnic University of Milan, Italy
Title: Development of Infrastructure as Code: approaches, challenges and trends
Abstract: One of the main DevOps practices is the automation of resource provisioning and deployment of complex software. This automation is enabled by the explicit definition of Infrastructure-as-Code (IaC), i.e., a set of scripts, often written in different modelling languages, which defines the infrastructure to be provisioned and applications to be deployed. Adopting an IaC approach is not an easy task due to the large variety of scripting languages each specialized on a specific step of the DevOps process. To overcome this problem model-based approaches have been proposed to automatically derive IaC from design artifacts. More recently, the adoption of LLMs as tools to generate the needed scripts has been experimented. This talk will present the state of the art in IaC and will discuss the current evolution from IaC to Policy as Code (PaC).
Catia Trubiani
Gran Sasso Science Institute (GSSI), L'Aquila, Italy
Title: Quantifying the Software Performance of Architectural Decisions
Abstract: Understanding the impact of architectural decisions is indeed not trivial, even more so when considering non-functional properties, such as software performance, that are affected by external factors. For instance, the system response time may change due to multiple sources of uncertainty, such as heterogeneous workloads and fluctuations in the usage of available resources. This talk presents some methodologies to quantify software performance characteristics of different architectural decisions, so as to predict issues and avoid expensive repairs. To this end, (anti)patterns represent one viable source of knowledge to relate architectural elements and system performance, which allows to identify design decisions leading to poor performance. Recent results on emerging domains such as architecting federated learning systems will be presented, along with challenges and future research directions.
Bio: Catia Trubiani is an associate professor in computer science at the Gran Sasso Science Institute, L’Aquila, Italy. Her main research interests include the quantitative modelling and analysis of interacting heterogeneous distributed systems, with applications to emerging domains. In 2024 she received the "Ten Year Most Influential Regular Paper Award” by the Journal on Software and Systems Modeling (SoSyM), and the contributions of this awarded manuscript are part of her PhD thesis. Among various projects, she is scientific coordinator for the MUR-PRIN project DREAM (modular software Design to Reduce uncertainty in Ethics-based cyber-physicAl systeMs), under the Young Line action. More information is available at: https://cs.gssi.it/catia.trubiani/
Eoin Woods
Title: Software Architecture Doesn't Matter Any More - Does It?
Abstract: Contemporary software development presents a paradox: while architectural decisions have become increasingly abstracted from developers, their consequences have never been more significant. Modern software delivery stacks embody significant pre-made architectural choices, agile working emphasises adaptability over upfront design, and patterns like microservices can make detailed models redundant. AI-assisted code generation can further distance practitioners from architectural concerns, contributing to a situation where many practitioners may question the importance of software architecture.
This talk explores how software architecture relates to modern software delivery practice. By considering how we got here, I argue that software architecture remains not only relevant but increasingly critical, although its nature and application may need to evolve significantly from some of the fundamentals of historical approaches. This has significant implications for the focus of software architecture research and how we conduct it, in order to have significant industrial impact.
I will discuss what today's practitioners require from software architecture and why it is more essential than ever. I will also explore how we might align software architecture research with contemporary practitioner needs to maximise its contribution in an environment where architectural decisions need to be made quickly in the face of rapidly changing requirements.
Bio: Eoin Woods is an independent consultant in the fields of software architecture, green software and software engineering. He was formerly the CTO of Endava, where he was responsible for software engineering and capability development for over 10,000 delivery staff across the world. Prior to Endava he has developed databases, created security software and designed way too many systems to move money around. Outside his day job he is interested in software architecture, software security and sustainable (or "green") software. He is a regular conference speaker, has co-authored three books on software architecture and was the recipient of the 2018 Linda Northrup Award for Software Architecture, from the Software Engineering Institute at CMU. His web site is www.eoinwoods.info.
Wed 17 SepDisplayed time zone: Athens change
09:30 - 10:30 | Keynote Eoin WoodsKeynote Speakers at Phoenix Chair(s): Vasilios Andrikopoulos University of Groningen | ||
09:30 60mKeynote | Software Architecture Doesn’t Matter Any More - Does It? Keynote Speakers Eoin Woods Artechra | ||
10:30 - 11:00 | |||
11:00 - 12:30 | Opening + ICTSS KeynoteICTSS General Track at Atrium C Chair(s): George Angelos Papadopoulos University of Cyprus Opening Keynote speech by Bertrand Meyer Title: The Future of Verification in the age of AI | ||
14:00 - 15:30 | Metrics and Human-Centric Approaches to TestingICTSS General Track at Atrium C Chair(s): Nina Yevtushenko Ivannikov Institute for System Programming of the RussianAcademy of Sciences | ||
14:00 30mTalk | Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-outs in Timed Automata ICTSS General Track Laura Brandán Briones Universidad Nacional de Córdoba, Marcus Gerhold University of Twente, The Netherlands, Petra van den Bos University of Twente, The Netherlands, Marielle Stoelinga University of Twente and Radboud University, Nijmegen | ||
14:30 30mTalk | Enhancing Path Testing with Eye-Tracking: A Human-Centric Approach to Functional Software Testing ICTSS General Track Angelos Fotopoulos University of Patras, Fezo Metsi University of Patras, Michalis Xenos University of Patras | ||
15:00 30mTalk | New convex-based metamorphic relations and large-scale machine learning model evaluation ICTSS General Track Jessy Colonval Université Marie et Louis Pasteur, CNRS, institut FEMTO-ST(UMR 6174), F-25000, Fabrice Bouquet University of Bourgogne Franche-Comté | ||
16:00 - 17:40 | Automated Test Generation and AI-Driven TestingICTSS General Track at Atrium C Chair(s): Tolgahan Bardakci University of Antwerp and Flanders Make | ||
16:00 30mTalk | On the evaluation of test suites generated by large language models ICTSS General Track | ||
16:30 30mTalk | On the use of imbalanced datasets for learning-based vulnerability detection ICTSS General Track | ||
17:00 20mTalk | Tracing Vulnerability Propagation Across Open Source Software Ecosystems ICTSS General Track Jukka Ruohonen University of Southern Denmark, Qusai Ramadan The Maersk Mc-Kinney Moller Institute, University of Southern Denmark | ||
17:20 20mTalk | Localization Testing in Video Games using Text Recognition ICTSS General Track Guillermo Jimenez-Diaz Universidad Complutense de Madrid, Dewei Chen Universidad Complutense de Madrid | ||
Thu 18 SepDisplayed time zone: Athens change
09:30 - 10:30 | Keynote Catia TrubianiKeynote Speakers at Phoenix Chair(s): Cesare Pautasso Software Institute, Faculty of Informatics, USI Lugano | ||
09:30 60mKeynote | Quantifying the Software Performance of Architectural Decisions Keynote Speakers Catia Trubiani Gran Sasso Science Institute | ||
10:30 - 11:00 | |||
11:00 - 12:30 | Frameworks and Test AutomationICTSS General Track at Atrium C Chair(s): Petra van den Bos University of Twente, The Netherlands | ||
11:00 30mTalk | Introducing CreaTest: a framework for test case generation in itemis CREATE ICTSS General Track Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo, Nico Pellegrinelli University of Bergamo | ||
11:30 30mTalk | Distributed Critical Test Generation for Cyber-Physical Systems ICTSS General Track | ||
12:00 30mTalk | Automating Performance Testing in CI/CD - Tools Evaluation ICTSS General Track | ||
14:00 - 15:30 | Testing in Complex and Safety-Critical SystemsICTSS General Track at Atrium C Chair(s): Franz Wotawa Graz University of Technology | ||
14:00 30mTalk | Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking ICTSS General Track Jean-Baptiste Horel INRIA, Philippe Ledent AEDVICES Consulting, Radu Mateescu INRIA, Wendelin Serwe INRIA, Aline Uwimbabazi INRIA | ||
14:30 30mTalk | Passive Testing of Vehicular Embedded Systems: An Industrial Case Study with T-EARS and Napkin Studio ICTSS General Track Aleksandra Nicaj Malardalen University, Daniel Flemström RISE, Eduard P. Enoiu Malardalen University, Wasif Afzal Mälardalen University | ||
15:00 30mTalk | False Positive Detection in Instrumentation and Control System Testing ICTSS General Track | ||
16:00 - 17:40 | Foundations and Advanced Testing TechniquesICTSS General Track at Atrium C Chair(s): Bertrand Meyer Constructor Institute Schaffhausen | ||
16:00 25mTalk | A Time Series Analysis of Assertions in the Linux Kernel ICTSS General Track Jukka Ruohonen University of Southern Denmark | ||
16:25 25mTalk | Loop unrolling: formal definition and application to testing ICTSS General Track Li Huang Constructor Institute Schaffhausen, Reto Weber PhD Student of Constructor Institute of Technology, Bertrand Meyer Constructor Institute Schaffhausen | ||
16:50 25mTalk | On using Homing Sequences instead of Distinguishing in FSM-based Testing ICTSS General Track Natalia Kushik SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Nina Yevtushenko Ivannikov Institute for System Programming of the RussianAcademy of Sciences | ||
17:15 25mTalk | Testability Indicators for Refactoring ICTSS General Track Tom Holvoet imec-DistriNet KU Leuven | ||
Fri 19 SepDisplayed time zone: Athens change
09:30 - 10:30 | Keynote Elisabetta Di NittoKeynote Speakers at Phoenix Chair(s): Jacopo Soldani University of Pisa, Italy | ||
09:30 60mKeynote | Development of Infrastructure as Code: approaches, challenges and trends Keynote Speakers Elisabetta Di Nitto Politecnico di Milano | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | Reinforcement Learning and Generative TestingICTSS General Track at Atrium C Chair(s): Li Huang Constructor Institute Schaffhausen | ||
11:00 30mTalk | Reusable Test Suites for Reinforcement Learning ICTSS General Track Jørn Eirik Betten Simula Research Laboratory; Oslo Metropolitan University, Quentin Mazouni Simula Research Laboratory, Dennis Gross Simula Research Laboratory, Pedro Lind Oslo Metropolitan University; School of Economics,Innovation and Technology, Kristiania University of AppliedSciences, Helge Spieker Simula Research Laboratory | ||
11:30 30mTalk | Test Generation for Deep Reinforcement Learning Using LRP-Guided Mutation of Classified Configurations ICTSS General Track Brice Tchuenkam Université du Québec en Outaouais, Omer Nguena Timo Université du Québec en Outaouais | ||
12:00 30mTalk | Test Amplification for REST APIs via Single and Multi-Agent LLM Systems ICTSS General Track Robbe Nooyens University of Antwerp, Tolgahan Bardakci University of Antwerp and Flanders Make, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw | ||
14:00 - 15:30 | LLMs and Agent-Based TestingICTSS General Track at Atrium C Chair(s): Jørn Eirik Betten Simula Research Laboratory; Oslo Metropolitan University | ||
14:00 30mTalk | Reverse Engineering for Input Modeling: Input Parameter Model Inference from Network Traces ICTSS 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 30mTalk | Automated Exploration of Conversational Agents for the Synthesis of Testing Profiles ICTSS 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 30mTalk | Extracting Threats from System Descriptions with LLMs - Comparing One and Two Agents Strategies ICTSS General Track | ||
15:30 - 15:40 | |||