Insights into System Failures: ML-Assisted Testing and Failure Models for Cyber-Physical Systems (ICST 2024 - Doctoral Symposium)

Track

ICST 2024 Doctoral Symposium

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 30 May 2024 10:30 - 11:00 at Hall - Poster Session
Thu 30 May 2024 11:25 - 11:50 at Room 4 - Student Presentation (Closed)
Thu 30 May 2024 12:40 - 14:00 at Hall - Poster Session
Thu 30 May 2024 15:00 - 15:30 at Hall - Poster Session

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

10:30 - 11:00	Poster SessionPosters / Research Papers / Industry / Doctoral Symposium at Hall

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 Joana Coutinho , Alexandre Lemos OutSystems, Miguel Terra-Neves , André Ribeiro , Vasco Manquinho INESC-ID; Universidade de Lisboa, Rui Quintino , Bartlomiej Matejczyk
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 4

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	Poster SessionPosters / Research Papers / Industry / Doctoral Symposium at Hall

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 Joana Coutinho , Alexandre Lemos OutSystems, Miguel Terra-Neves , André Ribeiro , Vasco Manquinho INESC-ID; Universidade de Lisboa, Rui Quintino , Bartlomiej Matejczyk
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

15:00 - 15:30	Poster SessionPosters / Research Papers / Industry / Doctoral Symposium at Hall

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 Joana Coutinho , Alexandre Lemos OutSystems, Miguel Terra-Neves , André Ribeiro , Vasco Manquinho INESC-ID; Universidade de Lisboa, Rui Quintino , Bartlomiej Matejczyk
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

Insights into System Failures: ML-Assisted Testing and Failure Models for Cyber-Physical Systems

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

Baharin Aliashrafi Jodat

University of Ottawa

Tracks

Workshops

Insights into System Failures: ML-Assisted Testing and Failure Models for Cyber-Physical Systems

Program Display Configuration

Program Display Configuration

Thu 30 MayDisplayed time zone: Eastern Time (US & Canada) change

Baharin Aliashrafi Jodat

University of Ottawa

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