InSTA 2022
Mon 4 - Wed 13 April 2022
co-located with
ICST 2022
Toggle navigation
Attending
Virtual: Appendee
Program
Complete Program
Your Program
Filter by Day
Mon 4 Apr
Tue 5 Apr
Wed 6 Apr
Thu 7 Apr
Fri 8 Apr
Sat 9 Apr
Sun 10 Apr
Mon 11 Apr
Tue 12 Apr
Wed 13 Apr
Track/Call
Organization
InSTA 2022 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
InSTA 2024
InSTA 2023
InSTA 2022
InSTA 2021
InSTA 2020
Sign in
Sign up
ICST 2022
(
series
) /
InSTA 2022 (
series
) /
Appendee
/
Room information: Margaret Hamilton
Venue
Appendee
Room name
Margaret Hamilton
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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06: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-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Mon 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 09:05
AIST Opening
AIST
at
Margaret Hamilton
Chair(s):
Alexandra Mendes
Faculty of Engineering, University of Porto & INESC TEC
09:00
5m
Day opening
Welcome
AIST
09:05 - 10:05
AIST Keynote
AIST
at
Margaret Hamilton
Chair(s):
Alexandra Mendes
Faculty of Engineering, University of Porto & INESC TEC
09:05
60m
Keynote
Sequence to sequence learning for software testing
AIST
Martin Monperrus
KTH Royal Institute of Technology
10:05 - 10:25
AIST I
AIST
at
Margaret Hamilton
Chair(s):
Alexandra Mendes
Faculty of Engineering, University of Porto & INESC TEC
10:05
20m
Talk
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
AIST
Miguel Trinca
INESC-ID & Instituto Superior Técnico, University of Lisbon
,
João F. Ferreira
INESC-ID and IST, University of Lisbon
,
Rui Abreu
Faculty of Engineering, University of Porto, Portugal
10:45 - 11:45
AIST II
AIST
at
Margaret Hamilton
Chair(s):
Mark Micallef
University of Malta
10:45
30m
Talk
TCP-Net: Test Case Prioritization using End-to-End Deep Neural Networks
AIST
Reem Eladawi
Siemens EDA
,
Mohamed Abdelkarim
Siemens EDA
11:15
30m
Talk
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques
AIST
Mohit Kumar Ahuja
Simula Research Laboratory
,
Arnaud Gotlieb
Simula Research Laboratory
,
Helge Spieker
Simula Research Laboratory, Norway
Pre-print
11:55 - 12:45
AIST III
AIST
at
Margaret Hamilton
Chair(s):
Mohit Kumar Ahuja
Simula Research Laboratory
11:55
30m
Talk
Clustering of Usage Traces for Regression Test Cases Selection
AIST
Vahana Dorcis
University of Burgundy Franche-Comte - FEMTO-ST
,
Fabrice Bouquet
University of Bourgogne Franche-Comté
,
Frédéric Dadeau
Univ. Bourgogne Franche-Comté FEMTO-ST Institute/DISC, CNRS, Besançon
12:25
20m
Talk
Towards Domain-Specific Exploratory Testing via Behavioural Cloning
AIST
Cristina Gatt
University of Malta
,
Mark Micallef
University of Malta
,
Mark Bugeja
University of Malta
12:45 - 12:50
AIST Closing
AIST
at
Margaret Hamilton
Chair(s):
Alexandra Mendes
Faculty of Engineering, University of Porto & INESC TEC
12:45
5m
Day closing
Closing
AIST
Tue 5 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:45 - 10:15
ICST Opening
ICST Research Papers
at
Margaret Hamilton
09:45
30m
Day opening
Opening
ICST Research Papers
10:15 - 11:00
ICST Keynote I
ICST Keynotes
at
Margaret Hamilton
10:15
45m
Keynote
Misconceptions in deep learning testing
ICST Keynotes
Paolo Tonella
USI Lugano
11:30 - 12:45
ICST Automated Testing I
ICST Testing Tools
/
ICST Research Papers
at
Margaret Hamilton
Chair(s):
Tanja E. J. Vos
Universitat Politècnica de València and Open Universiteit
11:30
15m
Talk
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
ICST Research Papers
Hooman Asadian
Uppsala University
,
Paul Fiterau-Brostean
Uppsala University
,
Bengt Jonsson
Uppsala University, Sweden
,
Konstantinos (Kostis) Sagonas
Uppsala University, Sweden
Pre-print
11:45
15m
Talk
Model-based Testing of Scratch Programs
ICST Testing Tools
Katharina Götz
University of Passau
,
Patric Feldmeier
University of Passau
,
Gordon Fraser
University of Passau
12:00
15m
Talk
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs
ICST Testing Tools
Robert Sebastian Herlim
KAIST
,
Yunho Kim
Hanyang University
,
Moonzoo Kim
KAIST / VPlusLab Inc.
12:15
15m
Talk
Symbolic Verification of Message Signatures in MPI
ICST Research Papers
Hengbiao Yu
National University of Defense Technology
,
Banghu Yin
National University of Defense Technology
,
Xin Yi
National University of Defense Technology
12:30
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
14:00 - 15:15
ICST Field / Production testing
ICST Research Papers
/
ICST Industry
at
Margaret Hamilton
Chair(s):
Annibale Panichella
Delft University of Technology
14:00
15m
Talk
Testing Software in Production Environments with Data from the Field
ICST Research Papers
Luca Gazzola
Università degli Studi di Milano-Bicocca
,
Leonardo Mariani
University of Milano-Bicocca
,
Matteo Orru
University of Milano Bicocca
,
Mauro Pezze
USI Lugano; Schaffhausen Institute of Technology
,
Martin Tappler
TU Graz; Silicon Austria Labs
14:15
15m
Talk
Automatic Error Classification and Root Cause Determination while Replaying Recorded Workload Data at SAP HANA
ICST Industry
Neetha Jambigi
University of Innsbruck
,
Thomas Bach
SAP
,
Felix Schabernack
SAP
,
Michael Felderer
University of Innsbruck
14:30
15m
Talk
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp
ICST Industry
Ke Mao
Meta
,
Timotej Kapus
Facebook, Inc.
,
Lambros Petrou
Facebook, Inc.
,
Ákos Hajdu
Facebook
,
Matteo Marescotti
Facebook, Inc.
,
Andreas Löscher
Facebook, Inc.
,
Mark Harman
Facebook, Inc.
,
Dino Distefano
Facebook London
14:45
15m
Talk
Smoke Testing of Cloud Systems
ICST Research Papers
Cecilio Cannavacciuolo
,
Leonardo Mariani
University of Milano-Bicocca
15:00
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
15:45 - 16:45
ICST AI I
ICST Research Papers
/
ICST Industry
at
Margaret Hamilton
Chair(s):
Raihana Ferdous
Fondazione Bruno Kessler
15:45
15m
Talk
IFRIT: Focused Testing through Deep Reinforcement Learning
ICST Research Papers
Andrea Romdhana
DIBRIS - University of Genoa, FBK - Security & Trust unit
,
Mariano Ceccato
University of Verona
,
Alessio Merlo
DIBRIS - University of Genoa
,
Paolo Tonella
USI Lugano
16:00
15m
Talk
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
ICST Industry
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.
Pre-print
16:15
15m
Talk
Evaluating Features for Machine Learning Detection of Order- and Non-Order-Dependent Flaky Tests
ICST Research Papers
Owain Parry
The University of Sheffield
,
Gregory Kapfhammer
Allegheny College
,
Michael Hilton
Carnegie Mellon University, USA
,
Phil McMinn
University of Sheffield
16:30
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
17:00 - 18:00
Social
ICST Research Papers
at
Margaret Hamilton
17:00
60m
Social Event
Pubquiz I
ICST Research Papers
19:30 - 20:45
ICST GUI Testing and Fuzzing
ICST Research Papers
/
ICST Tool Demos
at
Margaret Hamilton
Chair(s):
Andrea Stocco
Università della Svizzera italiana (USI)
19:30
15m
Talk
A Framework for Automated API Fuzzing at Enterprise Scale
ICST Research Papers
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
19:45
15m
Talk
GUI Test Transfer from Web to Android
ICST Research Papers
Jun-Wei Lin
University of California, Irvine
,
Sam Malek
University of California at Irvine, USA
20:00
15m
Talk
DTLS-Fuzzer: A DTLS Protocol State Fuzzer
ICST Tool Demos
Paul Fiterau-Brostean
Uppsala University
,
Bengt Jonsson
Uppsala University, Sweden
,
Konstantinos (Kostis) Sagonas
Uppsala University, Sweden
,
Fredrik Tåkvist
Uppsala University
Pre-print
Media Attached
20:15
15m
Talk
Automated Detection of TalkBack Interactive Accessibility Failures in Android Applications
ICST Research Papers
Ali S. Alotaibi
University of Southern California
,
Paul T. Chiou
University of Southern California
,
William G.J. Halfond
University of Southern California
20:30
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
Wed 6 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:45 - 11:00
ICST Regression Testing
ICST Research Papers
/
ICST Journal-First Papers
/
ICST Industry
at
Margaret Hamilton
Chair(s):
Rachel Tzoref-Brill
IBM Research
09:45
15m
Talk
TESRAC: A Framework for Test Suite Reduction Assessment at Scale
ICST Research Papers
João Becho
LaSiGE & FCUL, University of Lisbon
,
Frederico Cerveira
CISUC & DEI, University of Coimbra
,
João Leitão
NOVA LINCS & FCT, NOVA University of Lisbon
,
Rui André Oliveira
NOVA LINCS & FCT, NOVA University of Lisbon
10:00
15m
Talk
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing
ICST Industry
Paolo Arcaini
National Institute of Informatics
,
Xiao-Yi Zhang
National Institute of Informatics, Japan
,
Fuyuki Ishikawa
National Institute of Informatics
10:15
15m
Talk
An effective formulation of the multi-criteria test suite minimization problem
ICST Journal-First Papers
Okan Orsan Ozener
Özyeğin University
,
Hasan Sozer
Ozyegin University
Link to publication
DOI
10:30
15m
Talk
Dynamic test prioritization of product lines: An application on configurable simulation models
ICST Journal-First Papers
Urtzi Markiegi
Mondragon Unibertsitatea
,
Aitor Arrieta
Mondragon University
,
Leire Etxeberria
Mondragon Unibertsitatea
,
Goiuria Sagardui
Mondragon University
Link to publication
DOI
10:45
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
11:30 - 12:45
ICST Fuzzing and Random Testing
ICST Research Papers
/
ICST Journal-First Papers
/
ICST Industry
at
Margaret Hamilton
Chair(s):
Marcel Böhme
MPI-SP, Germany and Monash University, Australia
11:30
15m
Talk
Metamorphic Fuzzing of C++ Libraries
ICST Research Papers
Andrei Lascu
Imperial College London
,
Alastair F. Donaldson
Imperial College London
,
Tobias Grosser
University of Edinburgh
,
Torsten Hoefler
ETH Zurich
11:45
15m
Talk
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability
ICST Research Papers
Ahcheong Lee
KAIST
,
Irfan Ariq
KAIST
,
Yunho Kim
Hanyang University
,
Moonzoo Kim
KAIST / VPlusLab Inc.
12:00
15m
Talk
Comparing Fuzzers on a Level Playing Field with FuzzBench
ICST Industry
Dario Asprone
University College London (UCL)
,
Jonathan Metzman
Google
,
Abhishek Arya
Google
,
Giovani Guizzo
University College London
,
Federica Sarro
University College London
12:15
15m
Talk
SWFC-ART: A cost-effective approach for Fixed-Size-Candidate-Set Adaptive Random Testing through small world graphs
ICST Journal-First Papers
Muhammad Ashfaq
Jiangsu University
,
Rubing Huang
Macau University of Science and Technology (MUST)
,
Dave Towey
University of Nottingham Ningbo China
,
Michael Omari
Takoradi Technical University
,
Dmitry Yashunin
Harman X
,
Patrick Kwaku Kudjo
University of Professional Studies, Accra-Ghana
,
Tao Zhang
Macau University of Science and Technology (MUST)
Link to publication
DOI
12:30
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
14:00 - 14:45
ICST Keynote II
ICST Keynotes
at
Margaret Hamilton
14:00
45m
Keynote
Software Testing and Repair of Organic Programs
ICST Keynotes
Myra Cohen
Iowa State University
14:45 - 15:15
Ice-Breakers
ICST Research Papers
at
Margaret Hamilton
14:45
30m
Social Event
Ice-Breakers and Get to know each other
ICST Research Papers
15:15 - 16:30
ICST AI II
ICST Testing Tools
/
ICST Research Papers
/
ICST Industry
at
Margaret Hamilton
Chair(s):
Donghwan Shin
University of Luxembourg
15:15
15m
Talk
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors
ICST Research Papers
Cedric Richter
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
,
Heike Wehrheim
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
15:30
15m
Talk
SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning
ICST Industry
Alexander Senchenko
Electronics Arts
,
Naomi Patterson
Electronics Arts
,
Hamman Samuel
Electronics Arts
,
Dan Ispir
Electronics Arts
Pre-print
15:45
15m
Talk
RiverGame - a game testing tool using artificial intelligence
ICST Testing Tools
Ciprian Paduraru
University of Bucharest
,
Miruna Gabriela Paduraru
University of Bucharest
,
Alin Stefanescu
University of Bucharest
16:00
15m
Talk
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study
ICST Research Papers
Jan Haltermann
University of Oldenburg
,
Heike Wehrheim
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
16:15
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
16:45 - 18:00
ICST Empirical Study
ICST Journal-First Papers
/
ICST Research Papers
at
Margaret Hamilton
Chair(s):
Mohammad Reza Mousavi
King's College London
16:45
15m
Talk
An experimental and practical study on the equivalent mutant connection: An evolutionary approach
ICST Journal-First Papers
Pedro Delgado-Pérez
Universidad de Cádiz
,
Francisco Chicano
University of Malaga
Link to publication
DOI
17:00
15m
Talk
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests
ICST Research Papers
Sarra Habchi
University of Luxembourg, Luxembourg
,
Guillaume Haben
University of Luxembourg
,
Mike Papadakis
University of Luxembourg, Luxembourg
,
Maxime Cordy
University of Luxembourg, Luxembourg
,
Yves Le Traon
University of Luxembourg, Luxembourg
Pre-print
17:15
15m
Talk
As Code Testing: Characterizing Test Quality in Open Source Ansible Development
ICST Research Papers
Mohammed Mehedi Hasan
Independent University
,
Akond Rahman
Tennessee Tech University
Pre-print
File Attached
17:30
15m
Talk
A Survey on How Test Flakiness Affects Developers and What Support They Need To Address It
ICST Research Papers
Martin Gruber
BMW Group, University of Passau
,
Gordon Fraser
University of Passau
Pre-print
17:45
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
19:30 - 20:45
ICST Automated Testing 2
ICST Research Papers
/
ICST Journal-First Papers
at
Margaret Hamilton
Chair(s):
José Campos
University of Lisbon, Portugal
19:30
15m
Talk
Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts
ICST Research Papers
Sonal Mahajan
Uber Technologies Inc.
,
Mukul Prasad
Fujitsu Research of America
19:45
15m
Talk
To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects
ICST Research Papers
Saikat Dutta
University of Illinois at Urbana-Champaign
,
Anshul Arunachalam
University of Illinois at Urbana-Champaign
,
Sasa Misailovic
University of Illinois at Urbana-Champaign
20:00
15m
Talk
Integration testing for robotic systems
ICST Journal-First Papers
Maria Brito
Federal University of Lavras Lavras
,
Simone do Rocio Senger de Souza
ICMC/USP
,
Paulo Sergio Lopes de Souza
ICMC/USP
Link to publication
DOI
20:15
15m
Talk
Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance
ICST Research Papers
Samiha Shimmi
Northern Illinois University
,
Mona Rahimi
Northern Illinois University
20:30
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
Thu 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 11:00
ICST Machine and Constraints Learning
ICST Research Papers
/
ICST Journal-First Papers
at
Margaret Hamilton
Chair(s):
Gunel Jahangirova
USI Lugano
10:00
15m
Talk
Documentation-based functional constraint generation for library methods
ICST Journal-First Papers
Renhe Jiang
Nanjing University
,
Zhengzhao Chen
Nanjing University
,
Yu Pei
Hong Kong Polytechnic University
,
Minxue Pan
Nanjing University
,
Tian Zhang
Nanjing University
,
Xuandong Li
Nanjing University
Link to publication
DOI
10:15
15m
Talk
Learning-based mutant reduction using fine-grained mutation operators
ICST Journal-First Papers
Yunho Kim
Hanyang University
,
Shin Hong
Handong Global University
Link to publication
DOI
10:30
15m
Talk
An Empirical Study of IR-based Bug Localization for Deep Learning-based Software
ICST Research Papers
Misoo Kim
Sungkyunkwan University
,
Youngkyoung Kim
Sungkyunkwan University
,
Eunseok Lee
Sungkyunkwan University
10:45
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
11:30 - 12:45
ICST API Testing and Program Repair
ICST Industry
/
ICST Research Papers
at
Margaret Hamilton
Chair(s):
Thomas Durieux
KTH
11:30
15m
Talk
Harvesting Production GraphQL Queries to Detect Schema Faults
ICST Research Papers
Louise Zetterlund
Redeye AB
,
Deepika Tiwari
KTH Royal Institute of Technology
,
Martin Monperrus
KTH Royal Institute of Technology
,
Benoit Baudry
KTH
11:45
15m
Talk
Automated Repair of Responsive Web Page Layouts
ICST Research Papers
Ibrahim Althomali
The University of Sheffield
,
Gregory Kapfhammer
Allegheny College
,
Phil McMinn
University of Sheffield
12:00
15m
Talk
Repairing Fragile GUI Test Cases Using Word and Layout Embedding
ICST Industry
Juyeon Yoon
Korea Advanced Institute of Science and Technology
,
Seungjun Chung
KAIST
,
Kihyuck Shin
Samsung Electronics
,
Jinhan Kim
KAIST
,
Shin Hong
Handong Global University
,
Shin Yoo
KAIST
12:15
15m
Talk
Testing a PL/I Compiler using Precomputation-based Program Generation
ICST Industry
Jesse Postema
Universiteit Van Amsterdam
,
Johan Fabry
Raincode Labs, Belgium
,
Yannick Barthol
Raincode Labs
,
Ana Maria Oprescu
University of Amsterdam
12:30
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
14:00 - 14:45
ICST Keynote III
ICST Keynotes
at
Margaret Hamilton
14:00
45m
Keynote
Why Do We Test?
ICST Keynotes
Hyrum Wright
15:15 - 16:15
ICST Test Generation
ICST Testing Tools
/
ICST Research Papers
at
Margaret Hamilton
Chair(s):
Xavier Devroey
University of Namur
15:15
15m
Talk
TACKLETEST: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage
ICST Testing Tools
Rachel Tzoref-Brill
IBM Research
,
Saurabh Sinha
IBM Research
,
Antonio Abu Nassar
IBM Research
,
Victoria Goldin
IBM Research
,
Haim Kermany
IBM Research
15:30
15m
Talk
JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIs
ICST Research Papers
Man Zhang
Kristiania University
,
Asma Belhadi
Kristiania University College
,
Andrea Arcuri
Kristiania University College and Oslo Metropolitan University
15:45
15m
Paper
Assessor: a PO-Based WebDriver Test Suites Generator from Selenium IDE Recordings
ICST Testing Tools
Maurizio Leotta
DIBRIS, University of Genova, Italy
,
Antonio Molinari
Università di Genova
,
Filippo Ricca
Università di Genova
16:00
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
16:45 - 18:00
ICST Symbolic execution
ICST Research Papers
/
ICST Industry
/
ICST Testing Tools
/
ICST Journal-First Papers
at
Margaret Hamilton
Chair(s):
Arie van Deursen
Delft University of Technology, Netherlands
16:45
15m
Talk
Translating EULYNX SysML models into Symbolic Transition Systems for Model-Based Testing of Railway signaling systems
ICST Industry
Tobias Bachmann
Universiteit van Amsterdam
,
Machiel van der Bijl
Axini
,
Daan van der Meij
ProRail
,
Djurre van der Wal
University of Twente
,
Ana Maria Oprescu
University of Amsterdam
17:00
15m
Talk
Model checking C++ programs
ICST Journal-First Papers
Felipe R. Monteiro
Amazon
,
Mikhail R. Gadelha
Igalia
,
Lucas C. Cordeiro
University of Manchester, UK
Link to publication
DOI
17:15
15m
Talk
SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software
ICST Testing Tools
Tuba Yavuz
University of Florida
17:30
15m
Talk
Automating Differential Testing with Overapproximate Symbolic Execution
ICST Research Papers
Richard Rutledge
Georgia Institute of Technology
,
Alessandro Orso
Georgia Tech
17:45
15m
Live Q&A
Discussion and Q&A
ICST Research Papers
18:30 - 19:30
Social
ICST Research Papers
at
Margaret Hamilton
18:30
60m
Social Event
Pubquiz II
ICST Research Papers
19:30 - 20:45
Awards / MIPS / Closing
ICST MIPs
at
Margaret Hamilton
19:30
20m
Talk
Awards
ICST MIPs
19:50
20m
Talk
Most Influential Paper 1
ICST MIPs
20:10
20m
Talk
Most Influential Paper 2
ICST MIPs
20:30
15m
Talk
Closing
ICST MIPs
Fri 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:00 - 15:30
ICST Doctoral Symposium
ICST Doctoral Symposium
at
Margaret Hamilton
Chair(s):
Sinem Getir Yaman
Ege University, Turkey
,
Wishnu Prasetya
Utrecht University
10:00
5m
Day opening
Opening ICST Doctoral Symposium
ICST Doctoral Symposium
10:05
20m
Talk
Invited Talk: Doing PhD in Software Engineering, a Look Back
ICST Doctoral Symposium
Sinem Getir Yaman
Ege University, Turkey
10:25
35m
Talk
Automated GUI-based Software-Testing Using Deep Neuroevolution
ICST Doctoral Symposium
Daniel Zimmermann
FZI Research Center for Information Technology
11:00
35m
Talk
Debugger-driven Embedded Fuzzing
ICST Doctoral Symposium
Max Eisele
Robert Bosch GmbH
11:35
85m
Lunch
Lunch
ICST Doctoral Symposium
13:00
35m
Talk
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
ICST Doctoral Symposium
Sergio Quijano
IT University of Copenhagen
13:35
35m
Talk
Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods
ICST Doctoral Symposium
Amirfarhad Nilizadeh
University of Central Florida
14:10
20m
Break
Break
ICST Doctoral Symposium
14:30
60m
Other
Discussion Session
ICST Doctoral Symposium
Mon 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
Margaret Hamilton
AIST
AIST Opening
AIST
AIST Keynote
AIST
AIST I
AIST
AIST II
AIST
AIST III
AIST
AIST Closing
Tue 5 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
Margaret Hamilton
ICST Research Papers
ICST Opening
ICST Keynotes
ICST Keynote I
ICST Testing Tools + ICST Research Papers
ICST Automated Testing I
ICST Research Papers + ICST Industry
ICST Field / Production testing
ICST Research Papers + ICST Industry
ICST AI I
ICST Research Papers
Social
ICST Research Papers + ICST Tool Demos
ICST GUI Testing and Fuzzing
Wed 6 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
Margaret Hamilton
ICST Research Papers + ICST Journal-First Papers + ICST Industry
ICST Regression Testing
ICST Research Papers + ICST Journal-First Papers + ICST Industry
ICST Fuzzing and Random Testing
ICST Keynotes
ICST Keynote II
ICST Research Papers
Ice-Breakers
ICST Testing Tools + ICST Research Papers + ICST Industry
ICST AI II
ICST Journal-First Papers + ICST Research Papers
ICST Empirical Study
ICST Research Papers + ICST Journal-First Papers
ICST Automated Testing 2
Thu 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
Margaret Hamilton
ICST Research Papers + ICST Journal-First Papers
ICST Machine and Constraints Learning
ICST Industry + ICST Research Papers
ICST API Testing and Program Repair
ICST Keynotes
ICST Keynote III
ICST Testing Tools + ICST Research Papers
ICST Test Generation
ICST Research Papers + ICST Industry + ICST Testing Tools + ICST Journal-First Papers
ICST Symbolic execution
ICST Research Papers
Social
ICST MIPs
Awards / MIPS / Closing
Fri 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Margaret Hamilton
ICST Doctoral Symposium
ICST Doctoral Symposium
Mon 4 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Margaret Hamilton
AIST
Welcome
09:00 - 09:05
AIST
Sequence to sequence learning for software testing
09:05 - 10:05
AIST
A Preliminary Study on Generating Well-Formed Q# Quantum Programs for F ...
10:05 - 10:25
AIST
TCP-Net: Test Case Prioritization using End-to-End Deep Neural Networks
10:45 - 11:15
AIST
Testing Deep Learning Models: A First Comparative Study of Multiple Tes ...
11:15 - 11:45
AIST
Clustering of Usage Traces for Regression Test Cases Selection
11:55 - 12:25
AIST
Towards Domain-Specific Exploratory Testing via Behavioural Cloning
12:25 - 12:45
AIST
Closing
12:45 - 12:50
Tue 5 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
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
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Margaret Hamilton
ICST Research Papers
Opening
09:45 - 10:15
ICST Keynotes
Misconceptions in deep learning testing
10:15 - 11:00
ICST Research Papers
Applying Symbolic Execution to Test Implementations of a Network Protoc ...
11:30 - 11:45
ICST Testing Tools
Model-based Testing of Scratch Programs
11:45 - 12:00
ICST Testing Tools
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs
12:00 - 12:15
ICST Research Papers
Symbolic Verification of Message Signatures in MPI
12:15 - 12:30
ICST Research Papers
Discussion and Q&A
12:30 - 12:45
ICST Research Papers
Testing Software in Production Environments with Data from the Field
14:00 - 14:15
ICST Industry
Automatic Error Classification and Root Cause Determination while Repla ...
14:15 - 14:30
ICST Industry
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp
14:30 - 14:45
ICST Research Papers
Smoke Testing of Cloud Systems
14:45 - 15:00
ICST Research Papers
Discussion and Q&A
15:00 - 15:15
ICST Research Papers
IFRIT: Focused Testing through Deep Reinforcement Learning
15:45 - 16:00
ICST Industry
Robustness assessment and improvement of a neural network for blood oxy ...
16:00 - 16:15
ICST Research Papers
Evaluating Features for Machine Learning Detection of Order- and Non-Or ...
16:15 - 16:30
ICST Research Papers
Discussion and Q&A
16:30 - 16:45
ICST Research Papers
Pubquiz I
17:00 - 18:00
ICST Research Papers
A Framework for Automated API Fuzzing at Enterprise Scale
19:30 - 19:45
ICST Research Papers
GUI Test Transfer from Web to Android
19:45 - 20:00
ICST Tool Demos
DTLS-Fuzzer: A DTLS Protocol State Fuzzer
20:00 - 20:15
ICST Research Papers
Automated Detection of TalkBack Interactive Accessibility Failures in A ...
20:15 - 20:30
ICST Research Papers
Discussion and Q&A
20:30 - 20:45
Wed 6 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
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
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Margaret Hamilton
ICST Research Papers
TESRAC: A Framework for Test Suite Reduction Assessment at Scale
09:45 - 10:00
ICST Industry
Less is More: Simplification of Test Scenarios for Autonomous Driving S ...
10:00 - 10:15
ICST Journal-First Papers
An effective formulation of the multi-criteria test suite minimization ...
10:15 - 10:30
ICST Journal-First Papers
Dynamic test prioritization of product lines: An application on configu ...
10:30 - 10:45
ICST Research Papers
Discussion and Q&A
10:45 - 11:00
ICST Research Papers
Metamorphic Fuzzing of C++ Libraries
11:30 - 11:45
ICST Research Papers
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability
11:45 - 12:00
ICST Industry
Comparing Fuzzers on a Level Playing Field with FuzzBench
12:00 - 12:15
ICST Journal-First Papers
SWFC-ART: A cost-effective approach for Fixed-Size-Candidate-Set Adapti ...
12:15 - 12:30
ICST Research Papers
Discussion and Q&A
12:30 - 12:45
ICST Keynotes
Software Testing and Repair of Organic Programs
14:00 - 14:45
ICST Research Papers
Ice-Breakers and Get to know each other
14:45 - 15:15
ICST Research Papers
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors
15:15 - 15:30
ICST Industry
SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video ...
15:30 - 15:45
ICST Testing Tools
RiverGame - a game testing tool using artificial intelligence
15:45 - 16:00
ICST Research Papers
Machine Learning Based Invariant Generation: A Framework and Reproducib ...
16:00 - 16:15
ICST Research Papers
Discussion and Q&A
16:15 - 16:30
ICST Journal-First Papers
An experimental and practical study on the equivalent mutant connection ...
16:45 - 17:00
ICST Research Papers
A Qualitative Study on the Sources, Impacts, and Mitigation Strategies ...
17:00 - 17:15
ICST Research Papers
As Code Testing: Characterizing Test Quality in Open Source Ansible Dev ...
17:15 - 17:30
ICST Research Papers
A Survey on How Test Flakiness Affects Developers and What Support They ...
17:30 - 17:45
ICST Research Papers
Discussion and Q&A
17:45 - 18:00
ICST Research Papers
Providing Real-time Assistance for Repairing Runtime Exceptions using S ...
19:30 - 19:45
ICST Research Papers
To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Tes ...
19:45 - 20:00
ICST Journal-First Papers
Integration testing for robotic systems
20:00 - 20:15
ICST Research Papers
Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance
20:15 - 20:30
ICST Research Papers
Discussion and Q&A
20:30 - 20:45
Thu 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
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
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Margaret Hamilton
ICST Journal-First Papers
Documentation-based functional constraint generation for library methods
10:00 - 10:15
ICST Journal-First Papers
Learning-based mutant reduction using fine-grained mutation operators
10:15 - 10:30
ICST Research Papers
An Empirical Study of IR-based Bug Localization for Deep Learning-based ...
10:30 - 10:45
ICST Research Papers
Discussion and Q&A
10:45 - 11:00
ICST Research Papers
Harvesting Production GraphQL Queries to Detect Schema Faults
11:30 - 11:45
ICST Research Papers
Automated Repair of Responsive Web Page Layouts
11:45 - 12:00
ICST Industry
Repairing Fragile GUI Test Cases Using Word and Layout Embedding
12:00 - 12:15
ICST Industry
Testing a PL/I Compiler using Precomputation-based Program Generation
12:15 - 12:30
ICST Research Papers
Discussion and Q&A
12:30 - 12:45
ICST Keynotes
Why Do We Test?
14:00 - 14:45
ICST Testing Tools
TACKLETEST: A Tool for Amplifying Test Generation via Type-Based Combin ...
15:15 - 15:30
ICST Research Papers
JavaScript Instrumentation for Search-Based Software Testing: A Study w ...
15:30 - 15:45
ICST Testing Tools
Assessor: a PO-Based WebDriver Test Suites Generator from Selenium IDE ...
15:45 - 16:00
ICST Research Papers
Discussion and Q&A
16:00 - 16:15
ICST Industry
Translating EULYNX SysML models into Symbolic Transition Systems for Mo ...
16:45 - 17:00
ICST Journal-First Papers
Model checking C++ programs
17:00 - 17:15
ICST Testing Tools
SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded ...
17:15 - 17:30
ICST Research Papers
Automating Differential Testing with Overapproximate Symbolic Execution
17:30 - 17:45
ICST Research Papers
Discussion and Q&A
17:45 - 18:00
ICST Research Papers
Pubquiz II
18:30 - 19:30
ICST MIPs
Awards
19:30 - 19:50
ICST MIPs
Most Influential Paper 1
19:50 - 20:10
ICST MIPs
Most Influential Paper 2
20:10 - 20:30
ICST MIPs
Closing
20:30 - 20:45
Fri 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
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
Margaret Hamilton
ICST Doctoral Symposium
Opening ICST Doctoral Symposium
10:00 - 10:05
ICST Doctoral Symposium
Invited Talk: Doing PhD in Software Engineering, a Look Back
10:05 - 10:25
ICST Doctoral Symposium
Automated GUI-based Software-Testing Using Deep Neuroevolution
10:25 - 11:00
ICST Doctoral Symposium
Debugger-driven Embedded Fuzzing
11:00 - 11:35
ICST Doctoral Symposium
Lunch
11:35 - 13:00
ICST Doctoral Symposium
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
13:00 - 13:35
ICST Doctoral Symposium
Automated Program Repair and Test Overfitting: Measurements and Approac ...
13:35 - 14:10
ICST Doctoral Symposium
Break
14:10 - 14:30
ICST Doctoral Symposium
Discussion Session
14:30 - 15:30
x
Sat 4 May 12:11