ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 16 Apr

Displayed time zone: Dublin change

08:45 - 10:30
08:45
15m
Day opening
Welcome and introductions
Doctoral Symposium
Jeff Offutt George Mason University, Catia Trubiani Gran Sasso Science Institute
09:00
30m
Keynote
Keynote: How to Give a Great Presentation
Doctoral Symposium
Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit
09:30
30m
Talk
On The Efficiency Of Combination Of Program Slicing and Spectrum-Based Fault Localization
Doctoral Symposium
Péter Attila Soha Department of Software Engineering, University of Szeged
10:00
30m
Talk
Fully Automated Game Testing via Neuroevolution
Doctoral Symposium
Patric Feldmeier University of Passau
08:50 - 10:30
Session on Applications of CTIWCT at Grand canal
08:50
10m
Day opening
Opening Remarks for IWCT
IWCT
Angelo Gargantini University of Bergamo, Bernhard Garn SBA Research
09:00
60m
Keynote
Combinatorial Testing: From Theory to Practice
IWCT
Rachel Tzoref-Brill IBM Research
10:00
30m
Talk
Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study
IWCT
Ludwig Kampel MATRIS Research Group, SBA Research, Michael Wagner SBA Research, Dimitris Simos SBA Research, Mihai Nica AVL List GmbH Graz, Austria, Dino Dodig AVL List GmbH Maribor, Slovenia, David Kaufmann AVL List GmbH Graz, Austria, Franz Wotawa Graz University of Technology
09:00 - 10:30
KeynoteTestEd at Hanover
Chair(s): José Miguel Rojas The University of Sheffield
09:30
60m
Keynote
Teaching Software Testing for Fun
TestEd
K: Gordon Fraser University of Passau
09:00 - 10:30
ITEQS IITEQS at Macken
09:00
5m
Talk
ITEQS Opening
ITEQS

09:05
55m
Keynote
Keynote: Learning-based Testing of Robustness and Time
ITEQS
K: Bernhard Aichernig Graz University of Technology
10:00
30m
Talk
Automated and Systematic Digital Twins Testing for Industrial Processes
ITEQS
Yunpeng Ma Karlstads Universitet, Khalil Younis Karlstads Universitet, Bestoun S. Ahmed Karlstad University, Andreas Kassler Karlstad University, Pavel Krakhmalev Karlstad University, Andreas Thore RISE Research Institutes of Sweden, Hans Lindback Bharat Forge Kilsta AB
Pre-print
10:30 - 11:00
Coffee breakSocial
10:30
30m
Coffee break
Break
Social

11:00 - 12:30
Session on AIIWCT at Grand canal
11:00
30m
Talk
Challenging Autonomy with Combinatorial Testing
IWCT
Simon Diemert Critical System Labs Inc., Adam Casey Critical Systems Labs, Jeremiah Robertson
11:30
30m
Talk
Metric Learning Improves the Ability of Combinatorial Coverage Metrics to Anticipate Classification Error
IWCT
Tyler Cody Virginia Tech, Laura Freeman Virginia Tech
12:00
30m
Talk
Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder
IWCT
Krishna Khadka The University of Texas at Arlington, Jaganmohan Chandrasekaran Virginia Tech, Jeff Yu Lei University of Texas at Arlington, Raghu Kacker National Institute of Standards and Technology, Richard Kuhn National Institute of Standards and Technology
11:00 - 12:30
11:00
30m
Talk
Mining Attributed Input Grammars and their Applications in Fuzzing
Doctoral Symposium
Andreas Pointner University of Applied Sciences Upper Austria, Hagenberg, Austria
11:30
30m
Talk
Towards Context-Aware Spectrum-Based Fault Localization
Doctoral Symposium
Attila Szatmári Szegedi Tudományegyetem
12:00
30m
Talk
Automatic Benchmark Generation for Object Constraint Language
Doctoral Symposium
Ankit Jha Maynooth University
11:00 - 12:30
11:00
30m
Talk
Analysis of mutation operators for FSM testing
Mutation
Danial Nikbin Carleton University, Yvan Labiche
11:30
30m
Talk
A Tool for Mutation Analysis in Racket
Mutation
Bambi Zhuang Northeastern University, James Perretta Northeastern University, Arjun Guha Northeastern University and Roblox Research, Jonathan Bell Northeastern University
12:00
30m
Talk
The Inversive Relationship Between Bugs and Patches: An Empirical Study
Mutation
Jinhan Kim KAIST, Jongchan Park KAIST, Shin Yoo KAIST
Pre-print
11:00 - 12:30
Session 1TestEd at Hanover
Chair(s): Bingyang Wei Texas Christian University
11:00
20m
Talk
Gamekins: Gamifying a Software Testing Course with Continuous Integration
TestEd
I: Philipp Straubinger University of Passau
11:20
20m
Paper
ISTQB-based Software Testing Education: Advantages and Challenges
TestEd
A: Attila Szatmári Szegedi Tudományegyetem, A: Tamás Gergely Department of Software Engineering, University of Szeged, A: Árpád Beszédes Department of Software Engineering, University of Szeged
11:40
20m
Paper
On the Current State of Academic Software Testing Education in Sweden
TestEd
A: Ayodele Barrett Mälardalen University, A: Eduard Paul Enoiu Mälardalen University, A: Wasif Afzal Mälardalen University
Pre-print
11:00 - 12:30
ITEQS IIITEQS at Macken
11:00
30m
Talk
Preliminary results in using attention for increasing attack identification efficiency
ITEQS
Tanwir Ahmad Åbo Akademi University, Dragos Truscan Åbo Akademi University, Jüri Vain Tallinn University of Technology, Estonia
11:30
30m
Talk
Lightweight Method for On-the-fly Detection of Multivariable Atomicity Violations (Best Paper)Best Paper Award
ITEQS
Chang-Hui Bae Gyeongsang National University, Euteum Choi Gyeongsang National Unviersity, Yong-Kee Jun Gyeongsang National University, Ok-Kyoon Ha Kyungwoon University
12:00
30m
Talk
Using Assurance Cases to assure the fulfillment of non-functional requirements of AI-based systems - Lessons learned
ITEQS
Marc Hauer TU Kaiserslautern - Algorithm Accountability Lab , Lena Müller-Kress winnovation consulting gmbh, Gertraud Leimüller winnovation consulting gmbh & leiwand.ai gmbh, Katharina Zweig TU Kaiserslautern - Algorithm Accountability Lab
12:30 - 14:00
LunchSocial
12:30
90m
Lunch
Lunch
Social

