ICST 2024
Mon 27 - Fri 31 May 2024 Canada

Following the traditions of the previous years, the 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2024) hosts a Ph.D. symposium with the following key objectives:

  1. To provide constructive feedback and guidance to doctoral students whose dissertation research is related to software testing, verification, and validation.
  2. To develop a supportive community of researchers and identify potential collaborators.
  3. To facilitate interaction between students and established researchers and practitioners in the field.

The Symposium will also include insightful keynote presentations from established researchers.


Panelist

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.

Tracks
Plenary

This program is tentative and subject to change.

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

Thu 30 May

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 11:00
10:30
30m
Poster
gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing
Posters
Darshan Lohiya , Golla Monika Rani , Sangharatna Godboley National Institute of Technology Warangal, Radha Krishna Pisipati
10:30
30m
Poster
Towards Understanding Root Causes of Real Failures in Healthcare Machine Learning Applications
Posters
Guna Sekaran Jaganathan , Nazmul Kazi , Indika Kahanda University of North Florida, Upulee Kanewala University of North Florida
10:30
30m
Poster
VeriSol-MCE: Verification-based condition coverage analysis of Smart Contracts using Model Checker Engines
Posters
Sangharatna Godboley National Institute of Technology Warangal, Radha Krishna Pisipati
10:30
30m
Research paper
Causal Test Adequacy
Research Papers
Michael Foster The University of Sheffield, Christopher Wild , Neil Walkinshaw University of Sheffield, Robert Hierons The University of Sheffield
10:30
30m
Industry talk
BugOut: Automated Test Generation and Bug Detection for Low-Code
Industry
10:30
30m
Industry talk
In industrial embedded software, are some compilation errors easier to localize and fix than others?
Industry
Han Fu , Sigrid Eldh Ericsson AB, Mälardalen University, Carleton Unviersity, Kristian Wiklund Ericsson AB, Andreas Ermedahl , Philipp Haller KTH Royal Institute of Technology, Cyrille Artho KTH Royal Institute of Technology, Sweden
10:30
30m
Industry talk
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
Industry
Thomas Laurent Lero@Trinity College Dublin, Paolo Arcaini National Institute of Informatics , Xiao-Yi Zhang , Fuyuki Ishikawa National Institute of Informatics
Pre-print
10:30
30m
Doctoral symposium paper
Agile Regression Testing
Doctoral Symposium
Suddhasvatta Das Arizona State University
10:30
30m
Doctoral symposium paper
Insights into System Failures: ML-Assisted Testing and Failure Models for Cyber-Physical Systems
Doctoral Symposium
Baharin Aliashrafi Jodat University of Ottawa
10:30
30m
Doctoral symposium paper
Search-based Security Testing of Enterprise Microservices
Doctoral Symposium
Susruthan Seran , Susruthan Seran Kristiania University College
10:30
30m
Doctoral symposium paper
Teaching Model-Driven Engineering from a model-testing perspective
Doctoral Symposium
Felix Cammaerts KU Leuven
File Attached
11:00 - 12:40
Student Presentation (Closed)Doctoral Symposium at Room 3
11:00
25m
Doctoral symposium paper
Agile Regression Testing
Doctoral Symposium
Suddhasvatta Das Arizona State University
11:25
25m
Doctoral symposium paper
Insights into System Failures: ML-Assisted Testing and Failure Models for Cyber-Physical Systems
Doctoral Symposium
Baharin Aliashrafi Jodat University of Ottawa
11:50
25m
Doctoral symposium paper
Search-based Security Testing of Enterprise Microservices
Doctoral Symposium
Susruthan Seran , Susruthan Seran Kristiania University College
12:15
25m
Doctoral symposium paper
Teaching Model-Driven Engineering from a model-testing perspective
Doctoral Symposium
Felix Cammaerts KU Leuven
File Attached
12:40 - 14:00
Women@ICST LunchSocial at Room 1
Chair(s): Shiva Nejati University of Ottawa
12:40
80m
Lunch
Lunch
Social

