MODAL 2024
Dates to be announced Canada
co-located with ICST 2024
VenueSecond Student Centre, York University
Room nameRoom 1
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
Session 1: shared with NEXTAA-MOST at Room 1
11:00 - 12:30
Session 2A-MOST at Room 1
Chair(s): Florian Lorber Silicon Austria Labs
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 Wien, Austria
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
File Attached
12:00
30m
Full-paper
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
A-MOST
Sean Kauffman Queen's University, Canada, Carlos Moreno , Sebastian Fischmeister University of Waterloo, Canada
14:00 - 15:30
Session 3A-MOST at Room 1
Chair(s): Cristina Seceleanu Mälardalen University
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 Wien, Austria, 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 Wien, Austria, Florian Lorber Silicon Austria Labs
16:00 - 17:30
Session 4A-MOST at Room 1
Chair(s): Martin Tappler TU Wien, Austria
16:00
30m
Short-paper
Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report
A-MOST
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
Session 1 (Opening, Keynote, Papers 1)AIST at Room 1
09:00
15m
Day opening
Workshop Opening
AIST
Gregory Gay Chalmers | University of Gothenburg, Sebastiano Panichella Zurich University of Applied Sciences, Aitor Arrieta Mondragon University
09:15
60m
Keynote
Towards Better Software Quality in the Era of Large Language Models
AIST
Lingming Zhang University of Illinois at Urbana-Champaign
10:15
15m
Talk
Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
AIST
Cristopher McIntyre-Garcia , Adrien Heymans University of Ottawa, Beril Borali University of Ottawa, Won-Sook Le University of Ottawa, Shiva Nejati University of Ottawa
11:00 - 12:30
Session 2 (Papers 2)AIST at Room 1
11:00
22m
Talk
"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs
AIST
Sol Zilberman Michigan State University, Betty H.C. Cheng Michigan State University
11:22
22m
Talk
An End-to-End Test Case Prioritization Framework using Optimized Machine Learning Models
AIST
Md Asif Khan Ontario Tech University, Akramul Azim Ontario Tech University, Ramiro Liscano Ontario Tech University, Kevin Smith International Business Machines Corporation (IBM), Yee-Kang Chang International Business Machines Corporation (IBM), Qasim Tauseef International Business Machines Corporation (IBM), Gkerta Seferi International Business Machines Corporation (IBM)
11:45
22m
Talk
Iterative Optimization of Hyperparameter-based Metamorphic Transformations
AIST
Gaadha Sudheerbabu Åbo Akademi University, Tanwir Ahmad Åbo Akademi University, Dragos Truscan Åbo Akademi University, Jüri Vain Tallinn University of Technology, Estonia, Ivan Porres Åbo Akademi University
12:07
22m
Talk
Machine Learning for Cross-Vulnerability Prediction in Smart Contracts
AIST
Hajra Naeem Toronto Metropolitan University, Manar H. Alalfi
14:00 - 15:30
Session 3 (Tutorials)AIST at Room 1
14:00
45m
Tutorial
Tutorial: A Hands-on Tutorial for Automatic Test Case Generation and Fuzzing for JavaScript
AIST
Mitchell Olsthoorn Delft University of Technology, Annibale Panichella Delft University of Technology
14:45
45m
Tutorial
Tutorial: SoKotHban - Competitive Adversarial Testing of Sokoban Solvers
AIST
Addison Crump CISPA Helmholtz Center for Information Security
16:00 - 17:30
Session 4 (Discussion Panel)AIST at Room 1
16:00
75m
Panel
Panel Discussion
AIST

17:15
15m
Day closing
Workshop Closing
AIST
Aitor Arrieta Mondragon University, Gregory Gay Chalmers | University of Gothenburg, Sebastiano Panichella Zurich University of Applied Sciences

Wed 29 May

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

08:30 - 09:00
OpeningICST Social at Room 1
Chair(s): Hadi Hemmati York University, Gregory Gay Chalmers | University of Gothenburg, Shiva Nejati University of Ottawa
08:30
30m
Day opening
Opening
ICST Social

