NEXTA 2024
Dates to be announced Canada
co-located with ICST 2024
VenueSecond Student Centre, York University
Room nameRoom 4
Floor0
Room InformationNo extra information available
Program

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 IITEQS 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 IIITEQS 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 LearningBest Paper
ITEQS
Tanwir Ahmad Åbo Akademi University, Dragos Truscan Åbo Akademi University
12:00
30m
Full-paper
Testing cyber-physical systems with explicit output coverageBest Paper
ITEQS
Jarkko Peltomäki Åbo Akademi University, Jesper Winsten , Maxime Methais , Ivan Porres Åbo Akademi University
14:00 - 15:30
ITEQS IIIITEQS 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 IVITEQS 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
KeynoteMutation 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 1Mutation 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 2Mutation 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 closingMutation 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 LunchICST 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 4

Tue 28 May

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 4