14:00 - 15:30
Session on CT theoryIWCT at Grand canal
14:00
30m
Talk
Incremental generation of combinatorial test suites starting from existing seed tests
IWCT
Andrea Bombarda University of Bergamo, Angelo Gargantini University of Bergamo
14:30
30m
Talk
Meta-Heuristic Algorithm for Constructing Higher-Index Covering Arrays for Combinatorial Interaction Testing
IWCT
Gang Qin Osaka University, Junjun Zheng Osaka University, Tatsuhiro Tsuchiya
15:00
30m
Talk
Ordered t-way Combinations for Testing State-based Systems
IWCT
Rick Kuhn National Institute of Standards and Technology, M S Raunak National Institute of Standards and Technology, Raghu Kacker National Institute of Standards and Technology
14:00 - 15:30
14:00
30m
Talk
Mutation Testing in Continuous Integration: An Exploratory Industrial Case Study
Mutation
Jonatan Örgård Chalmers | University of Gothenburg, Gregory Gay Chalmers | University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Kim Viggedal Zenseact
14:30
30m
Talk
Validation of Mutation Testing in the Safety Critical Industry through a Pilot Study
Mutation
Sten Vercammen University of Antwerp, Belgium, Markus Borg CodeScene, Serge Demeyer University of Antwerp; Flanders Make
15:00
30m
Awards
Best paper award and closing
Mutation

14:00 - 15:30
Session 2TestEd at Hanover
Chair(s): Upsorn Praphamontripong University of Virginia
14:00
20m
Paper
An Empirical Evaluation of Regular and Extreme Mutation Testing for Teaching Software Testing
TestEd
A: Martin Balfroid , A: Pierre Luycx University of Namur, A: Benoît Vanderose University of Namur, A: Xavier Devroey University of Namur
Pre-print
14:20
20m
Paper
Teaching Test-Driven Development and Object-Oriented Design by Example
TestEd
A: Bingyang Wei Texas Christian University
14:40
20m
Paper
Process Oriented Guided Inquiry-based learning -like pedagogy (POGIL-like) in Online Software Testing and DevOps – A Replication Study
TestEd
A: Bhuvaneswari Gopal University of Nebraska-Lincoln, A: Steve Cooper University of Nebraska, Lincoln
14:00 - 15:30
ITEQS IIIITEQS at Macken
14:00
30m
Talk
Bottleneck Analysis via Grammar-based Performance Fuzzing
ITEQS
Yavuz Koroglu Graz University of Technology, Franz Wotawa Graz University of Technology
14:30
30m
Talk
Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS
ITEQS
Jonatan Larsson Mälardalen University, Eduard Paul Enoiu Mälardalen University
15:00
10m
Talk
Best paper award and closing
ITEQS

15:30 - 16:00
Coffee breakSocial
15:30
30m
Coffee break
Break
Social

16:00 - 17:30
Session on Short, Journal-First and CT-competitionIWCT at Grand canal
16:00
15m
Talk
Hints in Unified Combinatorial Interaction Testing
IWCT
Cemal Yilmaz Sabancı University, Hanefi Mercan Sabanci University
16:15
15m
Talk
Combinatorial Methods for HTML Sanitizer Security Testing
IWCT
Jovan Zivanovic MATRIS Research Group, SBA Research, Manuel Leithner SBA Research, Dimitris Simos SBA Research, Michael Pitzer mobimed Software GmbH, Peter J. Slanina mobimed Software GmbH
16:30
10m
Talk
Summary of Combinatorial methods for testing Internet of Things smart home systems
IWCT
Bernhard Garn SBA Research, Dominik-Philip Schreiber MATRIS Research Group, SBA Research, Dimitris Simos SBA Research, Rick Kuhn National Institute of Standards and Technology, Jeff Voas NIST, Raghu Kacker National Institute of Standards and Technology
16:40
10m
Talk
Summary of Combinatorial Methods for Dynamic Gray-Box SQL Injection Testing
IWCT
Bernhard Garn SBA Research, Jovan Zivanovic MATRIS Research Group, SBA Research, Manuel Leithner SBA Research, Dimitris Simos SBA Research
16:50
10m
Talk
Summary of In-Parameter-Order strategies for covering perfect hash families
IWCT
Michael Wagner SBA Research, Charles Colbourn Arizona State University, Dimitris Simos SBA Research
17:00
10m
Talk
Summary of Locating Hardware Trojans using Combinatorial Testing for Cryptographic Circuits
IWCT
Ludwig Kampel MATRIS Research Group, SBA Research, Paris Kitsos Electrical and Computer Engineering Department, University of the Peloponnese, Dimitris Simos SBA Research
17:10
15m
Talk
CT Competition results
IWCT
Andrea Bombarda University of Bergamo, Manuel Leithner SBA Research, Michael Wagner SBA Research
17:25
5m
Day closing
Closing Remarks for IWCT 2023
IWCT
Dimitris Simos SBA Research
16:00 - 17:30
Session 3TestEd at Hanover
Chair(s): Lin Deng Towson University
16:00
10m
Paper
Intracompany Training in Software Testing: Experience Report
TestEd
A: Iosif Itkin Exactpro Systems, A: Natia Sirbiladze Exactpro Systems, A: Elena Treshcheva Exactpro Systems, A: Rostislav Yavorskiy Exactpro Systems
16:10
10m
Paper
Code Critters: A Block-Based Testing Game
TestEd
A: Philipp Straubinger University of Passau, A: Laura Caspari University of Passau, A: Gordon Fraser University of Passau
Pre-print
16:20
20m
Paper
ChatGPT and Software Testing Education: Promises & Perils
TestEd
A: Sajed Jalil George Mason University, A: Suzzana Rafi , A: Thomas LaToza George Mason University, A: Kevin Moran George Mason University, A: Wing Lam George Mason University
Pre-print
16:40
50m
Panel
Panel Discussion on ChatGPT
TestEd

17:30 - 19:00
ReceptionSocial
17:45 - 18:30
Steering Committee Meeting IWCTIWCT at Grand canal

Open invitation to all participants of IWCT to join this session.

17:45
45m
Meeting
Steering Committee Meeting IWCT (1745 -- 1845)
IWCT

Mon 17 Apr

Displayed time zone: Dublin change

09:00 - 10:30
Keynote I - Jeff OffuttKeynotes at Grand canal
Chair(s): Mike Papadakis University of Luxembourg, Luxembourg
09:00
90m
Keynote
Test Automation: From slow & weak to fast, flaky, & blind to smart & effective
Keynotes
K: Jeff Offutt George Mason University
10:30 - 11:00
Coffee break Social
10:30
30m
Coffee break
Break
Social

11:00 - 12:30
Session 1: Automated Testing Journal-First Papers / Research Papers / Previous Editions / Testing Tools / Tool Demo at Grand canal
Chair(s): Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur
11:00
20m
Talk
JUGE: An infrastructure for benchmarking Java unit test generators
Journal-First Papers
Xavier Devroey University of Namur, Alessio Gambi IMC University of Applied Sciences Krems, Juan Pablo Galeotti University of Buenos Aires, René Just University of Washington, Fitsum Kifetew Fondazione Bruno Kessler, Annibale Panichella Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences
DOI Authorizer link Pre-print
11:20
20m
Talk
Metamorphic Testing with Causal Graphs
Research Papers
Andrew Graham Clark University of Sheffield, Michael Foster University of Sheffield, Neil Walkinshaw University of Sheffield, Robert Hierons University of Sheffield
11:40
20m
Talk
QEX: Automated Testing Observability and QA Developer Experience Framework
Testing Tools
Luohua Huang Shopee, Joseph Chu Shopee, Keshia Yap Shopee, Hock Yao Chua Shopee
12:00
10m
Talk
ASDF - A Differential Testing Framework for Automatic Speech Recognition Systems
Tool Demo
Daniel Hao Xian Yuen School of Information Technology, Monash University Malaysia, Andrew Yong Chen Pang School of Information Technology, Monash University Malaysia, Zhou Yang Singapore Management University, Chun Yong Chong Monash University Malaysia, Mei Kuan Lim Monash University Malaysia, David Lo Singapore Management University
12:10
20m
Talk
A Framework for Automated API Fuzzing at Enterprise Scale
Previous Editions
Riyadh Mahmood The Aerospace Corporation, Jay Pennington The Aerospace Corporation, Danny Tsang The Aerospace Corporation, Tan Tran The Aerospace Corporation, Andrea Bogle The Aerospace Corporation
DOI
11:00 - 12:30
Session 2: Autonomous & Cyberphysical Systems IResearch Papers / Journal-First Papers at Pearse suite
Chair(s): Shaukat Ali Simula Research Laboratory
11:00
20m
Talk
A Robustness-Based Confidence Measure for Hybrid System Falsification
Journal-First Papers
Toru Takisaka University of Electronic Science and Technology of China, Zhenya Zhang Kyushu University, Paolo Arcaini National Institute of Informatics , Ichiro Hasuo National Institute of Informatics, Japan
Link to publication DOI
11:20
20m
Talk
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping
Research Papers
Philip Tasche University of Twente, Paula Herber University of Munster, Germany
11:40
20m
Talk
Property-Based Mutation Testing
Research Papers
Ezio Bartocci Technische Universität Wien, Leonardo Mariani University of Milano-Bicocca, Dejan Nickovic Austrian Institute of Technology, Drishti Yadav Technische Universität Wien
12:00
20m
Talk
Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment
Research Papers
12:30 - 14:00
LunchSocial
12:30
90m
Lunch
Lunch
Social

14:00 - 15:30
Session 3: Autonomous & Cyberphysical Systems IIPrevious Editions / Industry / Research Papers at Grand canal
Chair(s): Fabrizio Pastore University of Luxembourg
14:00
20m
Talk
Test Maintenance for Machine Learning Systems: A Case Study in the Automotive Industry
Industry
Lukas Berglund Chalmers | University of Gothenburg, Tim Grube Chalmers | University of Gothenburg, Gregory Gay Chalmers | University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Dimitrios Platis Zenseact
14:20
20m
Talk
Digital Twin-based Anomaly Detection in Cyber-physical Systems
Previous Editions
Xu Qinghua , Shaukat Ali Simula Research Laboratory, Tao Yue Simula Research Laboratory
DOI
14:40
20m
Talk
Quality Metrics and Oracles for Autonomous Vehicles Testing
Previous Editions
Gunel Jahangirova USI Lugano, Switzerland, Andrea Stocco Technical University of Munich & fortiss, Paolo Tonella USI Lugano
DOI
15:00
20m
Talk
Simulation-based Test Case Generation for Unmanned Aerial Vehicles in the Neighborhood of Real Flights
Research Papers
Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Sebastiano Panichella Zurich University of Applied Sciences, Paolo Tonella USI Lugano
Pre-print
14:00 - 15:30
Session 4: Fault Localization & DebuggingResearch Papers / Tool Demo / Industry / Journal-First Papers at Pearse suite
Chair(s): Shin Yoo KAIST
14:00
20m
Talk
Flake Aware Culprit Finding
Industry
Tim A. D. Henderson Google LLC, Bobby Dorward Google, Eric Nickell Google, Collin Johnson Google, Avi Kondareddy Google LLC
Pre-print
14:20
20m
Talk
An Empirical Characterization of Software Bugs in Open-Source Cyber-Physical Systems
Journal-First Papers
Fiorella Zampetti University of Sannio, Italy, Ritu Kapur University of Sannio, Massimiliano Di Penta University of Sannio, Italy, Sebastiano Panichella Zurich University of Applied Sciences
14:40
20m
Talk
A Case Against Coverage-Based Program Spectra
Research Papers
Péter Attila Soha Department of Software Engineering, University of Szeged, Tamás Gergely Department of Software Engineering, University of Szeged, Ferenc Horv�th University of Szeged, Department of Software Engineering, Béla Vancsics Department of Software Engineering, University of Szeged, Árpád Beszédes Department of Software Engineering, University of Szeged
15:00
10m
Talk
SFLaaS: Software Fault Localization as a Service
Tool Demo
Qusay Idrees Sarhan Department of Software Engineering, University of Szeged, Hassan Bapeer Hassan University of Duhok, Árpád Beszédes Department of Software Engineering, University of Szeged
15:30 - 16:00
Coffee break Social
15:30
30m
Coffee break
Break
Social

