ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland

No information available yet.

Dates
Mon 17 Apr 2023
Tue 18 Apr 2023
Wed 19 Apr 2023
Tracks
ICST Industry
ICST Journal-First Papers
ICST Posters
ICST Previous Editions
ICST Research Papers
ICST Testing Tools
ICST Tool Demo
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 17 Apr

Displayed time zone: Dublin change

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
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
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: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
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: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: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
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
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

Tue 18 Apr

Displayed time zone: Dublin change

11:00 - 12:30
Session 9: FuzzingPrevious Editions / Posters / Industry / Research Papers at Pearse suite
Chair(s): Xavier Devroey University of Namur
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
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: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: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

Wed 19 Apr

Displayed time zone: Dublin change

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
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
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
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: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

Previous edition talks

Title
Address-Aware Query Caching for Symbolic Execution
Previous Editions
DOI
A Framework for Automated API Fuzzing at Enterprise Scale
Previous Editions
DOI
An Empirical Evaluation of Mutation Operators for Deep Learning Systems
Previous Editions
DOI
An Empirical Study of Flaky Tests in Python
Previous Editions
DOI
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests
Previous Editions
DOI
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
Previous Editions
DOI
A Survey on How Test Flakiness Affects Developers and What Support They Need To Address It
Previous Editions
DOI
Automating Differential Testing with Overapproximate Symbolic Execution
Previous Editions
DOI
Digital Twin-based Anomaly Detection in Cyber-physical Systems
Previous Editions
DOI
Evaluating Features for Machine Learning Detection of Order- and Non-Order-Dependent Flaky Tests
Previous Editions
DOI
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods
Previous Editions
DOI
Metamorphic Fuzzing of C++ Libraries
Previous Editions
DOI
Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance
Previous Editions
DOI
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability
Previous Editions
DOI
Quality Metrics and Oracles for Autonomous Vehicles Testing
Previous Editions
DOI
Repairing Fragile GUI Test Cases Using Word and Layout Embedding
Previous Editions
DOI
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
Previous Editions
DOI
Scaling Test Case Generation For Expressive Decision Tables
Previous Editions
DOI
Questions? Use the ICST Previous Editions contact form.
:
: