In industrial embedded software, are some compilation errors easier to localize and fix than others? (ICST 2024 - Industry) - ICST 2024

Mon 27 - Fri 31 May 2024 Canada

Who

Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl , Philipp Haller, Cyrille Artho

Track

ICST 2024 Industry

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

When

Thu 30 May 2024 10:30 - 11:00 at Hall - Poster Session
Thu 30 May 2024 12:40 - 14:00 at Hall - Poster Session
Thu 30 May 2024 15:00 - 15:30 at Hall - Poster Session
Fri 31 May 2024 11:00 - 11:20 at Room 1 - Testing and Applications Chair(s): Jeremy Bradbury

Han Fu

Sigrid Eldh

Ericsson AB, Mälardalen University, Carleton Unviersity

Sweden

Kristian Wiklund

Ericsson AB

Andreas Ermedahl

Philipp Haller

KTH Royal Institute of Technology

Sweden

Cyrille Artho

KTH Royal Institute of Technology, Sweden

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

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

	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

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

	11:00 - 12:20	Testing and ApplicationsResearch Papers / Testing Tools and Demonstration / Industry at Room 1 Chair(s): Jeremy Bradbury Ontario Tech University

	11:00 20m 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
	11:20 20m Research paper		Brewing Up Reliability: Espresso Test Generation for Android Apps Research Papers Iván Arcuschin Moreno University of Buenos Aires, Argentina, Lisandro Di Meo , Michael Auer University of Passau, Juan Pablo Galeotti University of Buenos Aires, Gordon Fraser University of Passau DOI Pre-print
	11:40 20m Research paper		Differential Optimization Testing of Gremlin-Based Graph Database Systems Research Papers Yingying Zheng Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Lei Tang Institute of Software Chinese Academy of Sciences, Ziyu Cui Institute of Software Chinese Academy of Sciences, Jiansen Song Institute of Software Chinese Academy of Sciences, Ziyue Cheng , Wei Wang , Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Hua Zhong , Tao Huang Institute of Software Chinese Academy of Sciences
	12:00 10m Demonstration		MLHCBugs: A Framework to Reproduce Real Faults in Healthcare Machine Learning Applications Testing Tools and Demonstration Guna Sekaran Jaganathan , Nazmul Kazi , Indika Kahanda University of North Florida, Upulee Kanewala University of North Florida
	12:10 10m Demonstration		The GitHub Recent Bugs Dataset for Evaluating LLM-based Debugging Applications Testing Tools and Demonstration Jae Yong Lee , Sungmin Kang , Juyeon Yoon Korea Advanced Institute of Science and Technology, Shin Yoo Korea Advanced Institute of Science and Technology