16:00 - 18:00
Session 5: Testing AI/ML systemsResearch Papers / Previous Editions at Grand canal
Chair(s): Jie M. Zhang King's College London
16:00
20m
Talk
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
Previous Editions
Paolo Arcaini National Institute of Informatics , Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo, Daniele Gamba AISent S.r.l., Rita Pedercini AISent S.r.l.
DOI
16:20
20m
Talk
An Empirical Evaluation of Mutation Operators for Deep Learning Systems
Previous Editions
Gunel Jahangirova King's College London, Paolo Tonella USI Lugano
DOI
16:40
20m
Talk
Distributed Repair of Deep Neural Networks
Research Papers
Davide Li Calsi Politecnico di Milano, Matias Duran National Institute of Informatics, Xiaoyi Zhang School of Computer and Communication Engineering, University of Science and Technology Beijing, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics
17:00
20m
Talk
Mutation Testing of Deep Reinforcement Learning Based on Real Faults
Research Papers
Florian Tambon Polytechnique Montréal, Vahid Majdinasab Polytechnique Montréal, Amin Nikanjam École Polytechnique de Montréal, Foutse Khomh Polytechnique Montréal, Giuliano Antoniol Polytechnique Montréal
Pre-print
17:20
20m
Talk
Repairing DNN Architecture: Are We There Yet?
Research Papers
Jinhan Kim KAIST, Nargiz Humbatova USI Lugano, Gunel Jahangirova King's College London, Paolo Tonella USI Lugano, Shin Yoo KAIST
Pre-print
16:00 - 18:00
Session 7: Testing for Safery & Security Industry / Research Papers / Journal-First Papers / Previous Editions at Hanover
Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
16:00
20m
Talk
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study
Industry
Baharin Aliashrafi Jodat University of Ottawa, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Patricio Saavedra RabbitRun Technologies Inc
Pre-print
16:20
20m
Talk
Test environments for large-scale software systems – an industrial study of intrinsic and extrinsic success factors
Journal-First Papers
Torvald Mårtensson Saab AB, Göran Ancher Saab AB, Daniel Ståhl Ericsson AB
16:40
20m
Talk
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
Previous Editions
Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics , Xinyi Wang , Tao Yue Simula Research Laboratory
DOI
17:00
20m
Talk
Heap Fuzzing: Automatic Garbage Collection Testing with Directed Random Events
Research Papers
Guillermo Polito Inria, Cristal, UMR 9189, Université de Lille, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium, Jean Privat Université du Québec à Montréal (UQAM), Nahuel Palumbo Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL
17:20
20m
Talk
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts
Research Papers
Huadong Feng University of Texas at Arlington, Xiaolei Ren University of Texas at Arlington, Qiping Wei University of Texas at Arlington, Jeff Yu Lei University of Texas at Arlington, Raghu Kacker National Institute of Standards and Technology, Richard Kuhn National Institute of Standards and Technology, Dimitris Simos SBA Research
16:00 - 18:00
Session 6: GUI/API testingTesting Tools / Previous Editions / Research Papers / Posters at Pearse suite
Chair(s): Phil McMinn University of Sheffield
16:00
20m
Talk
Repairing Fragile GUI Test Cases Using Word and Layout Embedding
Previous Editions
Juyeon Yoon Korea Advanced Institute of Science and Technology, Seungjun Chung , Kihyuck Shin Samsung Electronics, Jinhan Kim KAIST, Shin Hong Handong Global University, Shin Yoo KAIST
DOI
16:20
20m
Talk
RIDA: Cross-App Record and Replay for Android
Research Papers
Jiayuan Liang Southern University of Science and Technology, Sinan Wang Southern University of Science and Technology, Xiangbo Deng Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology
16:40
20m
Talk
EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research
Testing Tools
Andrea Arcuri Kristiania University College and Oslo Metropolitan University, Man Zhang Kristiania University College, Norway, Amid Golmohammadi Kristiania University College, Asma Belhadi Kristiania University College, Juan Pablo Galeotti University of Buenos Aires, Bogdan Marculescu Kristiania University College, Norway, Susruthan Seran Kristiania University College
17:00
20m
Talk
LatteArt: A Platform for Recording and Analyzing Exploratory Testing
Testing Tools
Hiroyuki Kirinuki NTT, Masaki Tajima NTT Software Innovation Center, Haruto Tanno NTT
17:20
20m
Talk
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability
Previous Editions
Ahcheong Lee KAIST, Irfan Ariq , Yunho Kim Hanyang University, Moonzoo Kim KAIST / VPlusLab Inc.
DOI
17:40
5m
Talk
Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs
Posters
Mahum Naseer Technische Universität Wien, Muhammad Shafique New York University Abu Dhabi
19:00 - 21:00
ReceptionSocial

Tue 18 Apr

Displayed time zone: Dublin change

09:00 - 10:30
Keynote II - Mark Harman and Nadia AlshahwanKeynotes at Grand canal
Chair(s): Sreedevi Sampath University of Maryland Baltimore County
09:00
90m
Keynote
Software Testing Research Challenges: An Industrial Perspective
Keynotes
K: Nadia Alshahwan Facebook, K: Mark Harman Meta Platforms, Inc. and UCL
10:30 - 11:00
Coffee break Social
10:30
30m
Coffee break
Break
Social

