ICSE 2025 (series) / AST 2025 (series) /
AST 2025 Program
This is the AST 2025 program - see the full program for ICSE 2025 and all affiliated events.
Filter Program
Dates
Sun 27 Apr 2025
Mon 28 Apr 2025
Tue 29 Apr 2025
Wed 30 Apr 2025
Thu 1 May 2025
Fri 2 May 2025
Sat 3 May 2025
Rooms
211
Canada Hall 3 plus Foyer
Tracks
AST
ICSE Catering
Badges
Nothing to filter
Your Program
Nothing to filter
This program is tentative and subject to change.
Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change
Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mCoffee break | Sunday Morning Break ICSE Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Sunday Lunch ICSE Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Sunday Afternoon Break ICSE Catering | ||
Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change
Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | |||
09:00 90mKeynote | Personalized Fuzzing AST 2025 Andreas Zeller CISPA Helmholtz Center for Information Security | ||
10:30 - 11:00 | |||
10:30 30mBreak | Monday Morning Break ICSE Catering | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | Acceptance Test Generation with Large Language Models: An Industrial Case Study AST 2025 Margarida Ferreira University of Porto and Critical TechWorks, Luís Viegas University of Porto and Critical TechWorks, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Bruno Lima Faculty of Engineering of the University of Porto & LIACC | ||
11:30 30mFull-paper | AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model AST 2025 Severin Primbs University of Passau, Benedikt Fein University of Passau, Gordon Fraser University of Passau Pre-print | ||
12:00 30mFull-paper | Simulink Mutation Testing using CodeBERT AST 2025 Jingfan Zhang University of Ottawa, Delaram Ghobari University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Shiva Nejati University of Ottawa Pre-print | ||
12:30 - 14:00 | |||
12:30 90mLunch | Monday Lunch ICSE Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Monday Afternoon Break ICSE Catering | ||
16:00 - 17:30 | |||
16:00 30mFull-paper | Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic AST 2025 Clinton Cao Delft University of Technology, Annibale Panichella Delft University of Technology, Sicco Verwer TU Delft Pre-print | ||
16:30 30mFull-paper | Automated Test Generation for Integration Testing AST 2025 Elson Kurian University of Milano Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca, Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano - Bicocca | ||
17:00 30mFull-paper | Automated Test Generation from Program Documentation Encoded in Code Comments AST 2025 Giovanni Denaro University of Milano - Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca | ||
Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change
Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Tuesday Morning Break ICSE Catering | ||
11:00 - 12:30 | |||
11:00 22mFull-paper | An Adaptive Testing Approach Based on Field Data AST 2025 Samira Santos da Silva Gran Sasso Science Institute (GSSI), Ricardo Caldas Gran Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Antonia Bertolino National Research Council, Italy | ||
11:22 22mFull-paper | Exceptional Behaviors: How Frequently Are They Tested? AST 2025 Pre-print | ||
11:45 22mFull-paper | Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning AST 2025 Kush Jain Carnegie Mellon University, Kiran Kate IBM Research, Jason Tsay IBM Research, Claire Le Goues Carnegie Mellon University, Martin Hirzel IBM Research | ||
12:07 22mFull-paper | What Types of Automated Tests do Developers Write? AST 2025 Marko Ivanković University of Passau, Luka Rimanić Google Switzerland GmbH, Ivan Budiselic Google, Goran Petrovic Google; Universität Passau, Gordon Fraser University of Passau, René Just University of Washington | ||
12:30 - 14:00 | |||
12:30 90mLunch | Tuesday Lunch ICSE Catering | ||
14:00 - 15:30 | |||
14:00 30mFull-paper | Adaptive Probabilistic Operational Testing for Large Language Models Evaluation AST 2025 Ali Asgari TU Delft, Antonio Guerriero Università di Napoli Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II | ||
14:30 30mFull-paper | ASTRAL: Automated Safety Testing of Large Language Models AST 2025 Miriam Ugarte Mondragon University, Pablo Valle Mondragon University, José Antonio Parejo Maestre University of Seville, Sergio Segura University of Seville, Aitor Arrieta Mondragon University Pre-print | ||
15:00 30mFull-paper | A Taxonomy of Failures in Tool-Augmented LLMs AST 2025 | ||
15:30 - 16:00 | |||
15:30 30mBreak | Tuesday Afternoon Break ICSE Catering | ||
16:00 - 17:30 | |||
16:00 30mFull-paper | A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification AST 2025 Norbert Tihanyi Technology Innovation Institute, Yiannis Charalambous The University of Manchester, Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAE, Mohamed Amine Ferrag Guelma University, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil | ||
16:30 30mFull-paper | Bringing Light into the Darkness: Leveraging Hidden Markov Models for Blackbox Fuzzing AST 2025 Anne Borcherding Fraunhofer IOSB, Mark Giraud Fraunhofer IOSB, Johannes Häring Karlsruhe Institute of Technology | ||
17:00 30mFull-paper | Incorporating Domain Knowledge into GNNs for Advanced Vulnerability Detection in Java AST 2025 ROSMAEL ZIDANE LEKEUFACK FOULEFACK Information Engineering and Computer Science (DISI)/University of Trento (UNITN), Alessandro Marchetto Università di Trento | ||
Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change
Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Wednesday Morning Break ICSE Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Wednesday Lunch ICSE Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Wednesday Afternoon Break ICSE Catering | ||
Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Thursday Morning Break ICSE Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Thursday Lunch ICSE Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Thursday Afternoon Break ICSE Catering | ||
Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change
Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Friday Morning Break ICSE Catering | ||
12:30 - 14:00 | |||
13:15 45mLunch | Friday Lunch ICSE Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Friday Afternoon Break ICSE Catering | ||
Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change
Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Saturday Morning Break ICSE Catering | ||
12:30 - 14:00 | |||
13:15 45mLunch | Saturday Lunch ICSE Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Saturday Afternoon Break ICSE Catering | ||