Following the traditions of the previous years, the 18th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2025) hosts a Ph.D. symposium with the following key objectives:
-
To provide constructive feedback and guidance to doctoral students whose dissertation research is related to software testing, verification, and validation.
-
To develop a supportive community of researchers and identify potential collaborators.
-
To facilitate interaction between students and established researchers and practitioners in the field.
The symposium will include a session with distinguished panelists who will share their tips and advice on how to navigate challenges that may arise during the PhD journey.
Also the Symposium will include insightful keynote presentations from established researchers.
Fri 4 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 08:30 | |||
08:00 30mRegistration | Registration Social |
09:00 - 10:30 | Awards & Most Influential PaperSocial at Aula Magna (AM) & A1 (streaming) Chair(s): Aldeida Aleti Monash University, Ali Mesbah University of British Columbia | ||
09:00 30mAwards | Awards Social | ||
09:30 60mAwards | Most Influential Paper Social |
09:00 - 10:30 | Doctoral Symposium (Private)Doctoral Symposium at Room B Chair(s): Andrea Stocco Technical University of Munich, fortiss, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit | ||
09:00 10mTalk | Opening Doctoral Symposium | ||
09:10 40mKeynote | How to Give a Great Presentation - For Software Engineering Researchers Doctoral Symposium | ||
09:50 20mTalk | Toward Tool-Agnostic Guidelines for Expert Debugging Strategies Doctoral Symposium | ||
10:10 20mTalk | Adversarial Testing with Reinforcement Learning Doctoral Symposium |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Social |
11:00 - 12:40 | Doctoral Symposium (Private)Doctoral Symposium at Room B Chair(s): Andrea Stocco Technical University of Munich, fortiss, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit | ||
11:00 20mTalk | On Service-to-Service Integration Testing in Microservice Systems Doctoral Symposium Lena Gregor Technical University of Munich | ||
11:20 20mTalk | A Method for Systematically Assessing the Safety of Automated Driving Systems via Simulation Doctoral Symposium Ali Gullu Institute of Computer Science, University of Tartu | ||
11:40 20mTalk | End-to-End Testing in Web Environments: Addressing Practical Challenges Doctoral Symposium Sergio Di Meglio Università degli Studi di Napoli Federico II | ||
12:00 20mTalk | Evaluating Correct-Consistency and Robustness in Code-Generating LLMs Doctoral Symposium Shahin Honarvar Imperial College London | ||
12:20 20mTalk | Uncertainty-Aware Autonomous Driving System Testing with Large Language Models Doctoral Symposium Jiahui Wu Simula Research Laboratory and University of Oslo |
14:00 - 15:30 | Doctoral Symposium (Private)Doctoral Symposium at Room B Chair(s): Andrea Stocco Technical University of Munich, fortiss, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit | ||
14:00 20mTalk | Enhancing Spectrum-based Fault Localization in the context of Reactive Programming Doctoral Symposium | ||
14:20 20mTalk | Advancing Mobile UI Testing by Learning Screen Usage Semantics Doctoral Symposium Safwat Ali Khan George Mason University | ||
14:40 20mTalk | Identifying and Mitigating Flaky Tests in JavaScript Doctoral Symposium Negar Hashemi Massey University | ||
15:00 30mLive Q&A | Q/A & Closing Doctoral Symposium |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Social |
16:00 - 16:30 | |||
16:00 30mSocial Event | Closing Social |
Accepted Papers
Title | |
---|---|
Advancing Mobile UI Testing by Learning Screen Usage Semantics Doctoral Symposium | |
Adversarial Testing with Reinforcement Learning Doctoral Symposium | |
A Method for Systematically Assessing the Safety of Automated Driving Systems via Simulation Doctoral Symposium | |
End-to-End Testing in Web Environments: Addressing Practical Challenges Doctoral Symposium | |
Enhancing Spectrum-based Fault Localization in the context of Reactive Programming Doctoral Symposium | |
Evaluating Correct-Consistency and Robustness in Code-Generating LLMs Doctoral Symposium | |
Identifying and Mitigating Flaky Tests in JavaScript Doctoral Symposium | |
On Service-to-Service Integration Testing in Microservice Systems Doctoral Symposium | |
Toward Tool-Agnostic Guidelines for Expert Debugging Strategies Doctoral Symposium | |
Uncertainty-Aware Autonomous Driving System Testing with Large Language Models Doctoral Symposium |
Call for Doctoral Symposium Submissions
Goal
The symposium will be a one-day event held in conjunction with the IEEE International Conference on Software Testing, Verification, and Validation. The symposium has three goals: (1) to provide constructive feedback and guidance to doctoral students who are performing their dissertation research in the field of software testing, verification, and validation; (2) to develop a supportive community of researchers and potential collaborators; (3) to help students interact with established researchers and practitioners in the field.
Scope
The symposium invites Ph.D. students at all stages of their studies, from first-year students to those ready for their final dissertation defense. The symposium requires each student to write a short research summary describing the problem tackled in the Ph.D., some key results (if any), and a potential plan for the Ph.D. program. The students will present their work at the symposium and will receive feedback from the panel members. Students may also seek advice on challenging topics such as how to perform research in testing, how to design and execute empirical research, write scientific papers, and eventually prepare for the Ph.D. defense itself. Accepted research summaries will be published in the conference proceedings.
Submission Format
Submissions to the Ph.D. symposium must include the following:
-
The author of the submission must be the Ph.D student only.
-
A research summary of at most 2 pages, exclusive of references, formatted according to the ICST 2025 conference formatting instructions.
-
All submissions must be in English and include the following information:
-
Student name, university, name of the research advisor, and project name. To clarify, the student is the author and the advisor is acknowledged
-
The problem to be addressed by the thesis (justify the importance and argue on its novelty, clarify that it has not yet been addressed)
-
The research hypothesis, goals or questions
-
The expected contributions of the dissertation research
-
The proposed research approach
-
Summary of results to date
-
The plan to evaluate the results and a dissemination plan
-
-
A CV with research achievements including publications and presentations
-
A recommendation letter from the dissertation advisor. The letter should include:
-
Name of the student
-
Name of the advisor
-
A candid assessment of the current status of the student’s dissertation research
-
An approximate date for dissertation submission Submission must be in the form of a single PDF composed of the research summary, the CV, and the recommendation letter from the dissertation advisor and submitted via EasyChair.
-
Evaluation
The Ph.D. Symposium chairs will evaluate all submissions that meet the submission criteria based on their relevance to the ICST community, their originality, the quality of the summary, and their technical soundness.
Award
The best submission will be awarded during the Symposium.
Presentations
Presentations will be 10-12 minutes and limited to 10 slides. The time limit will be strictly enforced. Student presentations will be followed by 8-10 minutes of feedback from the panelists. The audience will be asked to hold questions until the end of each session.
Poster
Accepted papers will be able to bring a poster about the research conducted to get complementary feedback from the ICST community.
Keynote
How to Give a Great Presentation—For Software Engineering Researchers
By Denys Poshyvanyk
Abstract: Communicating research effectively is just as important as conducting it. In this talk, I will break down how software engineering research students can craft and deliver compelling presentations that showcase their work with clarity and impact. From structuring technical content to engaging both expert and non-expert audiences, I will cover strategies for storytelling, slide design, and handling questions with confidence. I will also cover some actionable tips on disseminating your research and marketing yourself and your research as an academic.
Bio: Denys Poshyvanyk is a Chancellor Professor and a Graduate Director in the Computer Science Department at William & Mary. He currently serves as a Guest Editor-in-Chief of the AI-SE Continuous Special Section at the ACM Transactions on Software Engineering and Methodology (TOSEM) and a Program Co-Chair for FSE’25 and FORGE’25. He is a recipient of multiple ACM SIGSOFT Distinguished paper awards, most influential paper awards, and the NSF CAREER award (2013). He is an IEEE Fellow and an ACM distinguished member.