NEXTA 2024
Dates to be announced
Canada
co-located with
ICST 2024
Toggle navigation
Attending
The Area: North York and the City of Toronto
Venue: Second Student Centre, York University
Hotels: Toronto & Vaughan
Program
NEXTA Program
Your Program
Tue 31 Dec
Track/Call
Organization
NEXTA 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
NEXTA 2025
NEXTA 2024
NEXTA 2023
NEXTA 2022
NEXTA 2021
NEXTA 2020
Sign in
Sign up
ICST 2024
(
series
) /
NEXTA 2024 (
series
) /
Second Student Centre, York University
/
Room information: Hall
Venue
Second Student Centre, York University
Room name
Hall
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
×
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
Poster Session
ICST Posters
/
ICST Research Papers
/
ICST Industry
/
ICST Doctoral Symposium
at
Hall
10:30
30m
Poster
gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing
ICST 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
ICST 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
ICST Posters
Sangharatna Godboley
National Institute of Technology Warangal
,
Radha Krishna Pisipati
10:30
30m
Research paper
Causal Test Adequacy
ICST 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
ICST 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?
ICST 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
ICST 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
ICST 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
ICST Doctoral Symposium
Baharin Aliashrafi Jodat
University of Ottawa
10:30
30m
Doctoral symposium paper
Search-based Security Testing of Enterprise Microservices
ICST Doctoral Symposium
Susruthan Seran
,
Susruthan Seran
Kristiania University College
10:30
30m
Doctoral symposium paper
Teaching Model-Driven Engineering from a model-testing perspective
ICST Doctoral Symposium
Felix Cammaerts
KU Leuven
File Attached
12:40 - 14:00
Poster Session
ICST Posters
/
ICST Research Papers
/
ICST Industry
/
ICST Doctoral Symposium
at
Hall
12:40
80m
Poster
gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing
ICST 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
ICST 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
ICST Posters
Sangharatna Godboley
National Institute of Technology Warangal
,
Radha Krishna Pisipati
12:40
80m
Research paper
Causal Test Adequacy
ICST 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
ICST 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?
ICST 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
ICST 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
ICST 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
ICST Doctoral Symposium
Baharin Aliashrafi Jodat
University of Ottawa
12:40
80m
Doctoral symposium paper
Search-based Security Testing of Enterprise Microservices
ICST Doctoral Symposium
Susruthan Seran
,
Susruthan Seran
Kristiania University College
12:40
80m
Doctoral symposium paper
Teaching Model-Driven Engineering from a model-testing perspective
ICST Doctoral Symposium
Felix Cammaerts
KU Leuven
File Attached
15:00 - 15:30
Poster Session
ICST Posters
/
ICST Research Papers
/
ICST Industry
/
ICST Doctoral Symposium
at
Hall
15:00
30m
Poster
gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing
ICST 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
ICST 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
ICST Posters
Sangharatna Godboley
National Institute of Technology Warangal
,
Radha Krishna Pisipati
15:00
30m
Research paper
Causal Test Adequacy
ICST 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
ICST 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?
ICST 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
ICST 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
ICST 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
ICST Doctoral Symposium
Baharin Aliashrafi Jodat
University of Ottawa
15:00
30m
Doctoral symposium paper
Search-based Security Testing of Enterprise Microservices
ICST Doctoral Symposium
Susruthan Seran
,
Susruthan Seran
Kristiania University College
15:00
30m
Doctoral symposium paper
Teaching Model-Driven Engineering from a model-testing perspective
ICST Doctoral Symposium
Felix Cammaerts
KU Leuven
File Attached
Thu 30 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Hall
ICST Posters + ICST Research Papers + ICST Industry + ICST Doctoral Symposium
Poster Session
ICST Posters + ICST Research Papers + ICST Industry + ICST Doctoral Symposium
Poster Session
ICST Posters + ICST Research Papers + ICST Industry + ICST Doctoral Symposium
Poster Session
Thu 30 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Hall
ICST Posters
gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective F ...
10:30 - 11:00
Towards Understanding Root Causes of Real Failures in Healthcare Machin ...
10:30 - 11:00
VeriSol-MCE: Verification-based condition coverage analysis of Smart Co ...
10:30 - 11:00
ICST Research Papers
Causal Test Adequacy
10:30 - 11:00
ICST Industry
BugOut: Automated Test Generation and Bug Detection for Low-Code
10:30 - 11:00
In industrial embedded software, are some compilation errors easier to ...
10:30 - 11:00
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
10:30 - 11:00
ICST Doctoral Symposium
Agile Regression Testing
10:30 - 11:00
Insights into System Failures: ML-Assisted Testing and Failure Models f ...
10:30 - 11:00
Search-based Security Testing of Enterprise Microservices
10:30 - 11:00
Teaching Model-Driven Engineering from a model-testing perspective
10:30 - 11:00
ICST Posters
gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective F ...
12:40 - 14:00
Towards Understanding Root Causes of Real Failures in Healthcare Machin ...
12:40 - 14:00
VeriSol-MCE: Verification-based condition coverage analysis of Smart Co ...
12:40 - 14:00
ICST Research Papers
Causal Test Adequacy
12:40 - 14:00
ICST Industry
BugOut: Automated Test Generation and Bug Detection for Low-Code
12:40 - 14:00
In industrial embedded software, are some compilation errors easier to ...
12:40 - 14:00
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
12:40 - 14:00
ICST Doctoral Symposium
Agile Regression Testing
12:40 - 14:00
Insights into System Failures: ML-Assisted Testing and Failure Models f ...
12:40 - 14:00
Search-based Security Testing of Enterprise Microservices
12:40 - 14:00
Teaching Model-Driven Engineering from a model-testing perspective
12:40 - 14:00
ICST Posters
gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective F ...
15:00 - 15:30
Towards Understanding Root Causes of Real Failures in Healthcare Machin ...
15:00 - 15:30
VeriSol-MCE: Verification-based condition coverage analysis of Smart Co ...
15:00 - 15:30
ICST Research Papers
Causal Test Adequacy
15:00 - 15:30
ICST Industry
BugOut: Automated Test Generation and Bug Detection for Low-Code
15:00 - 15:30
In industrial embedded software, are some compilation errors easier to ...
15:00 - 15:30
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
15:00 - 15:30
ICST Doctoral Symposium
Agile Regression Testing
15:00 - 15:30
Insights into System Failures: ML-Assisted Testing and Failure Models f ...
15:00 - 15:30
Search-based Security Testing of Enterprise Microservices
15:00 - 15:30
Teaching Model-Driven Engineering from a model-testing perspective
15:00 - 15:30
x
Fri 22 Nov 00:10