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
Complete 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 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: Room 4
Venue
Second Student Centre, York University
Room name
Room 4
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
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
ITEQS I
ITEQS
at
Room 4
Chair(s):
Eduard Paul Enoiu
Mälardalen University
,
Mehrdad Saadatmand
RISE Research Institutes of Sweden
,
Dragos Truscan
Åbo Akademi University
09:00
10m
Talk
ITEQS 2024 Opening
ITEQS
Dragos Truscan
Åbo Akademi University
,
Eduard Paul Enoiu
Mälardalen University
,
Mehrdad Saadatmand
RISE Research Institutes of Sweden
09:15
60m
Keynote
Keynote: The Challenges of Integrating Static Analysis and Dynamic Security Testing in the Context of Increasing Regulation
ITEQS
Martin A. Schneider
Fraunhofer FOKUS
11:00 - 12:30
ITEQS II
ITEQS
at
Room 4
Chair(s):
Mehrdad Saadatmand
RISE Research Institutes of Sweden
11:00
30m
Full-paper
Automated SQA Framework with Predictive Machine Learning in Airfield Software
ITEQS
Ridwan Hossain
,
Akramul Azim
Ontario Tech University
,
Linda Cato
Team Eagle
,
Bruce Wilkins
Team Eagle
11:30
30m
Full-paper
Early Detection with Explainability of Network Attacks Using Deep Learning
ITEQS
Tanwir Ahmad
Åbo Akademi University
,
Dragos Truscan
Åbo Akademi University
12:00
30m
Full-paper
Testing cyber-physical systems with explicit output coverage
ITEQS
Jarkko Peltomäki
Åbo Akademi University
,
Jesper Winsten
,
Maxime Methais
,
Ivan Porres
Åbo Akademi University
14:00 - 15:30
ITEQS III
ITEQS
at
Room 4
Chair(s):
Tanwir Ahmad
Åbo Akademi University
14:00
30m
Full-paper
A Survey on the Verification and Validation of Artificial Pancreas Software Systems
ITEQS
Bara' Nazzal
Queen's University, Canada
,
Manar Alalfi
Toronto Metropolitan University
,
James Cordy
Queen's University, Canada
14:30
30m
Full-paper
ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Errors in UAV Software
ITEQS
Jinseok Park
Gyeongsang National University
,
Changhui Bae
Gyeongsang National University
,
Seongjin Lee
Gyeongsang National Unviersity
15:00
30m
Full-paper
Java Lock Contention Anti-Patterns and Their Associated Recommendations
ITEQS
Aritra Ahmed
Ontario Tech University
,
Ramiro Liscano
Ontario Tech University
,
Akramul Azim
Ontario Tech University
,
Yee-Kang Chang
International Business Machines Corporation (IBM)
,
Vijay Sundaresan
IBM Canada
16:00 - 17:30
ITEQS IV
ITEQS
at
Room 4
Chair(s):
Mehrdad Saadatmand
RISE Research Institutes of Sweden
16:00
10m
Talk
Closing
ITEQS
Dragos Truscan
Åbo Akademi University
,
Eduard Paul Enoiu
Mälardalen University
,
Mehrdad Saadatmand
RISE Research Institutes of Sweden
Tue 28 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Keynote
Mutation
at
Room 4
09:30
5m
Day opening
MUTATION opening
Mutation
09:35
55m
Keynote
Keynote: Mutation for AI and with AI
Mutation
K:
Jie M. Zhang
King's College London
11:00 - 12:30
Session 1
Mutation
at
Room 4
11:00
30m
Talk
Mutant-Kraken: A Mutation Testing Tool for Kotlin
Mutation
Josue Morales
Towson University
,
Lin Deng
Towson University
,
Josh Dehlinger
Towson University
,
Suranjan Chakraborty
Towson University
11:30
30m
Talk
Timed Model-Based Mutation Operators for Simulink Models
Mutation
Jian Chen
Queen's University
,
Manar Alalfi
Toronto Metropolitan University
,
Thomas Dean
12:00
30m
Talk
Improving the Efficacy of Testing Scientific Software: Insights from Mutation Testing
Mutation
Kris Roker
University of North Florida
,
Upulee Kanewala
University of North Florida
14:00 - 15:30
Session 2
Mutation
at
Room 4
14:00
30m
Talk
Test Harness Mutilation
Mutation
Samuel Moelius
Trail of Bits
14:30
30m
Talk
An Empirical Evaluation of Manually Created Equivalent Mutants
Mutation
Philipp Straubinger
University of Passau
,
Alexander Degenhart
University of Passau
,
Gordon Fraser
University of Passau
Pre-print
15:00
30m
Talk
A Study of Flaky Failure De-Duplication to Identify Unreliably Killed Mutants
Mutation
Abdulrahman Alshammari
George Mason University
,
Paul Ammann
George Mason University, USA
,
Michael Hilton
Carnegie Mellon University
,
Jonathan Bell
Northeastern University
16:00 - 17:30
Best paper award and closing
Mutation
at
Room 4
Thu 30 May
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:40
Student Presentation (Closed)
ICST Doctoral Symposium
at
Room 4
11:00
25m
Doctoral symposium paper
Agile Regression Testing
ICST 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
ICST Doctoral Symposium
Baharin Aliashrafi Jodat
University of Ottawa
11:50
25m
Doctoral symposium paper
Search-based Security Testing of Enterprise Microservices
ICST Doctoral Symposium
Susruthan Seran
,
Susruthan Seran
Kristiania University College
12:15
25m
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
Women@ICST Lunch
ICST Social
at
Room 4
Chair(s):
Shiva Nejati
University of Ottawa
12:40
80m
Lunch
Lunch
ICST Social
14:00 - 15:00
Doctoral Symposium Panel (open)
ICST Doctoral Symposium
at
Room 4
14:00
60m
Panel
Doctoral Symposium Panel (Open)
ICST Doctoral Symposium
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room 4
ITEQS
ITEQS I
ITEQS
ITEQS II
ITEQS
ITEQS III
ITEQS
ITEQS IV
Tue 28 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room 4
Mutation
Keynote
Mutation
Session 1
Mutation
Session 2
Mutation
Best paper award and closing
Thu 30 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
Room 4
ICST Doctoral Symposium
Student Presentation (Closed)
ICST Social
Women@ICST Lunch
ICST Doctoral Symposium
Doctoral Symposium Panel (open)
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
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
16:00
15
30
45
Room 4
ITEQS
ITEQS 2024 Opening
09:00 - 09:10
ITEQS
Keynote: The Challenges of Integrating Static Analysis and Dynamic Secu ...
09:15 - 10:15
ITEQS
Automated SQA Framework with Predictive Machine Learning in Airfield So ...
11:00 - 11:30
ITEQS
Early Detection with Explainability of Network Attacks Using Deep Learning
11:30 - 12:00
ITEQS
Testing cyber-physical systems with explicit output coverage
12:00 - 12:30
ITEQS
A Survey on the Verification and Validation of Artificial Pancreas Soft ...
14:00 - 14:30
ITEQS
ConDU: Method for On-the-fly Detection of Non-deadlock Concurrency Erro ...
14:30 - 15:00
ITEQS
Java Lock Contention Anti-Patterns and Their Associated Recommendations
15:00 - 15:30
ITEQS
Closing
16:00 - 16:10
Tue 28 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
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
Room 4
Mutation
MUTATION opening
09:30 - 09:35
Mutation
Keynote: Mutation for AI and with AI
09:35 - 10:30
Mutation
Mutant-Kraken: A Mutation Testing Tool for Kotlin
11:00 - 11:30
Mutation
Timed Model-Based Mutation Operators for Simulink Models
11:30 - 12:00
Mutation
Improving the Efficacy of Testing Scientific Software: Insights from Mu ...
12:00 - 12:30
Mutation
Test Harness Mutilation
14:00 - 14:30
Mutation
An Empirical Evaluation of Manually Created Equivalent Mutants
14:30 - 15:00
Mutation
A Study of Flaky Failure De-Duplication to Identify Unreliably Killed M ...
15:00 - 15:30
Thu 30 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Room 4
ICST Doctoral Symposium
Agile Regression Testing
11:00 - 11:25
ICST Doctoral Symposium
Insights into System Failures: ML-Assisted Testing and Failure Models f ...
11:25 - 11:50
ICST Doctoral Symposium
Search-based Security Testing of Enterprise Microservices
11:50 - 12:15
ICST Doctoral Symposium
Teaching Model-Driven Engineering from a model-testing perspective
12:15 - 12:40
ICST Social
Lunch
12:40 - 14:00
ICST Doctoral Symposium
Doctoral Symposium Panel (Open)
14:00 - 15:00
x
Fri 8 Nov 22:31