ICST 2024
Mon 27 - Fri 31 May 2024 Canada
ICST 2024 (series) / Second Student Centre, York University /

Room information: Room 4

VenueSecond Student Centre, York University
Room nameRoom 4
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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
Session 1: shared with NEXTAA-MOST at Room 4
11:00 - 12:30
Session 2A-MOST at Room 4
11:00
30m
Day opening
Welcome to 20 Years of A-MOST
A-MOST
Florian Lorber Silicon Austria Labs, Cristina Seceleanu Mälardalen University, Martin Tappler TU Graz; Silicon Austria Labs
11:30
30m
Full-paper
Testing the Evolution of Feature Models with Specific Combinatorial Tests
A-MOST
Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo
12:00
30m
Full-paper
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
A-MOST
Sean Kauffman Aalborg University, Carlos Moreno , Sebastian Fischmeister University of Waterloo, Canada
14:00 - 15:30
Session 3A-MOST at Room 4
14:00
30m
Full-paper
Active Model Learning for Software Interrogation and Diagnosis
A-MOST
Adam Porter University of Maryland, alan Karr
14:30
30m
Short-paper
Active Model Learning of Git Version Control System
A-MOST
Edi Muskardin , Tamim Burgstaller , Martin Tappler TU Graz; Silicon Austria Labs, Bernhard Aichernig Graz University of Technology
15:00
30m
Full-paper
Bridging the Gap Between Models in RL: Test Models vs. Neural Networks
A-MOST
Martin Tappler TU Graz; Silicon Austria Labs, Florian Lorber Silicon Austria Labs
16:00 - 17:30
Session 4A-MOST at Room 4
16:00
30m
Short-paper
Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report
A-MOST
Vahid Garousi Queen's University Belfast, Alper Buğra Keleş , Yunus Balaman , Alper Mermer , Zeynep Özdemir Güler
16:30
30m
Short-paper
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
A-MOST
Sergio Quijano IT University of Copenhagen, Mahsa Varshosaz IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark
17:00
30m
Full-paper
Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction
A-MOST
Muhammad Nouman Zafar Malardalen University, Wasif Afzal Mälardalen University, Eduard Paul Enoiu Mälardalen University, Zulqarnain Haider , Inderjeet Singh Alstom

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
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

Mon 27 May

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

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

A-MOST

Session 1: shared with NEXTA

A-MOST

Session 2

A-MOST

Session 3

A-MOST

Session 4

Tue 28 May

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

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

Mutation

Keynote

Mutation

Session 1

Mutation

Session 2

Mutation

Best paper award and closing

Mon 27 May

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room 4
A-MOST
Welcome to 20 Years of A-MOST
11:00 - 11:30
A-MOST
Testing the Evolution of Feature Models with Specific Combinatorial Tests
11:30 - 12:00
A-MOST
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
12:00 - 12:30
A-MOST
Active Model Learning for Software Interrogation and Diagnosis
14:00 - 14:30
A-MOST
Active Model Learning of Git Version Control System
14:30 - 15:00
A-MOST
Bridging the Gap Between Models in RL: Test Models vs. Neural Networks
15:00 - 15:30
A-MOST
Coverage measurement in model-based testing of web applications: Tool s ...
16:00 - 16:30
A-MOST
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
16:30 - 17:00
A-MOST
Optimizing Model-based Generated Tests: Leveraging Machine Learning for ...
17:00 - 17:30

Tue 28 May

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
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