09:00 - 10:30
Keynote I - Lin TanICST Keynotes at Room 1
Chair(s): Gregory Gay Chalmers | University of Gothenburg
09:00
90m
Keynote
Synergy of Software Reliability and Large Language Models
ICST Keynotes
K: Lin Tan Purdue University
11:00 - 12:40
Test Generation and Test CausalityICST Industry / ICST Research Papers / ICST Journal-First Papers at Room 1
Chair(s): Jonathan Bell Northeastern University
11:00
20m
Research paper
Automatically Removing Unnecessary Stubbings from Test Suites
ICST Research Papers
Mengzhen Li University of Minnesota, Mattia Fazzini University of Minnesota
11:20
20m
Industry talk
BugOut: Automated Test Generation and Bug Detection for Low-Code
ICST Industry
11:40
20m
Research paper
Enhanced Fast and Reliable Statistical Vulnerability Root Cause Analysis with Sanitizer
ICST Research Papers
Zhuo Yan Ocean University of China, Haipeng Qu Ocean University of China, Lingyun Ying Qi An Xin Group Corp., Ke Liu , Chao Qu
12:00
20m
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:20
20m
Long-paper
Summary of Automated Code-based Test Case Reuse for Software Product Line Testing
ICST Journal-First Papers
Pilsu Jung Gyeongsang National Unviersity, Seonah Lee Gyeongsang National University, Uicheon Lee
14:00 - 15:00
Keynote II - Mike HoyeICST Keynotes at Room 1
Chair(s): Shiva Nejati University of Ottawa
14:00
60m
Keynote
We build the world we measure
ICST Keynotes
15:30 - 17:00
15:30
20m
Research paper
MSGFuzzer: Message Sequence Guided Industrial Robot Protocol Fuzzing
ICST Research Papers
Yang Zhang Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China, Dongliang Fang Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, China, Puzhuo Liu Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China;, Laile Xi , Xiao Lu , Xin Chen , Shuaizong Si , Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,
15:50
20m
Research paper
U-Fuzz: Stateful Fuzzing of IoT Protocols on COTS Devices
ICST Research Papers
Shang Zewen , Matheus Eduardo Garbelini , Sudipta Chattopadhyay Singapore University of Technology and Design
16:10
20m
Research paper
Formatted Stateful Greybox Fuzzing of TLS server
ICST Research Papers
Fan Hu , Jiangan Ji , Hui Shu , Zheming Li Tsinghua University, Tieming Liu , Chao Zhang Tsinghua University
16:30
20m
Long-paper
A Fuzzing-Based Test-Creation Approach for Evaluating Digital TV Receivers via Transport Streams
ICST Journal-First Papers
Fabrício Izumi Banceira , Eddie Lima Samsung Electronics, Brazil, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil, Orlewilson Maia , Rômulo Fabrício , Bruno Farias University of Manchester, UK, Aguinaldo Silva
16:50
10m
Demonstration
MOTIF: A tool for Mutation Testing with Fuzzing
ICST Testing Tools and Demonstration
Jaekwon Lee University of Ottawa & University of Luxembourg, Enrico Viganò University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
17:00 - 18:00
Open Steering Committee MeetingICST Keynotes at Room 1
17:00
60m
Meeting
Open Steering Committee Meeting
ICST Keynotes

Thu 30 May

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

09:00 - 10:30
Keynote III - Sam MalekICST Keynotes at Room 1
Chair(s): Hadi Hemmati York University
09:00
90m
Keynote
Beyond Alt Text: Emerging Software Engineering Techniques for a More Accessible Software
ICST Keynotes
K: Sam Malek University of California at Irvine
11:00 - 12:40
Test FlakinessICST Journal-First Papers / ICST Research Papers / ICST Industry at Room 1
Chair(s): Andrea Stocco Technical University of Munich, fortiss
11:00
20m
Long-paper
Test Code Flakiness in Mobile Apps: The Developer's Perspective
ICST Journal-First Papers
Valeria Pontillo Vrije Universiteit Brussel, Fabio Palomba University of Salerno, Filomena Ferrucci University of Salerno
Link to publication
11:20
20m
Long-paper
Flakiness goes live: Insights from an In Vivo testing simulation study
ICST Journal-First Papers
Morena Barboni University of Camerino, Antonia Bertolino National Research Council, Italy, Guglielmo De Angelis CNR-IASI
11:40
20m
Research paper
262,447 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers
ICST Research Papers
Abdulrahman Alshammari George Mason University, Paul Ammann George Mason University, USA, Michael Hilton Carnegie Mellon University, Jonathan Bell Northeastern University
12:00
20m
Research paper
Automatically Reproducing Timing-Dependent Flaky-Test Failures
ICST Research Papers
Shanto Rahman The University of Texas at Austin, Aaron Massey George Mason University, Wing Lam George Mason University, August Shi The University of Texas at Austin, Jonathan Bell Northeastern University
12:20
20m
Industry talk
Cost of Flaky Tests in CI: An Industrial Case Study
ICST Industry
Fabian Leinen Technical University of Munich, Daniel Elsner TU Munich, Alexander Pretschner TU Munich, Andreas Stahlbauer , Michael Sailer , Elmar Juergens CQSE GmbH
Pre-print
14:00 - 15:00
Software Testing Education and Fault LocalizationICST Research Papers / ICST Journal-First Papers at Room 1
Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology
14:00
20m
Research paper
State of the Practice in Software Testing Teaching in Four European Countries
ICST Research Papers
Porfirio Tramontana Department of Electrical Engineering and Information Technologies, University of Naples Federico II, Italy, Beatriz Marín Universitat Politècnica de València, Ana Paiva Faculty of Engineering, University of Porto and INESC TEC, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit, Domenico Amalfitano University of Naples Federico II, Felix Cammaerts KU Leuven, Monique Snoeck Katholieke Universiteit Leuven, Anna Rita Fasolino Federico II University of Naples
14:20
20m
Long-paper
Can gamification help in software testing education? Findings from an empirical study
ICST Journal-First Papers
Raquel Blanco , Manuel Trinidad , María José Suárez-Cabal , Alejandro Calderón Sánchez , Mercedes Ruiz University of Cadiz, Javier Tuya Computer Science Department, University of Oviedo
14:40
20m
Research paper
FusionFL: A statement-level feature fusion based fault localization approach
ICST Research Papers
Yanbo Zhang , Yawen Wang State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Dongming Zhu , Wenjing Liu
15:30 - 16:30
Most Influential PaperICST Most Influential Paper at Room 1
Chair(s): Gregory Gay Chalmers | University of Gothenburg, Shiva Nejati University of Ottawa
15:30
60m
Talk
Ask the Mutants: Mutating Faulty Programs for Fault Localization
ICST Most Influential Paper
Seokhyeon Moon Samsung SDS, Yunho Kim Hanyang University, Moonzoo Kim KAIST / VPlusLab Inc. , Shin Yoo Korea Advanced Institute of Science and Technology

