ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland
VenueClayton Hotel Cardiff Lane
Room namePearse suite
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

Mon 17 Apr

Displayed time zone: Dublin change

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

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

Wed 19 Apr

Displayed time zone: Dublin change

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

Thu 20 Apr

Displayed time zone: Dublin change

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
11:00 - 12:30
11:00
30m
Paper
Action-Based Test Carving for Android Apps
INTUITESTBEDS
Alessio Gambi IMC University of Applied Sciences Krems, 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