11:00 - 12:30
Session 8: Mutation TestingJournal-First Papers / Research Papers at Grand canal
Chair(s): Renzo Degiovanni SnT, University of Luxembourg
11:00
20m
Talk
Mutation testing of PL/SQL programs
Journal-First Papers
Arzu Behiye Tarimci Turkcell Technology, Hasan Sozer Ozyegin University
11:20
20m
Talk
How Closely are Common Mutation Operators Coupled to Real Faults?
Research Papers
Gregory Gay Chalmers | University of Gothenburg, Alireza Salahirad University of South Carolina
11:40
20m
Talk
Batching Non-Conflicting Mutations for Efficient, Safe, Parallel Mutation Analysis in Rust
Research Papers
Zalán Lévai University of Sheffield, Phil McMinn University of Sheffield
12:00
20m
Talk
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations
Research Papers
Agustín Mista Chalmers University of Technology, Alejandro Russo Chalmers University of Technology, Sweden
11:00 - 12:30
Session 9: FuzzingPrevious Editions / Posters / Industry / Research Papers at Pearse suite
Chair(s): Xavier Devroey University of Namur
11:00
20m
Talk
Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages
Industry
Alastair F. Donaldson Imperial College London, Ben Clayton Google, Ryan Harrison Google, Hasan Mohsin Imperial College London, David Neto Google, Vasyl Teliman National Technical University of Ukraine, Hana Watson Imperial College London
11:20
20m
Talk
Metamorphic Fuzzing of C++ Libraries
Previous Editions
Andrei Lascu Imperial College London, Alastair F. Donaldson Imperial College London, Tobias Grosser University of Edinburgh, Torsten Hoefler ETH Zurich
DOI
11:40
20m
Talk
Android Fuzzing: Balancing User-Inputs and Intents
Research Papers
Michael Auer University of Passau, Andreas Stahlbauer University of Passau, Gordon Fraser University of Passau
12:00
20m
Talk
Homo in Machina: Improving Fuzz Testing Coverage via Compartment Analysis
Research Papers
Joshua Bundt Northeastern University, Andrew Fasano Northeastern University, Brendan Dolan-Gavitt New York University, William Robertson Northeastern University, USA, Tim Leek MIT Lincoln Laboratory
12:20
5m
Talk
Poster: BugOSS: A Regression Bug Benchmark for Empirical Study of Regression Fuzzing Techniques
Posters
Jeewoong Kim Handong Global University, Shin Hong Handong Global University
12:30 - 14:00
LunchSocial
12:30
90m
Lunch
Lunch
Social

14:00 - 15:30
Session 10: Program RepairResearch Papers / Previous Editions / Posters at Grand canal
Chair(s): Gunel Jahangirova USI Lugano, Switzerland
14:00
20m
Talk
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods
Previous Editions
Amirfarhad Nilizadeh University of Central Florida, Gary T. Leavens University of Central Florida, Xuan Bach D. Le The University of Melbourne, Corina S. Păsăreanu Carnegie Mellon University, David Cok Safer Software Consulting, LLC
DOI
14:20
20m
Talk
Embedding Context as Code Dependencies for Neural Program Repair
Research Papers
Noor Nashid University of British Columbia, Mifta Sintaha University of British Columbia, Ali Mesbah University of British Columbia (UBC)
14:40
20m
Talk
CorCA: An Automatic Program Repair Tool for Checking and Removing Effectively C Flaws
Research Papers
João Inácio LASIGE, Faculdade de Ciências da Universidade de Lisboa, Ibéria Medeiros LaSIGE, Faculdade de Ciências da Universidade de Lisboa
15:00
20m
Talk
Set the right example when teaching programming: Test Informed Learning with Examples (TILE)
Research Papers
Niels Doorn Open Universiteit and NHL Stenden University of Applied Sciences, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit, Beatriz Marín Universitat Politècnica de València, Erik Barendsen Open Universiteit
15:20
5m
Talk
Poster: Software Fault Localization as a Service (SFLaaS)
Posters
Qusay Idrees Sarhan Department of Software Engineering, University of Szeged, Hassan Bapeer Hassan University of Duhok, Árpád Beszédes Department of Software Engineering, University of Szeged
15:25
5m
Talk
Poster: Improving Spectrum Based Fault Localization For Python Programs Using Weighted Code Elements
Posters
Qusay Idrees Sarhan Department of Software Engineering, University of Szeged, Árpád Beszédes Department of Software Engineering, University of Szeged
14:00 - 15:30
Session 11: Test GenerationJournal-First Papers / Previous Editions / Research Papers / Tool Demo at Pearse suite
Chair(s): Gregory Gay Chalmers | University of Gothenburg
14:00
20m
Talk
Automatic Creation of Acceptance Tests by Extracting Conditionals from Requirements: NLP Approach and Case Study
Journal-First Papers
Jannik Fischbach Netlight GmbH / fortiss GmbH, Julian Frattini Blekinge Institute of Technology, Andreas Vogelsang University of Cologne, Daniel Mendez Blekinge Institute of Technology, Michael Unterkalmsteiner Blekinge Institute of Technology, Andreas Wehrle Allianz Deutschland AG, Pablo Restrepo Henao Technical University of Munich, Parisa Yousefi Ericsson, Tedi Juricic Ericsson, Jeannette Radduenz Allianz Deutschland, Carsten Wiecher Kostal Automobil Elektrik GmbH & Co. KG
14:20
20m
Talk
Scaling Test Case Generation For Expressive Decision Tables
Previous Editions
Supriya Agrawal Tata Consultancy Services Ltd. (TCS), R. Venkatesh , Ulka Shrotri Tata Consultancy Services Ltd. (TCS), Amey Zare TCS Research, Sagar Verma Tata Consultancy Services Ltd. (TCS)
DOI
14:40
20m
Talk
Spectacular: Finding Laws from 25 Trillion Programs
Research Papers
Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Diego Roque Dark Forest Technologies, James Koppel Massachusetts Institute of Technology, USA
15:00
20m
Talk
Pairwise Testing Revisited for Structured Data With Constraints
Research Papers
Luca V. Sartori LAAS-CNRS, Helene Waeselynck LAAS-CNRS, Jérémie Guiochet LAAS-CNRS
15:20
10m
Talk
RICK: Generating Mocks from Production Data
Tool Demo
Deepika Tiwari KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH
15:30 - 16:00
Coffee break and poster sessionSocial
15:30
30m
Coffee break
Break
Social

