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

Room information: Room 2 & 3

VenueSecond Student Centre, York University
Room nameRoom 2 & 3
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

Wed 29 May

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

11:00 - 12:40
Testing and LLMsICST 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 SystemsICST 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 PrioritizaitonICST 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 TestingICST 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 LearningICST 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 TestingICST 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

Room11:003012:003013:003014:003015:003016:0030
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

Room11:003012:003013:003014:0030
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

Room11:003012:003013:003014:0030
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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room11:0015304512:0015304513:0015304514:00153045
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

Room11:0015304512:0015304513:0015304514:00153045
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