MODAL 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
MODAL Program
Your Program
Tue 31 Dec
Track/Call
Organization
MODAL 2024 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
MODAL 2024
MODAL@FSE 2024
Sign in
Sign up
ICST 2024
(
series
) /
MODAL 2024 (
series
) /
Second Student Centre, York University
/
Room information: Room 1
Venue
Second Student Centre, York University
Room name
Room 1
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
Session 1: shared with NEXTA
A-MOST
at
Room 1
11:00 - 12:30
Session 2
A-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 3
A-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 4
A-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
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
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
Opening
ICST 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 Tan
ICST 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 Causality
ICST 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
Joana Coutinho
,
Alexandre Lemos
OutSystems
,
Miguel Terra-Neves
,
André Ribeiro
,
Vasco Manquinho
INESC-ID; Universidade de Lisboa
,
Rui Quintino
,
Bartlomiej Matejczyk
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 Hoye
ICST Keynotes
at
Room 1
Chair(s):
Shiva Nejati
University of Ottawa
14:00
60m
Keynote
We build the world we measure
ICST Keynotes
Mike Hoye
15:30 - 17:00
Fuzzing
ICST Journal-First Papers
/
ICST Research Papers
/
ICST Testing Tools and Demonstration
at
Room 1
Chair(s):
Sahar Tahvili
Ericsson AB
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 Meeting
ICST 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 Malek
ICST 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 Flakiness
ICST 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 Localization
ICST 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 Paper
ICST 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
Awards
ICST Social
at
Room 1
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 Tarlow
ICST Keynotes
at
Room 1
Chair(s):
Hadi Hemmati
York University
09:15
75m
Keynote
DIDACT: Large sequence models for software development activities
ICST Keynotes
K:
Danny Tarlow
11:00 - 12:20
Testing and Applications
ICST 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 Repair
ICST 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
Tim A. D. Henderson
Google
,
Avi Kondareddy
Google
,
Sushmita Azad
Google
,
Eric Nickell
Pre-print
14:30 - 15:30
Fishbowl Panel
ICST 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
Closing
ICST 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
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 1
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
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 1
AIST
Session 1 (Opening, Keynote, Papers 1)
AIST
Session 2 (Papers 2)
AIST
Session 3 (Tutorials)
AIST
Session 4 (Discussion Panel)
Wed 29 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
30
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 1
ICST Social
Opening
ICST Keynotes
Keynote I - Lin Tan
ICST Industry + ICST Research Papers + ICST Journal-First Papers
Test Generation and Test Causality
ICST Keynotes
Keynote II - Mike Hoye
ICST Journal-First Papers + ICST Research Papers + ICST Testing Tools and Demonstration
Fuzzing
ICST Keynotes
Open Steering Committee Meeting
Thu 30 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
Room 1
ICST Keynotes
Keynote III - Sam Malek
ICST Journal-First Papers + ICST Research Papers + ICST Industry
Test Flakiness
ICST Research Papers + ICST Journal-First Papers
Software Testing Education and Fault Localization
ICST Most Influential Paper
Most Influential Paper
Fri 31 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
Room 1
ICST Social
Awards
ICST Keynotes
Keynote IV - Danny Tarlow
ICST Research Papers + ICST Testing Tools and Demonstration + ICST Industry
Testing and Applications
ICST Research Papers + ICST Industry
Testing and Repair
ICST Keynotes
Fishbowl Panel
ICST Social
Closing
Mon 27 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
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Room 1
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
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
17:00
15
30
45
Room 1
AIST
Workshop Opening
09:00 - 09:15
AIST
Towards Better Software Quality in the Era of Large Language Models
09:15 - 10:15
AIST
Generating Minimalist Adversarial Perturbations to Test Object-Detectio ...
10:15 - 10:30
AIST
"No Free Lunch" when using Large Language Models to Verify Self-Generat ...
11:00 - 11:22
AIST
An End-to-End Test Case Prioritization Framework using Optimized Machin ...
11:22 - 11:45
AIST
Iterative Optimization of Hyperparameter-based Metamorphic Transformations
11:45 - 12:07
AIST
Machine Learning for Cross-Vulnerability Prediction in Smart Contracts
12:07 - 12:30
AIST
Tutorial: A Hands-on Tutorial for Automatic Test Case Generation and Fu ...
14:00 - 14:45
AIST
Tutorial: SoKotHban - Competitive Adversarial Testing of Sokoban Solvers
14:45 - 15:30
AIST
Panel Discussion
16:00 - 17:15
AIST
Workshop Closing
17:15 - 17:30
Wed 29 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
8:00
15
30
45
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
17:00
15
30
45
Room 1
ICST Social
Opening
08:30 - 09:00
ICST Keynotes
Synergy of Software Reliability and Large Language Models
09:00 - 10:30
ICST Research Papers
Automatically Removing Unnecessary Stubbings from Test Suites
11:00 - 11:20
ICST Industry
BugOut: Automated Test Generation and Bug Detection for Low-Code
11:20 - 11:40
ICST Research Papers
Enhanced Fast and Reliable Statistical Vulnerability Root Cause Analysi ...
11:40 - 12:00
ICST Research Papers
Causal Test Adequacy
12:00 - 12:20
ICST Journal-First Papers
Summary of Automated Code-based Test Case Reuse for Software Product Li ...
12:20 - 12:40
ICST Keynotes
We build the world we measure
14:00 - 15:00
ICST Research Papers
MSGFuzzer: Message Sequence Guided Industrial Robot Protocol Fuzzing
15:30 - 15:50
ICST Research Papers
U-Fuzz: Stateful Fuzzing of IoT Protocols on COTS Devices
15:50 - 16:10
ICST Research Papers
Formatted Stateful Greybox Fuzzing of TLS server
16:10 - 16:30
ICST Journal-First Papers
A Fuzzing-Based Test-Creation Approach for Evaluating Digital TV Receiv ...
16:30 - 16:50
ICST Testing Tools and Demonstration
MOTIF: A tool for Mutation Testing with Fuzzing
16:50 - 17:00
ICST Keynotes
Open Steering Committee Meeting
17:00 - 18:00
Thu 30 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 1
ICST Keynotes
Beyond Alt Text: Emerging Software Engineering Techniques for a More Ac ...
09:00 - 10:30
ICST Journal-First Papers
Test Code Flakiness in Mobile Apps: The Developer's Perspective
11:00 - 11:20
ICST Journal-First Papers
Flakiness goes live: Insights from an In Vivo testing simulation study
11:20 - 11:40
ICST Research Papers
262,447 Test Failures Later: An Empirical Evaluation of Flaky Failure C ...
11:40 - 12:00
ICST Research Papers
Automatically Reproducing Timing-Dependent Flaky-Test Failures
12:00 - 12:20
ICST Industry
Cost of Flaky Tests in CI: An Industrial Case Study
12:20 - 12:40
ICST Research Papers
State of the Practice in Software Testing Teaching in Four European Cou ...
14:00 - 14:20
ICST Journal-First Papers
Can gamification help in software testing education? Findings from an e ...
14:20 - 14:40
ICST Research Papers
FusionFL: A statement-level feature fusion based fault localization app ...
14:40 - 15:00
ICST Most Influential Paper
Ask the Mutants: Mutating Faulty Programs for Fault Localization
15:30 - 16:30
Fri 31 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 1
ICST Social
Awards
09:00 - 09:15
ICST Keynotes
DIDACT: Large sequence models for software development activities
09:15 - 10:30
ICST Industry
In industrial embedded software, are some compilation errors easier to ...
11:00 - 11:20
ICST Research Papers
Brewing Up Reliability: Espresso Test Generation for Android Apps
11:20 - 11:40
ICST Research Papers
Differential Optimization Testing of Gremlin-Based Graph Database Systems
11:40 - 12:00
ICST Testing Tools and Demonstration
MLHCBugs: A Framework to Reproduce Real Faults in Healthcare Machine Le ...
12:00 - 12:10
ICST Testing Tools and Demonstration
The GitHub Recent Bugs Dataset for Evaluating LLM-based Debugging Appli ...
12:10 - 12:20
ICST Research Papers
Evolutionary Testing for Program Repair
13:30 - 13:50
ICST Research Papers
Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?
13:50 - 14:10
ICST Industry
SafeRevert: When Can Breaking Changes be Automatically Reverted?
14:10 - 14:30
ICST Keynotes
Fishbowl Panel - The Role of AI in Software Testing
14:30 - 15:30
ICST Social
Closing
16:00 - 16:30
x
Thu 19 Dec 00:50