16:00 - 17:30
MIPsMIPs at Grand canal
Chair(s): Mike Papadakis University of Luxembourg, Luxembourg
16:00
45m
Talk
CrowdOracles: Can the Crowd Solve the Oracle Problem?
MIPs
Fabrizio Pastore University of Luxembourg, Leonardo Mariani University of Milano-Bicocca, Gordon Fraser University of Passau
DOI
16:45
45m
Talk
ACTS: A Combinatorial Test Generation Tool
MIPs
Linbin Yu , Yu Lei , Raghu Kacker National Institute of Standards and Technology, Richard Kuhn National Institute of Standards and Technology
DOI
17:30 - 18:00
Open Steering Committee MeetingKeynotes at Grand canal
17:30
30m
Meeting
Open Steering Committee Meeting
Keynotes

19:30 - 21:00
BanquetSocial
19:30
90m
Dinner
Dinner
Social

Wed 19 Apr

Displayed time zone: Dublin change

09:00 - 10:30
Keynote III - Yves Le TraonKeynotes at Grand canal
Chair(s): Anthony Ventresque Trinity College Dublin & Lero, Ireland
09:00
90m
Keynote
AI is a game-changing technology: how to test and robustify Machine-Learning software?
Keynotes
K: Yves Le Traon University of Luxembourg, Luxembourg
10:30 - 11:00
Coffee break Social
10:30
30m
Coffee break
Break
Social

11:00 - 12:30
Session 12: Regression Testing Previous Editions / Industry / Testing Tools / Journal-First Papers at Grand canal
Chair(s): Yvan Labiche Carleton University
11:00
20m
Talk
Severity-Aware Prioritization of System-Level Regression Tests in Automotive Software
Industry
Roland Würsching Technical University of Munich, Daniel Elsner TU Munich, Fabian Leinen Technical University of Munich, Alexander Pretschner Technical University of Munich, Georg Grueneissl MAN Truck & Bus SE, Thomas Neumeyr MAN Truck & Bus SE, Tobias Vosseler MAN Truck & Bus SE
11:20
20m
Talk
BinaryRTS: Cross-language Regression Test Selection for C++ Binaries in CI
Industry
Daniel Elsner TU Munich, Severin Kacianka Technical University of Munich, Stephan Lipp Technical University of Munich, Alexander Pretschner TU Munich, Axel Habermann IVU Traffic Technologies, Maria Graber IVU Traffic Technologies, Silke Reimer IVU Traffic Technologies
Pre-print
11:40
20m
Talk
An Overview of Regression Test Prioritization by Delta Displacement in Test Coverage
Journal-First Papers
Shouvick Mondal IIT Gandhinagar, India, Rupesh Nasre IIT Madras, India
Link to publication DOI Media Attached
12:00
20m
Talk
Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance
Previous Editions
Samiha Shimmi Northern Illinois University, Mona Rahimi Northern Illinois University
DOI
12:20
20m
Talk
DIRTS: Dependency Injection Aware Regression Test Selection
Testing Tools
Simon Hundsdorfer Technical University of Munich, Daniel Elsner TU Munich, Alexander Pretschner TU Munich
Pre-print
11:00 - 12:30
Session 13: Testing with Static Analysis MethodsResearch Papers / Previous Editions at Pearse suite
Chair(s): Paolo Arcaini National Institute of Informatics
11:00
20m
Talk
Address-Aware Query Caching for Symbolic Execution
Previous Editions
David Trabish Tel Aviv University, Shachar Itzhaky Technion, Noam Rinetzky Tel Aviv University
DOI
11:20
20m
Talk
Automating Differential Testing with Overapproximate Symbolic Execution
Previous Editions
Richard Rutledge Georgia Institute of Technology, Alessandro Orso Georgia Tech
DOI
11:40
20m
Talk
Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis
Research Papers
Kadiray Karakaya Heinz Nixdorf Institut, Paderborn University, Eric Bodden
Pre-print Media Attached
12:00
20m
Talk
Model Generation For Java Frameworks
Research Papers
Linghui Luo Amazon Web Services, Goran Piskachev Amazon Web Services, Ranjith Krishnamurthy Fraunhofer IEM, Julian Dolby IBM Research, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Martin Schäf Amazon Web Services
12:30 - 14:00
LunchSocial
12:30
90m
Lunch
Lunch
Social

