NEXTA 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
NEXTA Program
Your Program
Tue 31 Dec
Track/Call
Organization
NEXTA 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
NEXTA 2025
NEXTA 2024
NEXTA 2023
NEXTA 2022
NEXTA 2021
NEXTA 2020
Sign in
Sign up
ICST 2024
(
series
) /
NEXTA 2024 (
series
) /
Second Student Centre, York University
/
Room information: Room 2 & 3
Venue
Second Student Centre, York University
Room name
Room 2 & 3
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
Wed 29 May
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:40
Testing and LLMs
ICST Industry
/
ICST Research Papers
at
Room 2 & 3
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
ICST 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
ICST 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
ICST 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
ICST 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
ICST 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
ICST Research Papers
/
ICST Testing Tools and Demonstration
at
Room 2 & 3
Chair(s):
Nargiz Humbatova
USI Lugano
15:30
20m
Research paper
Adversarial Testing with Reinforcement Learning: A Case Study on Autonomous Driving
ICST 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
ICST 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
ICST 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
ICST 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
ICST 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
ICST Research Papers
/
ICST Journal-First Papers
/
ICST Industry
at
Room 2 & 3
Chair(s):
Facundo Molina
IMDEA Software Institute
11:00
20m
Industry talk
Towards Mutation-guided Test Suites for Smart Contracts
ICST Industry
Enzo Nicourt
,
Chandrakana Nandi
Certora
,
Ylies Falcone
Pre-print
11:20
20m
Research paper
On the Coupling between Vulnerabilities and LLM-generated Mutants: A Study on Vul4J dataset
ICST 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
ICST 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
ICST 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
ICST 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
ICST Industry
/
ICST Journal-First Papers
/
ICST Research Papers
at
Room 2 & 3
Chair(s):
Franz Wotawa
Graz University of Technology
14:00
20m
Industry talk
Randomised Testing of the Compiler for a Verification-Aware Programming Language
ICST 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
ICST 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
ICST Research Papers
Saba Gholizadeh Ansari
Utrecht University
,
Wishnu Prasetya
Utrecht University
,
Frank Dignum
Umea University
,
Mehdi Dastani
,
Gabriele Keller
Utrecht University
Pre-print
Fri 31 May
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:20
Testing with and for Deep and Reinforcement Learning
ICST Research Papers
/
ICST Industry
at
Room 2 & 3
Chair(s):
Paolo Arcaini
National Institute of Informatics
11:00
20m
Research paper
METAL: Metamorphic Testing Framework for Analyzing Large-Language Model Qualities
ICST 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
ICST 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
ICST 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
ICST 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
ICST Industry
/
ICST Journal-First Papers
at
Room 2 & 3
Chair(s):
Wishnu Prasetya
Utrecht University
13:30
20m
Industry talk
Metamorphic Testing of an Autonomous Delivery Robots Scheduler
ICST 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
ICST Journal-First Papers
Andrea Bombarda
University of Bergamo
,
Angelo Gargantini
University of Bergamo
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 & 3
ICST Industry + ICST Research Papers
Testing and LLMs
ICST Research Papers + ICST 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 & 3
ICST Research Papers + ICST Journal-First Papers + ICST Industry
Mutation Testing and Test Prioritizaiton
ICST Industry + ICST Journal-First Papers + ICST 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 & 3
ICST Research Papers + ICST Industry
Testing with and for Deep and Reinforcement Learning
ICST Industry + ICST Journal-First Papers
Metamorphic and Combinatorial Testing
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 & 3
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 & 3
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 & 3
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
Thu 21 Nov 23:48