ISSTA 2025
Wed 25 - Sat 28 June 2025 Trondheim, Norway
VenueClarion Hotel Trondheim
Room nameAndromeda
Floor0
Capacity100
Room InformationNo extra information available

Information for Participants
Info for room Andromeda:

Andromeda is located close to the restaurant and the bar, at the end of the corridor on the side of the bar.

From the registration desk, go towards the restaurant, turn left towards the bar, walk until the end of the corridor.

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 25 Jun

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

11:00 - 12:30
Doctoral SymposiumDoctoral Symposium at Andromeda
11:00
15m
Day opening
Opening Remarks
Doctoral Symposium
C: Andreas Zeller CISPA Helmholtz Center for Information Security, C: Darko Marinov University of Illinois at Urbana-Champaign, C: Jie M. Zhang King's College London, C: Federica Sarro University College London
11:15
45m
Keynote
Research and Impact in Academia and Industry
Doctoral Symposium
Mark Harman Meta Platforms, Inc. and UCL
12:00
15m
Talk
Job Talk #1: Search-based Software Testing Driven by Domain Knowledge
Doctoral Symposium
A: Federico Formica McMaster University
12:15
15m
Talk
Job Talk #2: Regression Fault Detection and Mitigation in the Evolution of Deep Learning Systems
Doctoral Symposium
A: Hanmo You Tianjin University
14:00 - 15:30
Doctoral SymposiumDoctoral Symposium at Andromeda

Lightning talks and poster session

14:00
90m
Doctoral symposium paper
On the Brittleness of Legacy Web UI Testing: A Pragmatic Perspective
Doctoral Symposium
Haonan Zhang University of Waterloo
14:00
90m
Doctoral symposium paper
Fine-Grained Developer Reification
Doctoral Symposium
A: Stefano Campanella REVEAL @ Software Institute - USI, Lugano, Switzerland
14:00
90m
Doctoral symposium paper
When Performance Failure Occurs in Low-Latency Storage Systems: Observation, Prediction, and Solutions
Doctoral Symposium
A: Linxiao Bai National University of Defense Technology
14:00
90m
Doctoral symposium paper
Towards Privacy-Preserving Code Generation: Understanding and Mitigating Memorization in Code Large Language Models
Doctoral Symposium
A: Melih Catal University of Zurich
14:00
90m
Doctoral symposium paper
Mediating between Human Programmers and Integrated Development Environments using LLM-based Agents
Doctoral Symposium
A: Ziyou Li Delft University of Technology
14:00
90m
Doctoral symposium paper
Investigating the Role of Formal Verification in Software Development: From Automatic Specification Generation to Usability of Verification Languages
Doctoral Symposium
A: Tina Masoudi PhD student
14:00
90m
Doctoral symposium paper
Automated Vulnerability-Focused Code Reviews
Doctoral Symposium
Leonardo Centellas Computer Science Department, Pontificia Universidad Catolica de Chile
14:00
90m
Doctoral symposium paper
Co-Intelligence in Software Engineering: Understanding and Optimizing GenAI Integration in Software Engineering for Skill Development in Time-Constrained Programming
Doctoral Symposium
Omkar Joshi Indian Institute of Technology Bombay
14:00
90m
Doctoral symposium paper
Formal Liability Apportionment in Autonomous Systems
Doctoral Symposium
Kaveh Aryan King's College London
14:00
90m
Doctoral symposium paper
Research Open-Source Software: supporting small communities with technical and social aspects
Doctoral Symposium
A: Lavinia Francesca Paganini Eindhoven University of Technology
14:00
90m
Doctoral symposium paper
Reversing Programs for Error Reachability Analysis
Doctoral Symposium
Adéla Štěpková Masaryk University
14:00
90m
Doctoral symposium paper
Towards More Interpretable Large Language Models for Code
Doctoral Symposium
A: Daniel Rodriguez-Cardenas William & Mary
14:00
90m
Doctoral symposium paper
Securing Language Models Against Vulnerability Encoding
Doctoral Symposium
Rui Melo University of Porto
14:00
90m
Doctoral symposium paper
Enhancing Large Language Model Integration in Integrated Development Environments
Doctoral Symposium
Daniele Cipollone Delft University of Technology, Netherlands
14:00
90m
Doctoral symposium paper
Generating Code Tours Using Locally-Runnable LLMs
Doctoral Symposium
A: Martin Balfroid University of Namur
14:00
90m
Doctoral symposium paper
End-to-End Testing Gamification: A Novel Approach to the Verification and Validation of Web and Mobile Applications
Doctoral Symposium
Lorenzo Laudadio Politecnico di Torino
14:00
90m
Doctoral symposium paper
Automating the conformity assessment of Cyber-Physical Systems software
Doctoral Symposium
Guillaume Nguyen University of Namur
16:00 - 18:00
Doctoral SymposiumDoctoral Symposium at Andromeda
16:00
60m
Live Q&A
Ask Me Anything
Doctoral Symposium

17:00
60m
Meeting
Break Out Sessions
Doctoral Symposium

Wed 25 Jun

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

Wed 25 Jun

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Andromeda