14:00 - 15:40
Session 14: Web TestingJournal-First Papers / Industry / Research Papers at Grand canal
Chair(s): Thomas Laurent JSPS@National Institute of Informatics, Japan
14:00
20m
Talk
Challenges of End-to-End Testing with Selenium WebDriver and How to Face Them: A Survey
Industry
Maurizio Leotta DIBRIS, University of Genova, Italy, Boni Garcia Universidad Carlos III de Madrid, Filippo Ricca Università di Genova, Jim Whitehead University of California, Santa Cruz
14:20
20m
Talk
E2E-Loader: A Framework to Support Performance Testing of Web Applications
Industry
Ermanno Battista Fervento srl, Sergio Di Martino Università degli Studi di Napoli Federico II, Sergio Di Meglio Department of Electrical Engineering and Information Technology Università degli Studi di Napoli Federico II, Fabio Scippacercola Fervento srl, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II
14:40
20m
Talk
Automated Web Application Testing driven by Pre-recorded Test Cases
Journal-First Papers
Hasan Sozer Ozyegin University, Nezih Sunman Siemens, Yigit Soydan Ozyegin University
15:00
20m
Talk
Robust web element identification for evolving applications by considering visual overlaps
Research Papers
Michel Nass Blekinge Institute of Technology, Riccardo Coppola Politecnico di Torino, Emil Alégroth Blekinge Institute of Technology, Robert Feldt Chalmers University of Technology, Sweden
15:20
20m
Talk
Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics
Industry
Jinkook Kim Samsung Electronics Co., Minseok Jeon Korea University, Sejeong Jang Samsung Electronics Co., Hakjoo Oh Korea University
14:00 - 15:40
Session 15: Flaky TestsPrevious Editions / Research Papers at Pearse suite
Chair(s): John Micco VMware
14:00
20m
Talk
Evaluating Features for Machine Learning Detection of Order- and Non-Order-Dependent Flaky Tests
Previous Editions
Owain Parry The University of Sheffield, Gregory Kapfhammer Allegheny College, Michael Hilton Carnegie Mellon University, Phil McMinn University of Sheffield
DOI
14:20
20m
Talk
An Empirical Study of Flaky Tests in Python
Previous Editions
Martin Gruber BMW Group, University of Passau, Stephan Lukasczyk University of Passau, Florian Kroiß , Gordon Fraser University of Passau
DOI
14:40
20m
Talk
A Survey on How Test Flakiness Affects Developers and What Support They Need To Address It
Previous Editions
Martin Gruber BMW Group, University of Passau, Gordon Fraser University of Passau
DOI
15:00
20m
Talk
Practical Flaky Test Prediction using Common Code Evolution and Test History Data
Research Papers
Martin Gruber BMW Group, University of Passau, Michael Heine BMW Group; Friedrich-Alexander Universität Erlangen-Nürnberg (FAU), Programming Systems Group, Norbert Oster Friedrich-Alexander Universität Erlangen-Nürnberg (FAU), Programming Systems Group, Michael Philippsen Friedrich-Alexander Universität Erlangen-Nürnberg (FAU), Programming Systems Group, Gordon Fraser University of Passau
Pre-print
15:20
20m
Talk
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests
Previous Editions
Sarra Habchi Ubisoft, Guillaume Haben University of Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Maxime Cordy University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
DOI
15:30 - 16:00
Coffee breakSocial
15:30
30m
Coffee break
Break
Social

Thu 20 Apr

Displayed time zone: Dublin change

09:00 - 10:30
Session 1NEXTA at Grand canal
Chair(s): Sahar Tahvili Ericsson AB

Welcome by the General Chair

09:00
15m
Day opening
Welcome by the General Chair
NEXTA
Sahar Tahvili Ericsson AB
09:15
45m
Keynote
What's Next After AI-driven Conversational Test Automation?
NEXTA
Robert Feldt Chalmers | University of Gothenburg, Blekinge Institute of Technology
10:00
30m
Research paper
Test Cost Reduction for 5G and Beyond using Machine Learning
NEXTA
09:00 - 10:30
Opening and Research Papers 1AIST at Grand canal 3
Chair(s): Gregory Gay Chalmers | University of Gothenburg
09:00
30m
Talk
Generating concrete test cases from vehicle data using models obtained from clustering
AIST
Nour Chetouane Institute for Software Technology, Graz University of Technology, Franz Wotawa Graz University of Technology
09:30
30m
Talk
Towards Explainable Test Case Prioritisation with Learning-to-Rank Models
AIST
Aurora Ramírez University of Córdoba, Mario Berrios University of Córdoba, José Raúl Romero University of Cordoba, Spain, Robert Feldt Chalmers University of Technology, Sweden
10:00
30m
Talk
Automating GUI-based Software Testing with GPT-3
AIST
Daniel Zimmermann FZI Research Center for Information Technology, Anne Koziolek KASTEL - Institute of Information Security and Dependability
09:00 - 10:30
Session 1InSTA at Grand canal 4
09:00
10m
Day opening
Welcome and Opening Message InSTA 2023
InSTA
Yasuharu Nishi University of Electro-Communications, Tokyo
09:10
30m
Talk
Software Test Architecture and UTP Test Architecture
InSTA
Jon D. Hagar Grand Software Testing, LLC, Hot Sulphur Springs, CO, Marc-Florian Wendland Fraunhofer Fokus
09:40
30m
Talk
Semantic-based and Learning-based Regression Test Selection focusing on Test Objectives
InSTA
Junji Suzuki , Yasuharu Nishi University of Electro-Communications, Tokyo, Shoma Tanaka , Kimihiko Naruse , Minako Shimoji , Zhen Zhong
10:10
20m
Other
Information exchange in InSTA
InSTA

09:00 - 10:30
Morning Session 1A-MOST at Hanover
Chair(s): Cristina Seceleanu Mälardalen University
09:00
15m
Day opening
Welcome and Opening Message A-MOST 23
A-MOST
Florian Lorber Aalborg University, Cristina Seceleanu Mälardalen University, Uraz Cengiz Türker Lancaster University (UK)
09:15
75m
Keynote
Keynote: Principles of Model-Based Testing
A-MOST
Jan Tretmans Radboud University Nijmegen, TNO-ESI
09:00 - 10:30
09:00
15m
Day opening
Welcome and Opening Message
INTUITESTBEDS
Riccardo Coppola Politecnico di Torino, Andreas Bauer Blekinge Institute of Technology, SERL Sweden, Michel Nass Blekinge Institute of Technology
09:15
45m
Keynote
I. S. W. B. Prasetya - Ready Agent One: Automatically Play Testing Computer Games
INTUITESTBEDS
Wishnu Prasetya Utrecht University
10:00
30m
Paper
Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests
INTUITESTBEDS
Matej Klima , Miroslav Bures Czech Technical University, Czechia, Michaela Kubisova , Pavel Herout University of West Bohemia, Pilsen, CZ
10:30 - 11:00
Coffee breakSocial
10:30
30m
Coffee break
Break
Social

