VeriSol-MCE: Verification-based condition coverage analysis of Smart Contracts using Model Checker Engines (ICST 2024 - Posters) - ICST 2024

Mon 27 - Fri 31 May 2024 Canada

Who

Sangharatna Godboley, Radha Krishna Pisipati

Track

ICST 2024 Posters

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

Sangharatna Godboley

National Institute of Technology Warangal

India

Radha Krishna Pisipati

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