ICST 2024
Mon 27 - Fri 31 May 2024
Canada
Toggle navigation
Attending
The Area: North York and the City of Toronto
Venue: Second Student Centre, York University
Hotels: Toronto & Vaughan
Equity, Diversity and Inclusion Plan
Code of Conduct
Registration
Student Volunteers
Visa Information
Guidelines for Creating Presentations
Sponsorship Opportunities
Program
Complete Program
Your Program
Mon 27 May
Tue 28 May
Wed 29 May
Thu 30 May
Fri 31 May
Tracks
ICST 2024
Doctoral Symposium
Industry
Journal-First Papers
Keynotes
Most Influential Paper
Posters
Research Papers
Testing Tools and Demonstration
Workshops
Workshops
A-MOST
AIST
CCIW
ITEQS
IWCT
InSTA
MODAL
Mutation
NEXTA
TestADS
TestEd
Organization
ICST 2024 Committees
Organizing Committee
Steering Committee
Student Volunteers
Track Committees
Doctoral Symposium
Program Committee
Panel
Industry
Journal-First Papers
Posters
Research Papers
Testing Tools and Demonstration
Workshops
Contributors
People Index
Workshops
A-MOST
Organizing Committee
Program Committee
AIST
Organizing Committee
Program Committee
Steering Committee
CCIW
Organizing Committee
ITEQS
Organizing Committee
Program Committee
IWCT
Program Committee
Steering Committee
CT Competition Committee
InSTA
Organizing Committee
Program Committee
MODAL
Organizing Committee
Mutation
Organising Committee
Program Committee
NEXTA
Organizing Committee
Program Committee
TestADS
Organizing Committee
Program Committee
TestEd
Program Committee
Search
Series
Series
ICST 2025
ICST 2024
ICST 2023
ICST 2022
ICST 2021
ICST 2020
Sign in
Sign up
ICST 2024
(
series
) /
Second Student Centre, York University
/
Room information: Room 2
Venue
Second Student Centre, York University
Room name
Room 2
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06: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-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Opening Session
IWCT
at
Room 2
09:00
15m
Day opening
Opening Remarks for IWCT 2024
IWCT
09:15
60m
Keynote
Keynote
IWCT
10:15
15m
Talk
Summary of "An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems"
IWCT
Florian Klück
AVL List GmbH
,
Yihao Li
,
Jianbo Tao
AVL List GmbH
,
Franz Wotawa
Graz University of Technology
11:00 - 12:30
Session on Foundational and Theoretic Aspects of CT
IWCT
at
Room 2
11:00
25m
Talk
Algorithmic Optimizations for Deriving Minimal Forbidden Tuples
IWCT
Michael Wagner
SBA Research
,
Irene Hiess
,
Ludwig Kampel
,
Dimitris Simos
SBA Research
,
Jeff Yu Lei
University of Texas at Arlington
11:25
25m
Talk
Double T-Wise Fault Localization: A Novel Approach to Root Cause Analysis via Combinatorial Test Set Completion
IWCT
Andrew Hicks
IBM
,
Deborah Furman
IBM
,
Ryan Rawlins
IBM
,
Michael Gildein
IBM
11:50
25m
Talk
Use of binary decision diagrams to handle constraints in combinatorial interaction testing
IWCT
Tatsuhiro Tsuchiya
Osaka University
12:15
15m
Talk
Summary of ``Constrained Detecting Arrays: Mathematical Structures for Fault Identification in Combinatorial Interaction Testing''
IWCT
Hao Jin
Osaka University
,
Ce Shi
Shanghai Lixin University of Accounting and Finance
,
Tatsuhiro Tsuchiya
Osaka University
14:00 - 15:30
Session on Applications of CT
IWCT
at
Room 2
14:00
30m
Talk
Assessing the Degree of Feature Interactions that Determine a Model Prediction
IWCT
Krishna Khadka
The University of Texas at Arlington
,
Sunny Shree
,
Jeff Yu Lei
University of Texas at Arlington
,
Raghu Kacker
National Institute of Standards and Technology
,
Richard Kuhn
14:30
30m
Talk
Coverage for Identifying Critical Metadata in Machine Learning Operating Envelopes
IWCT
Erin Lanus
Virginia Tech
,
Brian Lee
Virginia Tech
,
Luis Pol
Virginia Tech
,
Daniel Sobien
Virginia Tech
,
Justin Kauffman
Virginia Tech
,
Laura Freeman
Virginia Tech
15:00
30m
Talk
Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing
IWCT
Andrea Bombarda
University of Bergamo
,
Angelo Gargantini
University of Bergamo
16:00 - 17:30
Closing Session
IWCT
at
Room 2
16:00
25m
Talk
On Combinatorial Security Testing for the Tor Anonymity Network Client
IWCT
Dimitris Simos
SBA Research
,
Bernhard Garn
SBA Research
,
Dominik-Philip Schreiber
MATRIS Research Group, SBA Research
,
Manuel Leithner
SBA Research
,
Rick Kuhn
National Institute of Standards and Technology
,
Raghu Kacker
National Institute of Standards and Technology
16:25
30m
Talk
Summary of CT tools
IWCT
16:55
35m
Day closing
Closing Remarks for IWCT 2024
IWCT
Tue 28 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Session 1 (Opening, Keynote, Papers 1)
AIST
at
Room 2
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 2
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 2
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 2
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
11:00 - 12:40
Testing and LLMs
Industry
/
Research Papers
at
Room 2
Chair(s):
Sudipta Chattopadhyay
Singapore University of Technology and Design
11:00
20m
Industry talk
Are We Testing or Being Tested? Exploring the Practical Applications of Large Language Models in Software Testing
Industry
Robson T. de Souza Santos
,
Italo Santos
Northern Arizona University
,
Cleyton V. C. de Magalhaes
CESAR School
,
Ronnie de Souza Santos
University of Calgary
11:20
20m
Research paper
Improving Patch Correctness Analysis via Random Testing and Large Language Models
Research Papers
Facundo Molina
IMDEA Software Institute
,
Juan Manuel Copia
IMDEA Software Institute; Universidad Politécnica de Madrid
,
Alessandra Gorla
IMDEA Software Institute
Pre-print
11:40
20m
Research paper
Intent-Driven Mobile GUI Testing with Autonomous Large Language Model Agents
Research Papers
Juyeon Yoon
Korea Advanced Institute of Science and Technology
,
Robert Feldt
Chalmers University of Technology, Sweden
,
Shin Yoo
Korea Advanced Institute of Science and Technology
Pre-print
12:00
20m
Research paper
KAT: Dependency-aware Automated API Testing with Large Language Models
Research Papers
Tri Le
,
Thien Tran
,
Duy Cao
,
Vy Le
,
Vu Nguyen
Head of Research, Katalon Inc.; University of Science, VNU-HCM, Vietnam
,
Tien N. Nguyen
University of Texas at Dallas
12:20
20m
Research paper
Quantizing Large-Language Models for Predicting Flaky Tests
Research Papers
Shanto Rahman
The University of Texas at Austin
,
Abdelrahman Baz
,
Sasa Misailovic
University of Illinois at Urbana-Champaign
,
August Shi
The University of Texas at Austin
15:30 - 17:00
Testing Autonomous Driving Systems
Research Papers
/
Testing Tools and Demonstration
at
Room 2
Chair(s):
Nargiz Humbatova
USI Lugano
15:30
20m
Research paper
Adversarial Testing with Reinforcement Learning: A Case Study on Autonomous Driving
Research Papers
Andréa Doreste
,
Matteo Biagiola
Università della Svizzera italiana
,
Paolo Tonella
USI Lugano
15:50
20m
Research paper
Assessing Quality Metrics for Neural Reality Gap Input Mitigation in Autonomous Driving Testing
Research Papers
Stefano Carlo Lambertenghi
Technische Universität München, fortiss GmbH
,
Andrea Stocco
Technical University of Munich, fortiss
Pre-print
16:10
20m
Research paper
Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification
Research Papers
Ruben Grewal
,
Paolo Tonella
USI Lugano
,
Andrea Stocco
Technical University of Munich, fortiss
Pre-print
16:30
20m
Research paper
AURORA: Navigating UI Tarpits via Automated Neural Screen Understanding
Research Papers
Safwat Ali Khan
George Mason University
,
Wenyu Wang
University of Illinois Urbana-Champaign
,
Yiran Ren
,
Bin Zhu
,
Jiangfan Shi
,
Wing Lam
George Mason University
,
Kevin Moran
University of Central Florida
Pre-print
16:50
10m
Demonstration
U-Fuzz: A Tool for Stateful Fuzzing of IoT Protocols on COTS Devices
Testing Tools and Demonstration
Shang Zewen
,
Matheus Eduardo Garbelini
,
Sudipta Chattopadhyay
Singapore University of Technology and Design
Thu 30 May
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:40
Mutation Testing and Test Prioritizaiton
Research Papers
/
Journal-First Papers
/
Industry
at
Room 2
Chair(s):
Facundo Molina
IMDEA Software Institute
11:00
20m
Industry talk
Towards Mutation-guided Test Suites for Smart Contracts
Industry
Enzo Nicourt
,
Chandrakana Nandi
Certora
,
Ylies Falcone
11:20
20m
Research paper
On the Coupling between Vulnerabilities and LLM-generated Mutants: A Study on Vul4J dataset
Research Papers
Aayush Garg
Luxembourg Institute of Science and Technology
,
Renzo Degiovanni
Luxembourg Institute of Science and Technology
,
Mike Papadakis
University of Luxembourg
,
Yves Le Traon
University of Luxembourg, Luxembourg
Pre-print
11:40
20m
Long-paper
Mutation Testing Optimisations using the Clang Front-end
Journal-First Papers
Sten Vercammen
,
Serge Demeyer
University of Antwerp; Flanders Make
,
Markus Borg
CodeScene
,
Niklas Pettersson
,
Görel Hedin
Lund University
12:00
20m
Research paper
MACS: Multi-agent Adversarial Reinforcement Learning for Finding Diverse Critical Driving Scenarios
Research Papers
Shuting Kang
University of Chinese Academy of Sciences
,
Qian Dong
Institute of Software Chinese Academy of Sciences
,
Yunzhi Xue
Institute of Software Chinese Academy of Sciences
,
Yanjun Wu
Institute of Software, Chinese Academy of Sciences
12:20
20m
Long-paper
Lessons learned from replicating a study on information-retrieval-based test case prioritization
Journal-First Papers
Nasir Mehmood Minhas
Mälardalen University
,
Mohsin Irshad
,
Kai Petersen
University of Applied Sciences Flensburg, Germany / Blekinge Institute of Technology, Sweden
,
Jürgen Börstler
Blekinge Institute of Technology
14:00 - 15:00
Verification and Testing
Industry
/
Journal-First Papers
/
Research Papers
at
Room 2
14:00
20m
Industry talk
Randomised Testing of the Compiler for a Verification-Aware Programming Language
Industry
Alastair F. Donaldson
Imperial College London
,
Dilan Sheth
Imperial College London
,
Jean-Baptiste Tristan
Amazon Web Services
,
Alex Usher
Imperial College London
14:20
20m
Long-paper
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution
Journal-First Papers
Elson Kurian
University of Milano Bicocca
,
Daniela Briola
University of Milano Bicocca
,
Pietro Braione
University of Milano-Bicocca
,
Giovanni Denaro
University of Milano - Bicocca
14:40
20m
Research paper
EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games
Research Papers
Saba Gholizadeh Ansari
Utrecht University
,
Wishnu Prasetya
Utrecht University
,
Frank Dignum
Umea University
,
Mehdi Dastani
,
Gabriele Keller
Utrecht University
Fri 31 May
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:20
Testing with and for Deep and Reinforcement Learning
Research Papers
/
Industry
at
Room 2
11:00
20m
Research paper
METAL: Metamorphic Testing Framework for Analyzing Large-Language Model Qualities
Research Papers
Sangwon Hyun
University of Adelaide
,
Mingyu Guo
,
Muhammad Ali Babar
School of Computer Science, The University of Adelaide
11:20
20m
Industry talk
End-to-end RPA-like testing using reinforcement learning
Industry
Ciprian Paduraru
University of Bucharest
,
Rares Cristea
University of Bucharest
,
Alin Stefanescu
University of Bucharest
11:40
20m
Research paper
Spectral Analysis of the Relation between Deep Learning Faults and Neural Activation Values
Research Papers
Nargiz Humbatova
USI Lugano
,
Gunel Jahangirova
King's College London
,
Paolo Tonella
USI Lugano
12:00
20m
Research paper
Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing
Research Papers
Martin Tappler
TU Wien, Austria
,
Edi Muskardin
,
Bernhard Aichernig
Graz University of Technology
,
Bettina Könighofer
13:30 - 14:30
Metamorphic and Combinatorial Testing
Industry
/
Journal-First Papers
at
Room 2
Chair(s):
Wishnu Prasetya
Utrecht University
13:30
20m
Industry talk
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
Industry
Thomas Laurent
Lero@Trinity College Dublin
,
Paolo Arcaini
National Institute of Informatics
,
Xiao-Yi Zhang
,
Fuyuki Ishikawa
National Institute of Informatics
Pre-print
13:50
20m
Long-paper
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools
Journal-First Papers
Andrea Bombarda
University of Bergamo
,
Angelo Gargantini
University of Bergamo
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 2
IWCT
Opening Session
IWCT
Session on Foundational and Theoretic Aspects of CT
IWCT
Session on Applications of CT
IWCT
Closing Session
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 2
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
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Room 2
Industry + Research Papers
Testing and LLMs
Research Papers + Testing Tools and Demonstration
Testing Autonomous Driving Systems
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 2
Research Papers + Journal-First Papers + Industry
Mutation Testing and Test Prioritizaiton
Industry + Journal-First Papers + Research Papers
Verification and Testing
Fri 31 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
Room 2
Research Papers + Industry
Testing with and for Deep and Reinforcement Learning
Industry + Journal-First Papers
Metamorphic and Combinatorial Testing
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
17:00
15
30
45
Room 2
IWCT
Opening Remarks for IWCT 2024
09:00 - 09:15
IWCT
Keynote
09:15 - 10:15
IWCT
Summary of "An empirical comparison of combinatorial testing and search ...
10:15 - 10:30
IWCT
Algorithmic Optimizations for Deriving Minimal Forbidden Tuples
11:00 - 11:25
IWCT
Double T-Wise Fault Localization: A Novel Approach to Root Cause Analys ...
11:25 - 11:50
IWCT
Use of binary decision diagrams to handle constraints in combinatorial ...
11:50 - 12:15
IWCT
Summary of ``Constrained Detecting Arrays: Mathematical Structures for ...
12:15 - 12:30
IWCT
Assessing the Degree of Feature Interactions that Determine a Model Pre ...
14:00 - 14:30
IWCT
Coverage for Identifying Critical Metadata in Machine Learning Operatin ...
14:30 - 15:00
IWCT
Integrating Product Sampling and Behavioral Testing for Software Produc ...
15:00 - 15:30
IWCT
On Combinatorial Security Testing for the Tor Anonymity Network Client
16:00 - 16:25
IWCT
Summary of CT tools
16:25 - 16:55
IWCT
Closing Remarks for IWCT 2024
16:55 - 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 2
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
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 2
ICST Industry
Are We Testing or Being Tested? Exploring the Practical Applications of ...
11:00 - 11:20
ICST Research Papers
Improving Patch Correctness Analysis via Random Testing and Large Langu ...
11:20 - 11:40
ICST Research Papers
Intent-Driven Mobile GUI Testing with Autonomous Large Language Model A ...
11:40 - 12:00
ICST Research Papers
KAT: Dependency-aware Automated API Testing with Large Language Models
12:00 - 12:20
ICST Research Papers
Quantizing Large-Language Models for Predicting Flaky Tests
12:20 - 12:40
ICST Research Papers
Adversarial Testing with Reinforcement Learning: A Case Study on Autono ...
15:30 - 15:50
ICST Research Papers
Assessing Quality Metrics for Neural Reality Gap Input Mitigation in Au ...
15:50 - 16:10
ICST Research Papers
Predicting Safety Misbehaviours in Autonomous Driving Systems using Unc ...
16:10 - 16:30
ICST Research Papers
AURORA: Navigating UI Tarpits via Automated Neural Screen Understanding
16:30 - 16:50
ICST Testing Tools and Demonstration
U-Fuzz: A Tool for Stateful Fuzzing of IoT Protocols on COTS Devices
16:50 - 17:00
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 2
ICST Industry
Towards Mutation-guided Test Suites for Smart Contracts
11:00 - 11:20
ICST Research Papers
On the Coupling between Vulnerabilities and LLM-generated Mutants: A St ...
11:20 - 11:40
ICST Journal-First Papers
Mutation Testing Optimisations using the Clang Front-end
11:40 - 12:00
ICST Research Papers
MACS: Multi-agent Adversarial Reinforcement Learning for Finding Divers ...
12:00 - 12:20
ICST Journal-First Papers
Lessons learned from replicating a study on information-retrieval-based ...
12:20 - 12:40
ICST Industry
Randomised Testing of the Compiler for a Verification-Aware Programming ...
14:00 - 14:20
ICST Journal-First Papers
Automatically Generating Test Cases for Safety-Critical Software via Sy ...
14:20 - 14:40
ICST Research Papers
EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications ...
14:40 - 15:00
Fri 31 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 2
ICST Research Papers
METAL: Metamorphic Testing Framework for Analyzing Large-Language Model ...
11:00 - 11:20
ICST Industry
End-to-end RPA-like testing using reinforcement learning
11:20 - 11:40
ICST Research Papers
Spectral Analysis of the Relation between Deep Learning Faults and Neur ...
11:40 - 12:00
ICST Research Papers
Learning Environment Models with Continuous Stochastic Dynamics - with ...
12:00 - 12:20
ICST Industry
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
13:30 - 13:50
ICST Journal-First Papers
Design, implementation, and validation of a benchmark generator for co ...
13:50 - 14:10
x
Wed 8 May 21:59