11:00 - 12:30
Session 2NEXTA at Grand canal
Chair(s): Kristian Sandahl Linköping University
11:00
30m
Research paper
Systematically Generated Formulas for Spectrum-Based Fault Localization
NEXTA
Qusay Idrees Sarhan Department of Software Engineering, University of Szeged, Tamás Gergely Department of Software Engineering, University of Szeged, Árpád Beszédes Department of Software Engineering, University of Szeged
11:30
30m
Research paper
An Intelligent Monitoring Algorithm to Detect Dependencies between Test Cases in the Manual Integration Process
NEXTA
12:00
30m
Research paper
Marco Polo - A Tool for Automated Exploratory Testing of Previously Unseen Online Stores
NEXTA
Cristina Gatt University of Malta, Mark Micallef University of Malta, Mark Bugeja University of Malta
11:00 - 12:30
KeynoteAIST at Grand canal 3
Chair(s): Gregory Gay Chalmers | University of Gothenburg
11:00
90m
Keynote
Testing and Development Challenges for Complex Cyber-Physical Systems: Insights from the COSMOS H2020 Project
AIST
Sebastiano Panichella Zurich University of Applied Sciences
11:00 - 12:30
Session 2InSTA at Grand canal 4
11:00
30m
Talk
Semantic Metamorphic Testing focusing on Object Rarity
InSTA
Yasuharu Nishi University of Electro-Communications, Tokyo, Hidenori Hidenori , Yuma Torikoshi The University of Electro-Communications
11:30
30m
Talk
Elements for a Test Architecture Language
InSTA
12:00
5m
Day closing
Closing
InSTA

11:00 - 12:30
Morning Session 2A-MOST at Hanover
Chair(s): Jan Tretmans Radboud University Nijmegen, TNO-ESI
11:00
30m
Talk
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems
A-MOST
Mikael Ebrahimi Salari Mälardalen University, Eduard Paul Enoiu Mälardalen University, Wasif Afzal Mälardalen University, Cristina Seceleanu Mälardalen University
11:30
30m
Talk
Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems
A-MOST
Rong Gu Mälardalen University, Eduard Paul Enoiu Mälardalen University
12:00
30m
Talk
We Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based Testing
A-MOST
Andreas Bauer Blekinge Institute of Technology, SERL Sweden, Emil Alégroth Blekinge Institute of Technology
11:00 - 12:30
11:00
30m
Paper
Action-Based Test Carving for Android Apps
INTUITESTBEDS
Alessio Gambi , Hemant Gouni University of Minnesota at Twin Cities, Daniel Berreiter , Vsevolod Tymofyeyev University of Passau, Mattia Fazzini University of Minnesota
11:30
30m
Paper
An analysis of widget layout attributes to support Android GUI-based testing
INTUITESTBEDS
Tommaso Fulcini Politecnico di Torino, Riccardo Coppola Politecnico di Torino, Marco Torchiano Politecnico di Torino, Luca Ardito Politecnico di Torino
12:00
30m
Paper
From User Stories to End-to-end Web Testing
INTUITESTBEDS
Humaid Mollah , Petra van den Bos University of Twente, The Netherlands
12:30 - 14:00
LunchSocial
12:30
90m
Lunch
Lunch
Social

14:00 - 15:30
Research Papers 2AIST at Grand canal 3
Chair(s): Afonso Fontes Chalmers | University of Gothenburg
14:00
30m
Talk
Similarities of Testing Programmed and Learnt Software
AIST
Felix Dobslaw Mid Sweden University, Robert Feldt Chalmers University of Technology, Sweden
14:30
30m
Talk
Evaluating the Effectiveness of Attacks and Defenses on Machine Learning Through Adversarial Samples
AIST
Viraj Rohit Gala Fraunhofer FOKUS, Martin A. Schneider Fraunhofer FOKUS
15:00
30m
Talk
Regression Test Generation by Usage Coverage Driven Clustering on User Traces
AIST
Frédéric Tamagnan Femto-ST / Univ. of Franche-comte, Fabrice Bouquet University of Bourgogne Franche-Comté, Alexandre Vernotte smartesting, Bruno Legeard Université de Bourgogne Franche-Comté and Smartesting
14:00 - 15:30
Afternoon Session 1A-MOST at Hanover
Chair(s): Cristina Seceleanu Mälardalen University
14:00
30m
Talk
From BDD Scenarios to Test Case Generation
A-MOST
Tannaz Zameni University of Twente, Petra van den Bos University of Twente, The Netherlands, Jan Tretmans Radboud University Nijmegen, TNO-ESI, Johan Foederer Topic Embedded Systems, Arend Rensink University of Twente, The Netherlands
14:30
30m
Talk
ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
A-MOST
Francesco Basciani University of L'Aquila, Vittorio Cortellessa University of L'Aquila, Sergio Di Martino Università degli Studi di Napoli Federico II, Dario Di Nucci University of Salerno, Daniele Di Pompeo University of L'Aquila, Carmine Gravino University of Salerno, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II
15:00
30m
Panel
Discussion: "Testing Autonomous Systems: Some Immediate Questions"
A-MOST

15:30 - 16:00
Coffee breakSocial
15:30
30m
Coffee break
Break
Social

16:00 - 17:30
Session 4NEXTA at Grand canal
Chair(s): Sahar Tahvili Ericsson AB
16:00
90m
Day closing
Closing Remarks and Presentation of Best Paper Award
NEXTA
Sahar Tahvili Ericsson AB
16:00 - 17:30
Discussion: Software Testing in 2030AIST at Grand canal 3
Chair(s): Gregory Gay Chalmers | University of Gothenburg
16:00 - 17:30
Afternoon Session 2A-MOST at Hanover
Chair(s): Florian Lorber Aalborg University
16:00
30m
Talk
Improving Model Learning by Inferring Separating Sequences from Traces
A-MOST
Rafael Braz ICMC/USP, Adenilso Simão University of São Paulo, Roland Groz LIG/UGA, Catherine Oriat LIG/UGA
16:30
30m
Talk
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
A-MOST
Jaime Cuartas Universidad del Valle, Jesus Aranda Universidad del Valle, Maxime Cordy University of Luxembourg, Luxembourg, James Ortiz Université de Namur, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Pierre Yves Schobbens University of Namur
17:00
15m
Day closing
Closing A-MOST 23 and Welcoming A-MOST 24!
A-MOST
Florian Lorber Aalborg University, Cristina Seceleanu Mälardalen University, Uraz Cengiz Türker Lancaster University (UK)
16:00 - 17:30
Panel DiscussionCCIW at Macken
Chair(s): Tim A. D. Henderson Google LLC, John Micco VMware
16:00
90m
Panel
What are the biggest challenges in large scale CI/CD?
CCIW