Fri 31 May

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

09:00 - 09:15
09:00
15m
Awards
Awards
ICST Social
Shiva Nejati University of Ottawa, Gregory Gay Chalmers | University of Gothenburg
09:15 - 10:30
Keynote IV - Danny TarlowICST Keynotes at Room 1
Chair(s): Hadi Hemmati York University
09:15
75m
Keynote
DIDACT: Large sequence models for software development activities
ICST Keynotes
11:00 - 12:20
Testing and ApplicationsICST Research Papers / ICST Testing Tools and Demonstration / ICST Industry at Room 1
Chair(s): Jeremy Bradbury Ontario Tech University
11:00
20m
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
11:20
20m
Research paper
Brewing Up Reliability: Espresso Test Generation for Android Apps
ICST Research Papers
Iván Arcuschin Moreno University of Buenos Aires, Argentina, Lisandro Di Meo , Michael Auer University of Passau, Juan Pablo Galeotti University of Buenos Aires, Gordon Fraser University of Passau
DOI Pre-print
11:40
20m
Research paper
Differential Optimization Testing of Gremlin-Based Graph Database Systems
ICST Research Papers
Yingying Zheng Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Lei Tang Institute of Software Chinese Academy of Sciences, Ziyu Cui Institute of Software Chinese Academy of Sciences, Jiansen Song Institute of Software Chinese Academy of Sciences, Ziyue Cheng , Wei Wang , Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Hua Zhong , Tao Huang Institute of Software Chinese Academy of Sciences
12:00
10m
Demonstration
MLHCBugs: A Framework to Reproduce Real Faults in Healthcare Machine Learning Applications
ICST Testing Tools and Demonstration
Guna Sekaran Jaganathan , Nazmul Kazi , Indika Kahanda University of North Florida, Upulee Kanewala University of North Florida
12:10
10m
Demonstration
The GitHub Recent Bugs Dataset for Evaluating LLM-based Debugging Applications
ICST Testing Tools and Demonstration
Jae Yong Lee , Sungmin Kang , Juyeon Yoon Korea Advanced Institute of Science and Technology, Shin Yoo Korea Advanced Institute of Science and Technology
13:30 - 14:30
Testing and RepairICST Research Papers / ICST Industry at Room 1
Chair(s): August Shi The University of Texas at Austin
13:30
20m
Research paper
Evolutionary Testing for Program Repair
ICST Research Papers
Haifeng Ruan , Hoang Lam Nguyen Humboldt-Universität zu Berlin, Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller Singapore University of Technology and Design, Abhik Roychoudhury National University of Singapore
13:50
20m
Research paper
Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?
ICST Research Papers
Amirfarhad Nilizadeh University of Central Florida, Gary T. Leavens University of Central Florida, Corina Pasareanu CMU, NASA, KBR, Xuan-Bach D. Le The University of Melbourne, David Cok CEA, LIST, Software Safety and Security Laboratory
14:10
20m
Industry talk
SafeRevert: When Can Breaking Changes be Automatically Reverted?
ICST Industry
Pre-print
14:30 - 15:30
Fishbowl PanelICST Keynotes at Room 1
Chair(s): Gregory Gay Chalmers | University of Gothenburg
14:30
60m
Panel
Fishbowl Panel - The Role of AI in Software Testing
ICST Keynotes
Joana Coutinho , Mehrdad Saadatmand RISE Research Institutes of Sweden, Jeremy Bradbury Ontario Tech University, Renzo Degiovanni Luxembourg Institute of Science and Technology
16:00 - 16:30
ClosingICST Social at Room 1
Chair(s): Hadi Hemmati York University, Gregory Gay Chalmers | University of Gothenburg, Shiva Nejati University of Ottawa
16:00
30m
Day closing
Closing
ICST Social

Mon 27 May

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

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

Tue 28 May

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