12:40 - 14:00
12:40
80m
Poster
gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing
Posters
Darshan Lohiya , Golla Monika Rani , Sangharatna Godboley National Institute of Technology Warangal, Radha Krishna Pisipati
12:40
80m
Poster
Towards Understanding Root Causes of Real Failures in Healthcare Machine Learning Applications
Posters
Guna Sekaran Jaganathan , Nazmul Kazi , Indika Kahanda University of North Florida, Upulee Kanewala University of North Florida
12:40
80m
Poster
VeriSol-MCE: Verification-based condition coverage analysis of Smart Contracts using Model Checker Engines
Posters
Sangharatna Godboley National Institute of Technology Warangal, Radha Krishna Pisipati
12:40
80m
Research paper
Causal Test Adequacy
Research Papers
Michael Foster The University of Sheffield, Christopher Wild , Neil Walkinshaw University of Sheffield, Robert Hierons The University of Sheffield
12:40
80m
Industry talk
BugOut: Automated Test Generation and Bug Detection for Low-Code
Industry
12:40
80m
Industry talk
In industrial embedded software, are some compilation errors easier to localize and fix than others?
Industry
Han Fu , Sigrid Eldh Ericsson AB, Mälardalen University, Carleton Unviersity, Kristian Wiklund Ericsson AB, Andreas Ermedahl , Philipp Haller KTH Royal Institute of Technology, Cyrille Artho KTH Royal Institute of Technology, Sweden
12:40
80m
Industry talk
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
Industry
Thomas Laurent Lero@Trinity College Dublin, Paolo Arcaini National Institute of Informatics , Xiao-Yi Zhang , Fuyuki Ishikawa National Institute of Informatics
Pre-print
12:40
80m
Doctoral symposium paper
Agile Regression Testing
Doctoral Symposium
Suddhasvatta Das Arizona State University
12:40
80m
Doctoral symposium paper
Insights into System Failures: ML-Assisted Testing and Failure Models for Cyber-Physical Systems
Doctoral Symposium
Baharin Aliashrafi Jodat University of Ottawa
12:40
80m
Doctoral symposium paper
Search-based Security Testing of Enterprise Microservices
Doctoral Symposium
Susruthan Seran , Susruthan Seran Kristiania University College
12:40
80m
Doctoral symposium paper
Teaching Model-Driven Engineering from a model-testing perspective
Doctoral Symposium
Felix Cammaerts KU Leuven
File Attached
14:00 - 15:00
Doctoral Symposium Panel (open)Doctoral Symposium at Room 3
14:00
60m
Panel
Doctoral Symposium Panel (Open)
Doctoral Symposium

15:00 - 15:30
15:00
30m
Poster
gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing
Posters
Darshan Lohiya , Golla Monika Rani , Sangharatna Godboley National Institute of Technology Warangal, Radha Krishna Pisipati
15:00
30m
Poster
Towards Understanding Root Causes of Real Failures in Healthcare Machine Learning Applications
Posters
Guna Sekaran Jaganathan , Nazmul Kazi , Indika Kahanda University of North Florida, Upulee Kanewala University of North Florida
15:00
30m
Poster
VeriSol-MCE: Verification-based condition coverage analysis of Smart Contracts using Model Checker Engines
Posters
Sangharatna Godboley National Institute of Technology Warangal, Radha Krishna Pisipati
15:00
30m
Research paper
Causal Test Adequacy
Research Papers
Michael Foster The University of Sheffield, Christopher Wild , Neil Walkinshaw University of Sheffield, Robert Hierons The University of Sheffield
15:00
30m
Industry talk
BugOut: Automated Test Generation and Bug Detection for Low-Code
Industry
15:00
30m
Industry talk
In industrial embedded software, are some compilation errors easier to localize and fix than others?
Industry
Han Fu , Sigrid Eldh Ericsson AB, Mälardalen University, Carleton Unviersity, Kristian Wiklund Ericsson AB, Andreas Ermedahl , Philipp Haller KTH Royal Institute of Technology, Cyrille Artho KTH Royal Institute of Technology, Sweden
15:00
30m
Industry talk
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
Industry
Thomas Laurent Lero@Trinity College Dublin, Paolo Arcaini National Institute of Informatics , Xiao-Yi Zhang , Fuyuki Ishikawa National Institute of Informatics
Pre-print
15:00
30m
Doctoral symposium paper
Agile Regression Testing
Doctoral Symposium
Suddhasvatta Das Arizona State University
15:00
30m
Doctoral symposium paper
Insights into System Failures: ML-Assisted Testing and Failure Models for Cyber-Physical Systems
Doctoral Symposium
Baharin Aliashrafi Jodat University of Ottawa
15:00
30m
Doctoral symposium paper
Search-based Security Testing of Enterprise Microservices
Doctoral Symposium
Susruthan Seran , Susruthan Seran Kristiania University College
15:00
30m
Doctoral symposium paper
Teaching Model-Driven Engineering from a model-testing perspective
Doctoral Symposium
Felix Cammaerts KU Leuven
File Attached

Call for Doctoral Symposium Submissions


Goal

The symposium will be a one-day workshop 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:

  1. The author of the submission must be the Ph.D student only.
  2. A research summary of at most 2 pages, exclusive of references, formatted according to the ICST 2023 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 or goal
    • 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
  3. A CV with research achievements including publications and presentations
  4. 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 15 minutes and limited to 12 slides. The time limit will be strictly enforced. Student presentations will be followed by 15 minutes of feedback from the panelists. The audience will be asked to hold questions until the end of each session.


Poster

Accepted papers will have the opportunity to bring a poster about the conducted research, to get complementary feedback from the ICST community.