| 1 |
Mateen Abbasi, Petri Ihantola, Tommi Mikkonen and Niko Mäkitalo |
Validating Multi-Model AI-Generated Acceptance Criteria in Requirements Engineering |
| 2 |
Maryam Assmar, Alain Giorgetti, Meriem Ouederni and Sylvie Trouilhet |
Challenges for Engagement between Software Engineering and Artificial Intelligence |
| 3 |
Arshad Beg, Diarmuid O’Donoghue and Rosemary Monahan |
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics |
| 4 |
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini and Nico Pellegrinelli |
Formalizing and validating properties in Asmeta with Large Language Models |
| 5 |
Jessy Colonval, Fabrice Bouquet, Lefevre Louis, Antoine Perrotin, Éléa Jacquin and Frédéric Dadeau |
Automatic Generation of Executable Script from MBT Scenario |
| 6 |
Maxence Demougeot, Sylvie Trouilhet and Jean-Paul Arcangeli |
Adaptive Random Testing of Online Machine Learning Programs: Application to Opportunistic Software Composition |
| 7 |
Thomas Flinkow and Rosemary Monahan |
Machine Learning with Verifiable Guarantees |
| 8 |
Gabriela Gonzalez-Saez, Yves Ledru and Nicolas Hili |
Towards an Evaluation of LLM’s Prior Knowledge for Test Case Generation |
| 9 |
Li Huang, Ilgiz Mustafin, Alessandro Schena, Marco Piccioni, Bertrand Meyer and Reto Weber |
Do AI models help produce verified bug fixes? |
| 10 |
Muhammad Khalid and Manuel Oriol |
ReqFusion: A Multi-Provider Framework for Automated PEGS Analysis Across Software Domains |
| 11 |
Kalvin Thuan-Phong Khuu, Andrew Bovbel, Nirmal Chaudhari, Baptiste Lacroix, Richard Paige and Sebastien Mosser |
Lightweight Safety Modelling to Support the Validation of Machine Learning Pipelines |
| 12 |
Mahwish Kundi, Faraz Ahmad and Rosemary Monahan |
FrameLLM for Requirements Generation: A Framework for Reducing Prompt Dependency and Improving Requirement Clarity and Completeness |
| 13 |
Yves Ledru, Gabriela Gonzalez-Saez and Nicolas Hili |
Challenges of using LLMs for software testing (Position paper) |
| 14 |
Enrico Lipparini and Massimo Bartoletti |
Certified LLM-produced counterexamples for smart contract verification |
| 15 |
Tatiana Liakh, Polina Ovsiannikova and Bianca Wiesmayr |
Validating LLM-based Repair Agents for Distributed Control Software via Fault Injection and Formal Verification |
| 16 |
Tim Menzies and Kishan Ganguly |
From Verification to Herding: Exploiting Software’s Sparsity of Influence |
| 17 |
Maha Moujahed, Meriem Ouederni and Souheil El Alimi |
Verified Vibe Coding in Energy Management: Runtime STL Monitoring of Battery Dispatch Strategies |
| 18 |
Logan Murphy, Aren A. Babikian and Marsha Chechik |
Abductive Vibe Coding (Extended Abstract) |
| 19 |
Iulian Ober, Ileana Ober and Anca-Miruna Constantin |
AI-augmented MBSE: from vibe-modeling to assisted verification and validation |
| 20 |
Liam O’Reilly, Filippos Pantekis, Alma Rahat, Markus Roggenbach and Mukesh Tiwari |
An Empirical Study on Generating Proven-to-be-Correct Dafny Programs |
| 21 |
Cesare Pautasso |
On the Paradox of Generative Reuse |
| 22 |
Laura Plein, Alexi Turcotte, Arina Hallemans and Andreas Zeller |
Synthesizing Realistic Test Data without Breaking Privacy |
| 23 |
Armel Fedoung Sanou, Badr Youakim and Fabrice Mourlin |
Modeling and Analysis of Non-Deterministic Executions of LLM-Based Agents via Finite Automata |
| 24 |
Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré and Reiya Noguchi |
Requirement-Based Testing: Enhancing Reinforcement Learning with Game Theory |
| 25 |
Alessandro Schena, Ilgiz Mustafin and Julia Kotovich |
Large Language Models and Language Server Protocol: a match made in context |
| 26 |
Dorine Tabary, Éléa Jacquin, Fabrice Bouquet and Frédéric Dadeau |
Automated evaluation of test requirements generation with LLMs |
| 27 |
Leonel Gamvou Taklai, Jonathan Roy, Fehmi Jaafar and Sylvain Hallé |
Trustworthy Machine Learning Across the Lifecycle: A Synthesis of Current Methods |
| 28 |
Sol Zilberman and Betty Cheng |
Probabilistic Behavior Synthesis with Language Models for Autonomous Vehicle Testing |
| 29 |
Dmitrii Zorin |
Solver-Backed Traceable Consistency Checking of Index Methodologies: A Pilot Study |
| 30 |
Shirley Yu and Ruben Martins |
Diversifying to Verify: When Equivalent Programs Differ in Verifiability |