Causal Test Adequacy (ICST 2024 - Research Papers)

Who

Michael Foster, Christopher Wild, Neil Walkinshaw, Robert Hierons

Track

ICST 2024 Research Papers

This program is tentative and subject to change.

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

Wed 29 May 2024 12:00 - 12:20 at Room 1 - Test Generation and Test Causality
Thu 30 May 2024 10:30 - 11:00 at Room 3 - Poster Session
Thu 30 May 2024 12:40 - 14:00 at Room 3 - Poster Session
Thu 30 May 2024 15:00 - 15:30 at Room 3 - Poster Session

Michael Foster

The University of Sheffield

United Kingdom

Christopher Wild

Neil Walkinshaw

University of Sheffield

United Kingdom

Robert Hierons

The University of Sheffield

United Kingdom

This program is tentative and subject to change.

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

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

11:00 - 12:40	Test Generation and Test CausalityIndustry / Research Papers / Journal-First Papers at Room 1

11:00 20m Research paper		Automatically Removing Unnecessary Stubbings from Test Suites Research Papers Mengzhen Li University of Minnesota, Mattia Fazzini University of Minnesota
11:20 20m 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
11:40 20m Research paper		Enhanced Fast and Reliable Statistical Vulnerability Root Cause Analysis with Sanitizer Research Papers Zhuo Yan Ocean University of China, Haipeng Qu Ocean University of China, Lingyun Ying Qi An Xin Group Corp., Ke Liu , Chao Qu
12:00 20m 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:20 20m Long-paper		Summary of Automated Code-based Test Case Reuse for Software Product Line Testing Journal-First Papers Pilsu Jung Gyeongsang National Unviersity, Seonah Lee Gyeongsang National University, Uicheon Lee

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

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

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

12:40 - 14:00	Poster SessionPosters / Research Papers / Industry / Doctoral Symposium at Room 3

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 Room 3

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