Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020
Porto, Portugal
Toggle navigation
Attending
Venue: Alfândega Porto Congress Centre
Registration
Getting to Porto
Travel Discounts
Accommodation
Student Volunteers
Equity, Diversity and Inclusion Plan
Code of Conduct
Health Information
ICST has been postponed!
ICST 2020 Going Hybrid
Sponsorship
Sponsors and Supporters
Sponsorship Opportunities
Program
ICST Program
Your Program
Week Overview
Keynotes
Sat 24 Oct
Sun 25 Oct
Mon 26 Oct
Tue 27 Oct
Wed 28 Oct
Tracks
ICST 2020
Research Papers
Industry Track
Workshops
Testing Tools Track
Tool Demos Track
Posters Track
Doctoral Symposium
Journal-First Papers
Workshops
A-MOST
CCIW
INTUITESTBEDS
ITEQS
IWCT
InSTA
Mutation
NEXTA
TAIC PART
TestEd
ToCaMS
Organization
ICST 2020 Committees
Organizing Committee
Steering Committee
Student Volunteers
Track Committees
Research Papers
Program Chairs
Program Committee
Industry Track
Program Chairs
Program Committee
Workshops
Testing Tools Track
Program Chairs
Program Committee
Tool Demos Track
Program Chairs
Program Committee
Posters Track
Doctoral Symposium
Program Chairs
Program Committee
Journal-First Papers
Contributors
People Index
Workshops
A-MOST
Organizing Committee
Program Committee
CCIW
Organizing Committee
Program Committee
INTUITESTBEDS
Organizing Committee
Program Committee
ITEQS
Organizing Committee
Program Committee
IWCT
Organizing Committee
Program Committee
InSTA
Organizing Committee
Program Committee
Mutation
Organizing Committee
Program Committee
NEXTA
Organizing Committee
Program Committee
TAIC PART
Organizing Committee
TestEd
Organizing Committee
Program Committee
ToCaMS
Organizing Committee
Program Committee
Search
Series
Series
ICST 2025
ICST 2024
ICST 2023
ICST 2022
ICST 2021
ICST 2020
Sign in
Sign up
ICST 2020
(
series
) /
Alfândega Porto Congress Centre
/
Room information: Farfetch (D. Maria)
Venue
Alfândega Porto Congress Centre
Room name
Farfetch (D. Maria)
Floor
0
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+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
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-05: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-03: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+02: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+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Sat 24 Oct
Displayed time zone:
Lisbon
change
13:00 - 14:00
Opening Session
IWCT
at
Farfetch (D. Maria)
13:00
15m
Day opening
Welcome to IWCT
IWCT
Dimitris Simos
SBA Research
,
Jeff Yu Lei
University of Texas at Arlington
,
Changhai Nie
13:15
45m
Talk
Keynote: Verifying autonomous systems using ontology-based testing
IWCT
Franz Wotawa
Technische Universitaet Graz
14:15 - 14:20
Poster Presentation Session
IWCT
at
Farfetch (D. Maria)
14:15
5m
Talk
Toward an Encoding Approach to Interaction-based Test Suite Minimization
IWCT
Kohei Nishino
Waseda University
,
Takashi Kitamura
National Institute of Advanced Industrial Science and Technology (AIST)
,
Tomoji Kishi
Waseda University
,
Cyrille Artho
KTH Royal Institute of Technology
Link to publication
DOI
14:20 - 15:10
Test Generation and Combinatorial Testing Applications Session
IWCT
at
Farfetch (D. Maria)
14:20
20m
Full-paper
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines
IWCT
Andrea Bombarda
University of Bergamo
,
Angelo Gargantini
University of Bergamo
Link to publication
DOI
14:40
10m
Short-paper
Combinatorial Methods for Explainable AI
IWCT
Rick Kuhn
Natl Institute of Standards & Technology
,
Raghu Kacker
National Institute of Standards and Technology
,
Jeff Yu Lei
University of Texas at Arlington
,
Dimitris Simos
SBA Research
Link to publication
DOI
14:50
20m
Full-paper
Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing
IWCT
Konrad Fögen
RWTH Aachen University
,
Horst Lichter
RWTH Aachen University
Link to publication
DOI
15:30 - 16:40
Combinatorial Testing Tools Session
IWCT
at
Farfetch (D. Maria)
15:30
10m
Short-paper
On Using Ontologies for Testing Compilers
IWCT
Yihao Li
Institute of Technology, Graz University of Technology
,
Franz Wotawa
Technische Universitaet Graz
Link to publication
DOI
15:40
20m
Full-paper
A Comparison Infrastructure for Fault Characterization Algorithms
IWCT
Torben Friedrichs
RWTH Aachen University
,
Konrad Fögen
RWTH Aachen University
,
Horst Lichter
RWTH Aachen University
Link to publication
DOI
16:00
20m
Full-paper
Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application
IWCT
Jan Richter
Czech Technical University in Prague
,
Bestoun S. Ahmed
Karlstad University
,
Miroslav Bures
Czech Technical University in Prague
,
Cleber R. Rosa Junior
Red Hat, Inc.
Link to publication
DOI
16:20
20m
Full-paper
CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays
IWCT
Michael Wagner
SBA Research
,
Kristoffer Kleine
SBA Research
,
Dimitris Simos
SBA Research
,
Rick Kuhn
Natl Institute of Standards & Technology
,
Raghu Kacker
National Institute of Standards and Technology
Link to publication
DOI
16:55 - 17:55
Wrap up
IWCT
at
Farfetch (D. Maria)
16:55
60m
Day closing
Wrap up (feedback, planning)
IWCT
Sun 25 Oct
Displayed time zone:
Lisbon
change
09:15 - 10:45
IT1 - Test Generation & Refactoring
Industry Track
at
Farfetch (D. Maria)
+11h
Chair(s):
João Pascoal Faria
Faculty of Engineering, University of Porto and INESC TEC
09:15
30m
Talk
Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms
Industry Track
Marco Pistoia
JPMorgan Chase & Co
,
Peng Liu
Google
,
Chun-Fu Richard Chen
IBM
,
Shaohan Hu
IBM
,
Stephen Wood
IBM
Link to publication
DOI
09:45
30m
Talk
SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
Industry Track
Jannik Fischbach
Qualicen GmbH
,
Andreas Vogelsang
University of Cologne
,
Dominik Spies
Qualicen GmbH
,
Andreas Wehrle
Qualicen GmbH
,
Maximilian Junker
Qualicen GmbH
,
Dietmar Freudenstein
Allianz Deutschland AG
Link to publication
DOI
10:15
30m
Talk
Tool Support for Refactoring Manual Tests
Industry Track
Elodie Bernard
FEMTO-ST Institute, Univ. Bourgogne Franche-Comté, Sogeti
,
Julien Botella
Smartesting
,
Fabrice Ambert
FEMTO-ST Institute
,
Bruno Legeard
FEMTO-ST / DISC
,
Mark Utting
University of the Sunshine Coast
Link to publication
DOI
11:00 - 12:30
RT3 - Testing Deep Learning and Robotic Systems
Research Papers
at
Farfetch (D. Maria)
+11h
Chair(s):
Antonio Filieri
Imperial College London
11:00
30m
Talk
An Empirical Evaluation of Mutation Operators for Deep Learning Systems
Research Papers
Gunel Jahangirova
USI Lugano, Switzerland
,
Paolo Tonella
Università della Svizzera Italiana (USI)
Link to publication
DOI
11:30
30m
Talk
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
Research Papers
Fitash Ul Haq
University of Luxembourg
,
Donghwan Shin
University of Luxembourg
,
Shiva Nejati
University of Luxembourg
,
Lionel Briand
University of Luxembourg, University of Ottawa
Link to publication
DOI
12:00
30m
Talk
A Study on Challenges of Testing Robotic Systems
Research Papers
Afsoon Afzal
Carnegie Mellon University
,
Claire Le Goues
Carnegie Mellon University
,
Michael Hilton
Carnegie Mellon University, USA
,
Christopher Steven Timperley
Carnegie Mellon University
Link to publication
DOI
14:00 - 16:00
RT5 - Testing for APIs
Testing Tools Track
/
Research Papers
at
Farfetch (D. Maria)
+11h
Chair(s):
José Miguel Rojas
University of Leicester, UK
14:00
30m
Talk
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Research Papers
Stefan Karlsson
ABB AB, Mälardalen University
,
Adnan Causevic
Mälardalen University
,
Daniel Sundmark
Mälardalen University
Link to publication
DOI
14:30
30m
Talk
RESTTESTGEN: Automated Black-Box Testing of RESTful APIs
Research Papers
Emanuele Viglianisi
FBK
,
Michael Dallago
University of Trento
,
Mariano Ceccato
University of Verona
Link to publication
DOI
15:00
30m
Talk
Testability Transformations For Existing APIs
Research Papers
Andrea Arcuri
Kristiania University College, Norway
,
Juan Pablo Galeotti
University of Buenos Aires
Link to publication
DOI
15:30
15m
Talk
CDST: A Toolkit for Testing Cockpit Display Systems
Testing Tools Track
Hassan Sartaj
QUEST - UAV Dependability Lab
,
Muhammad Zohaib Iqbal
National University of Computer and Emerging Sciences
,
Muhammad Uzair Khan
National University of Computer and Emerging Sciences
Link to publication
DOI
15:45
15m
Talk
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing
Testing Tools Track
Miroslav Bures
Czech Technical University in Prague
,
Pavel Herout
University of West Bohemia, Pilsen, CZ
,
Bestoun S. Ahmed
Karlstad University
Link to publication
DOI
20:15 - 21:45
IT1 - Test Generation & Refactoring
Industry Track
at
Farfetch (D. Maria)
Chair(s):
John Micco
VMware
20:15
30m
Talk
Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms
Industry Track
Marco Pistoia
JPMorgan Chase & Co
,
Peng Liu
Google
,
Chun-Fu Richard Chen
IBM
,
Shaohan Hu
IBM
,
Stephen Wood
IBM
Link to publication
DOI
20:45
30m
Talk
SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
Industry Track
Jannik Fischbach
Qualicen GmbH
,
Andreas Vogelsang
University of Cologne
,
Dominik Spies
Qualicen GmbH
,
Andreas Wehrle
Qualicen GmbH
,
Maximilian Junker
Qualicen GmbH
,
Dietmar Freudenstein
Allianz Deutschland AG
Link to publication
DOI
21:15
30m
Talk
Tool Support for Refactoring Manual Tests
Industry Track
Elodie Bernard
FEMTO-ST Institute, Univ. Bourgogne Franche-Comté, Sogeti
,
Julien Botella
Smartesting
,
Fabrice Ambert
FEMTO-ST Institute
,
Bruno Legeard
FEMTO-ST / DISC
,
Mark Utting
University of the Sunshine Coast
Link to publication
DOI
22:00 - 23:30
RT3 - Testing Deep Learning and Robotic Systems
Research Papers
at
Farfetch (D. Maria)
Chair(s):
João Pascoal Faria
Faculty of Engineering, University of Porto and INESC TEC
22:00
30m
Talk
An Empirical Evaluation of Mutation Operators for Deep Learning Systems
Research Papers
Gunel Jahangirova
USI Lugano, Switzerland
,
Paolo Tonella
Università della Svizzera Italiana (USI)
Link to publication
DOI
22:30
30m
Talk
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
Research Papers
Fitash Ul Haq
University of Luxembourg
,
Donghwan Shin
University of Luxembourg
,
Shiva Nejati
University of Luxembourg
,
Lionel Briand
University of Luxembourg, University of Ottawa
Link to publication
DOI
23:00
30m
Talk
A Study on Challenges of Testing Robotic Systems
Research Papers
Afsoon Afzal
Carnegie Mellon University
,
Claire Le Goues
Carnegie Mellon University
,
Michael Hilton
Carnegie Mellon University, USA
,
Christopher Steven Timperley
Carnegie Mellon University
Link to publication
DOI
Mon 26 Oct
Displayed time zone:
Lisbon
change
01:00 - 03:00
RT5 - Testing for APIs
Research Papers
/
Testing Tools Track
at
Farfetch (D. Maria)
Chair(s):
Marcelo d'Amorim
Federal University of Pernambuco
01:00
30m
Talk
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Research Papers
Stefan Karlsson
ABB AB, Mälardalen University
,
Adnan Causevic
Mälardalen University
,
Daniel Sundmark
Mälardalen University
Link to publication
DOI
01:30
30m
Talk
RESTTESTGEN: Automated Black-Box Testing of RESTful APIs
Research Papers
Emanuele Viglianisi
FBK
,
Michael Dallago
University of Trento
,
Mariano Ceccato
University of Verona
Link to publication
DOI
02:00
30m
Talk
Testability Transformations For Existing APIs
Research Papers
Andrea Arcuri
Kristiania University College, Norway
,
Juan Pablo Galeotti
University of Buenos Aires
Link to publication
DOI
02:30
15m
Talk
CDST: A Toolkit for Testing Cockpit Display Systems
Testing Tools Track
Hassan Sartaj
QUEST - UAV Dependability Lab
,
Muhammad Zohaib Iqbal
National University of Computer and Emerging Sciences
,
Muhammad Uzair Khan
National University of Computer and Emerging Sciences
Link to publication
DOI
02:45
15m
Talk
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing
Testing Tools Track
Miroslav Bures
Czech Technical University in Prague
,
Pavel Herout
University of West Bohemia, Pilsen, CZ
,
Bestoun S. Ahmed
Karlstad University
Link to publication
DOI
10:45 - 12:15
IT2 - Misc
Industry Track
at
Farfetch (D. Maria)
+11h
Chair(s):
Luís Cruz
Deflt University of Technology
10:45
30m
Talk
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Industry Track
Max Friese
Christian-Albrechts-Universität zu Kiel
,
Johannes Traub
Daimler AG
,
Dirk Nowotka
Christian-Albrechts-Universität zu Kiel
Link to publication
DOI
11:15
30m
Talk
Detecting Higher-Order Merge Conflicts in Large Software Projects
Industry Track
Thorsten Wuensche
SAP SE
,
Artur Andrzejak
Heidelberg University
,
Sascha Schwedes
SAP SE
Link to publication
DOI
11:45
30m
Talk
Scaling Test Case Generation For Expressive Decision Tables
Industry Track
Supriya Agrawal
Tata Consultancy Services Ltd. (TCS)
,
R Venkatesh
Tata Consultancy Services Ltd. (TCS)
,
Ulka Shrotri
Tata Consultancy Services Ltd. (TCS)
,
Amey Zare
Tata Consultancy Services Ltd. (TCS)
,
Sagar Verma
Tata Consultancy Services Ltd. (TCS)
Link to publication
DOI
13:45 - 15:15
Journal First 1
Journal-First Papers
at
Farfetch (D. Maria)
+11h
Chair(s):
Maurício Aniche
Delft University of Technology, Netherlands
13:45
30m
Talk
Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems
Journal-First Papers
Tao Ma
Simula Research Laboratory
,
Shaukat Ali
Simula Research Laboratory
,
Tao Yue
Nanjing University of Aeronautics and Astronautics
Link to publication
DOI
14:15
30m
Talk
Empirical evaluation of mutation-based test case prioritization techniques
Journal-First Papers
Donghwan Shin
University of Luxembourg
,
Shin Yoo
Korea Advanced Institute of Science and Technology
,
Mike Papadakis
University of Luxembourg, Luxembourg
,
Doo-Hwan Bae
Korea Advanced Institute of Science and Technology
Link to publication
DOI
14:45
30m
Talk
Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects
Journal-First Papers
Fabian Trautsch
University of Göttingen
,
Steffen Herbold
University of Göttingen
,
Jens Grabowski
University of Göttingen
Link to publication
DOI
15:30 - 17:00
RT9 - Empirical Analysis and Program Repair
Research Papers
at
Farfetch (D. Maria)
+11h
Chair(s):
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
15:30
30m
Talk
An Empirical Analysis of Blind Tests
Research Papers
Kesina Baral
George Mason University
,
Jeff Offutt
George Mason University
Link to publication
DOI
16:00
30m
Talk
A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development
Research Papers
Maurizio Leotta
Università di Genova
,
Matteo Biagiola
Fondazione Bruno Kessler (FBK)
,
Filippo Ricca
Università di Genova
,
Mariano Ceccato
University of Verona
,
Paolo Tonella
Università della Svizzera Italiana (USI)
Link to publication
DOI
16:30
30m
Talk
Human-In-The-Loop Automatic Program Repair
Research Papers
Marcel Böhme
Monash University, Australia
,
Charaka Geethal
Monash University
,
Van-Thuan Pham
Monash University
Link to publication
DOI
21:45 - 23:15
IT2 - Misc
Industry Track
at
Farfetch (D. Maria)
Chair(s):
Rui Abreu
Faculty of Engineering, University of Porto, Portugal
21:45
30m
Talk
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Industry Track
Max Friese
Christian-Albrechts-Universität zu Kiel
,
Johannes Traub
Daimler AG
,
Dirk Nowotka
Christian-Albrechts-Universität zu Kiel
Link to publication
DOI
22:15
30m
Talk
Detecting Higher-Order Merge Conflicts in Large Software Projects
Industry Track
Thorsten Wuensche
SAP SE
,
Artur Andrzejak
Heidelberg University
,
Sascha Schwedes
SAP SE
Link to publication
DOI
22:45
30m
Talk
Scaling Test Case Generation For Expressive Decision Tables
Industry Track
Supriya Agrawal
Tata Consultancy Services Ltd. (TCS)
,
R Venkatesh
Tata Consultancy Services Ltd. (TCS)
,
Ulka Shrotri
Tata Consultancy Services Ltd. (TCS)
,
Amey Zare
Tata Consultancy Services Ltd. (TCS)
,
Sagar Verma
Tata Consultancy Services Ltd. (TCS)
Link to publication
DOI
Tue 27 Oct
Displayed time zone:
Lisbon
change
00:45 - 02:15
Journal First 1
Journal-First Papers
at
Farfetch (D. Maria)
Chair(s):
Fabiano Ferrari
Federal University of São Carlos
00:45
30m
Talk
Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems
Journal-First Papers
Tao Ma
Simula Research Laboratory
,
Shaukat Ali
Simula Research Laboratory
,
Tao Yue
Nanjing University of Aeronautics and Astronautics
Link to publication
DOI
01:15
30m
Talk
Empirical evaluation of mutation-based test case prioritization techniques
Journal-First Papers
Donghwan Shin
University of Luxembourg
,
Shin Yoo
Korea Advanced Institute of Science and Technology
,
Mike Papadakis
University of Luxembourg, Luxembourg
,
Doo-Hwan Bae
Korea Advanced Institute of Science and Technology
Link to publication
DOI
01:45
30m
Talk
Are Unit and Integration Test Definitions Still Valid for Modern Java Projects? An Empirical Study on Open-Source Projects
Journal-First Papers
Fabian Trautsch
University of Göttingen
,
Steffen Herbold
University of Göttingen
,
Jens Grabowski
University of Göttingen
Link to publication
DOI
02:30 - 04:00
RT9 - Empirical Analysis and Program Repair
Research Papers
at
Farfetch (D. Maria)
Chair(s):
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
02:30
30m
Talk
An Empirical Analysis of Blind Tests
Research Papers
Kesina Baral
George Mason University
,
Jeff Offutt
George Mason University
Link to publication
DOI
03:00
30m
Talk
A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development
Research Papers
Maurizio Leotta
Università di Genova
,
Matteo Biagiola
Fondazione Bruno Kessler (FBK)
,
Filippo Ricca
Università di Genova
,
Mariano Ceccato
University of Verona
,
Paolo Tonella
Università della Svizzera Italiana (USI)
Link to publication
DOI
03:30
30m
Talk
Human-In-The-Loop Automatic Program Repair
Research Papers
Marcel Böhme
Monash University, Australia
,
Charaka Geethal
Monash University
,
Van-Thuan Pham
Monash University
Link to publication
DOI
09:00 - 10:00
Tool Demos
Tool Demos Track
at
Farfetch (D. Maria)
+11h
Chair(s):
Tao Yue
Nanjing University of Aeronautics and Astronautics
09:00
12m
Talk
Cerberus: an Automated Tool for Continuous Testing
Tool Demos Track
Antoine Craske
La Redoute
09:12
12m
Talk
EvoMaster: Search-Based System Test Generation for RESTful APIs
Tool Demos Track
Andrea Arcuri
Kristiania University College, Norway
,
Juan Pablo Galeotti
University of Buenos Aires
,
Bogdan Marculescu
Kristiania University College, Norway
,
Man Zhang
Kristiania University College, Norway
09:24
12m
Talk
Quick and Precise Security Testing During Development with Intelligence-Directed DAST
Tool Demos Track
Takuya Iwatsuka
NTT
,
Haruto Tanno
NTT
,
Eric Sharidan
WhiteHat Security
,
Joseph Feiman
WhiteHat Security
09:36
12m
Talk
Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
Tool Demos Track
Mahesh Venkataraman
Accenture Solutions
,
Chinmaya Jena
Accenture Solutions
,
Sunder Nochilur
Accenture Solutions
,
Prabir Ghoushal Kumar
Accenture Solutions
09:48
12m
Talk
User-Friendly Input Assistance with Web Crawling for Test Script Generation
Tool Demos Track
Yu Yoshimura
NTT
,
Yu Adachi
NTT
,
Hiroyuki Kirinuki
NTT
,
Toshiyuki Kurabayashi
NTT
,
Haruto Tanno
NTT
10:00 - 11:00
IT3 - Safety & Security
Industry Track
at
Farfetch (D. Maria)
+11h
Chair(s):
Rui Abreu
Faculty of Engineering, University of Porto, Portugal
10:00
30m
Talk
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
Industry Track
Alessandro Calò
Technical University of Munich
,
Paolo Arcaini
National Institute of Informatics
,
Shaukat Ali
Simula Research Laboratory
,
Florian Hauer
Technical University of Munich
,
Fuyuki Ishikawa
National Institute of Informatics
Link to publication
DOI
10:30
30m
Talk
Checking Security Properties of Cloud Service REST APIs
Industry Track
Vaggelis Atlidakis
Columbia University
,
Patrice Godefroid
Microsoft Research, USA
,
Marina Polishchuk
Microsoft Research, USA
Link to publication
DOI
20:00 - 21:00
Tool Demos
Tool Demos Track
at
Farfetch (D. Maria)
Chair(s):
Tao Yue
Nanjing University of Aeronautics and Astronautics
20:00
12m
Talk
Cerberus: an Automated Tool for Continuous Testing
Tool Demos Track
Antoine Craske
La Redoute
20:12
12m
Talk
EvoMaster: Search-Based System Test Generation for RESTful APIs
Tool Demos Track
Andrea Arcuri
Kristiania University College, Norway
,
Juan Pablo Galeotti
University of Buenos Aires
,
Bogdan Marculescu
Kristiania University College, Norway
,
Man Zhang
Kristiania University College, Norway
20:24
12m
Talk
Quick and Precise Security Testing During Development with Intelligence-Directed DAST
Tool Demos Track
Takuya Iwatsuka
NTT
,
Haruto Tanno
NTT
,
Eric Sharidan
WhiteHat Security
,
Joseph Feiman
WhiteHat Security
20:36
12m
Talk
Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
Tool Demos Track
Mahesh Venkataraman
Accenture Solutions
,
Chinmaya Jena
Accenture Solutions
,
Sunder Nochilur
Accenture Solutions
,
Prabir Ghoushal Kumar
Accenture Solutions
20:48
12m
Talk
User-Friendly Input Assistance with Web Crawling for Test Script Generation
Tool Demos Track
Yu Yoshimura
NTT
,
Yu Adachi
NTT
,
Hiroyuki Kirinuki
NTT
,
Toshiyuki Kurabayashi
NTT
,
Haruto Tanno
NTT
21:00 - 22:00
IT3 - Safety & Security
Industry Track
at
Farfetch (D. Maria)
Chair(s):
Rui Abreu
Faculty of Engineering, University of Porto, Portugal
21:00
30m
Talk
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
Industry Track
Alessandro Calò
Technical University of Munich
,
Paolo Arcaini
National Institute of Informatics
,
Shaukat Ali
Simula Research Laboratory
,
Florian Hauer
Technical University of Munich
,
Fuyuki Ishikawa
National Institute of Informatics
Link to publication
DOI
21:30
30m
Talk
Checking Security Properties of Cloud Service REST APIs
Industry Track
Vaggelis Atlidakis
Columbia University
,
Patrice Godefroid
Microsoft Research, USA
,
Marina Polishchuk
Microsoft Research, USA
Link to publication
DOI
Wed 28 Oct
Displayed time zone:
Lisbon
change
10:00 - 10:05
Session I
InSTA
at
Farfetch (D. Maria)
10:00
5m
Day opening
Welcome
InSTA
10:05 - 11:05
Session II
InSTA
at
Farfetch (D. Maria)
10:05
20m
Full-paper
Techniques to Reach Common Ground about Test Aspect within a Test Team
InSTA
Tomohiro Odan
Mamezou Co.,Ltd. Shinjuku-ku, Tokyo
,
Shizuka Ban
NPO ASTER Minato-ku, Tokyo
,
Hiroki Iseri
NPO ASTER Minato-ku, Tokyo
,
Kumiko Iseri
NPO ASTER Minato-ku, Tokyo
,
Akiharu Satoh
NPO ASTER Minato-ku, Tokyo
Link to publication
DOI
10:25
20m
Full-paper
An Integrated Metamodel of Test Scenario to Conform Automotive Standards
InSTA
Hidetoshi Suhara
Veriserve Corporation
,
Yasuharu Nishi
University of Electro-Communications, Tokyo
Link to publication
DOI
10:45
20m
Full-paper
Complex Software Testing Analysis using International Standards
InSTA
Satoshi Masuda
,
Yasuharu Nishi
University of Electro-Communications, Tokyo
,
Kazuhiro Suzuki
Hitachi, Ltd. Kanagawa
Link to publication
DOI
11:20 - 12:20
Session III
InSTA
at
Farfetch (D. Maria)
11:20
20m
Full-paper
Automated security testing of Android applications for secure mobile development
InSTA
Francisco Palma
ISTAR - Information Sciences and Technologies and Architecture Research Center
,
Nuno Realista
ISTAR - Information Sciences and Technologies and Architecture Research Center
,
Carlos Serrão
ISTAR - Information Sciences and Technologies and Architecture Research Center
,
Luís Nunes
ISTAR - Information Sciences and Technologies and Architecture Research Center
,
João Oliveira
ISTAR - Information Sciences and Technologies and Architecture Research Center
,
Ana Almeida
ISTAR - Information Sciences and Technologies and Architecture Research Center
Link to publication
DOI
11:40
20m
Full-paper
Selenium based Testing Systems for Analytical Data Generation of Website User Behavior
InSTA
Takamasa Tanaka
Recruit Sumai Company Ltd, Tokyo
,
Hidekazu Niibori
Recruit Sumai Company Ltd, Tokyo
,
Li Shiyingxue
Recruit Sumai Company Ltd, Tokyo
,
Shimpei Nomura
Recruit Sumai Company Ltd, Tokyo
,
Tadayoshi Nakao
Nomura Research Institute, Ltd. Tokyo
,
Kazuhiko Tsuda
University of Tsukuba Tokyo
Link to publication
DOI
12:00
20m
Full-paper
Identifying Software Test Architect Skills and Knowledge
InSTA
Jon D. Hagar
Grand Software Testing, LLC, Hot Sulphur Springs, CO
,
Laura Hagar
Grand Software Testing, LLC, Hot Sulphur Springs, CO
Link to publication
DOI
12:20 - 12:30
Session IV
InSTA
at
Farfetch (D. Maria)
12:20
10m
Day closing
Wrap up
InSTA
Sat 24 Oct
Displayed time zone:
Lisbon
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Farfetch (D. Maria)
IWCT
Opening Session
IWCT
Poster Presentation Session
IWCT
Test Generation and Combinatorial Testing Applications Session
IWCT
Combinatorial Testing Tools Session
IWCT
Wrap up
Sun 25 Oct
Displayed time zone:
Lisbon
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
21:00
30
22:00
30
23:00
30
Farfetch (D. Maria)
Industry Track
IT1 - Test Generation & Refactoring
Research Papers
RT3 - Testing Deep Learning and Robotic Systems
Testing Tools Track + Research Papers
RT5 - Testing for APIs
Industry Track
IT1 - Test Generation & Refactoring
Research Papers
RT3 - Testing Deep Learning and Robotic Systems
Mon 26 Oct
Displayed time zone:
Lisbon
change
Room
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
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
21:00
30
22:00
30
23:00
30
Farfetch (D. Maria)
Research Papers + Testing Tools Track
RT5 - Testing for APIs
Industry Track
IT2 - Misc
Journal-First Papers
Journal First 1
Research Papers
RT9 - Empirical Analysis and Program Repair
Industry Track
IT2 - Misc
Tue 27 Oct
Displayed time zone:
Lisbon
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
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
21:00
30
Farfetch (D. Maria)
Journal-First Papers
Journal First 1
Research Papers
RT9 - Empirical Analysis and Program Repair
Tool Demos Track
Tool Demos
Industry Track
IT3 - Safety & Security
Tool Demos Track
Tool Demos
Industry Track
IT3 - Safety & Security
Wed 28 Oct
Displayed time zone:
Lisbon
change
Room
10:00
30
11:00
30
12:00
30
Farfetch (D. Maria)
InSTA
Session I
InSTA
Session II
InSTA
Session III
InSTA
Session IV
Sat 24 Oct
Displayed time zone:
Lisbon
change
Room
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
Farfetch (D. Maria)
IWCT
Welcome to IWCT
13:00 - 13:15
IWCT
Keynote: Verifying autonomous systems using ontology-based testing
13:15 - 14:00
IWCT
Toward an Encoding Approach to Interaction-based Test Suite Minimization
14:15 - 14:20
IWCT
An Automata-Based Generation Method for Combinatorial Sequence Testing ...
14:20 - 14:40
IWCT
Combinatorial Methods for Explainable AI
14:40 - 14:50
IWCT
Generation of Invalid Test Inputs from Over-Constrained Test Models for ...
14:50 - 15:10
IWCT
On Using Ontologies for Testing Compilers
15:30 - 15:40
IWCT
A Comparison Infrastructure for Fault Characterization Algorithms
15:40 - 16:00
IWCT
Avocado: Open-Source Flexible Constrained Interaction Testing for Pract ...
16:00 - 16:20
IWCT
CAGEN: A fast combinatorial test generation tool with support for const ...
16:20 - 16:40
IWCT
Wrap up (feedback, planning)
16:55 - 17:55
Sun 25 Oct
Displayed time zone:
Lisbon
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
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Farfetch (D. Maria)
ICST Industry Track
Parallelization of Classical Numerical Optimization in Quantum Variatio ...
09:15 - 09:45
ICST Industry Track
SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
09:45 - 10:15
ICST Industry Track
Tool Support for Refactoring Manual Tests
10:15 - 10:45
ICST Research Papers
An Empirical Evaluation of Mutation Operators for Deep Learning Systems
11:00 - 11:30
ICST Research Papers
Comparing Offline and Online Testing of Deep Neural Networks: An Autono ...
11:30 - 12:00
ICST Research Papers
A Study on Challenges of Testing Robotic Systems
12:00 - 12:30
ICST Research Papers
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
14:00 - 14:30
ICST Research Papers
RESTTESTGEN: Automated Black-Box Testing of RESTful APIs
14:30 - 15:00
ICST Research Papers
Testability Transformations For Existing APIs
15:00 - 15:30
ICST Testing Tools Track
CDST: A Toolkit for Testing Cockpit Display Systems
15:30 - 15:45
ICST Testing Tools Track
Open-source Defect Injection Benchmark Testbed for the Evaluation of Te ...
15:45 - 16:00
ICST Industry Track
Parallelization of Classical Numerical Optimization in Quantum Variatio ...
20:15 - 20:45
ICST Industry Track
SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
20:45 - 21:15
ICST Industry Track
Tool Support for Refactoring Manual Tests
21:15 - 21:45
ICST Research Papers
An Empirical Evaluation of Mutation Operators for Deep Learning Systems
22:00 - 22:30
ICST Research Papers
Comparing Offline and Online Testing of Deep Neural Networks: An Autono ...
22:30 - 23:00
ICST Research Papers
A Study on Challenges of Testing Robotic Systems
23:00 - 23:30
Mon 26 Oct
Displayed time zone:
Lisbon
change
Room
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
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
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Farfetch (D. Maria)
ICST Research Papers
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
01:00 - 01:30
ICST Research Papers
RESTTESTGEN: Automated Black-Box Testing of RESTful APIs
01:30 - 02:00
ICST Research Papers
Testability Transformations For Existing APIs
02:00 - 02:30
ICST Testing Tools Track
CDST: A Toolkit for Testing Cockpit Display Systems
02:30 - 02:45
ICST Testing Tools Track
Open-source Defect Injection Benchmark Testbed for the Evaluation of Te ...
02:45 - 03:00
ICST Industry Track
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
10:45 - 11:15
ICST Industry Track
Detecting Higher-Order Merge Conflicts in Large Software Projects
11:15 - 11:45
ICST Industry Track
Scaling Test Case Generation For Expressive Decision Tables
11:45 - 12:15
ICST Journal-First Papers
Modeling Foundations for Executable Model-Based Testing of Self-Healing ...
13:45 - 14:15
ICST Journal-First Papers
Empirical evaluation of mutation-based test case prioritization techniques
14:15 - 14:45
ICST Journal-First Papers
Are Unit and Integration Test Definitions Still Valid for Modern Java P ...
14:45 - 15:15
ICST Research Papers
An Empirical Analysis of Blind Tests
15:30 - 16:00
ICST Research Papers
A Family of Experiments to Assess the Impact of Page Object Pattern in ...
16:00 - 16:30
ICST Research Papers
Human-In-The-Loop Automatic Program Repair
16:30 - 17:00
ICST Industry Track
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
21:45 - 22:15
ICST Industry Track
Detecting Higher-Order Merge Conflicts in Large Software Projects
22:15 - 22:45
ICST Industry Track
Scaling Test Case Generation For Expressive Decision Tables
22:45 - 23:15
Tue 27 Oct
Displayed time zone:
Lisbon
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
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
21:00
15
30
45
Farfetch (D. Maria)
ICST Journal-First Papers
Modeling Foundations for Executable Model-Based Testing of Self-Healing ...
00:45 - 01:15
ICST Journal-First Papers
Empirical evaluation of mutation-based test case prioritization techniques
01:15 - 01:45
ICST Journal-First Papers
Are Unit and Integration Test Definitions Still Valid for Modern Java P ...
01:45 - 02:15
ICST Research Papers
An Empirical Analysis of Blind Tests
02:30 - 03:00
ICST Research Papers
A Family of Experiments to Assess the Impact of Page Object Pattern in ...
03:00 - 03:30
ICST Research Papers
Human-In-The-Loop Automatic Program Repair
03:30 - 04:00
ICST Tool Demos Track
Cerberus: an Automated Tool for Continuous Testing
09:00 - 09:12
ICST Tool Demos Track
EvoMaster: Search-Based System Test Generation for RESTful APIs
09:12 - 09:24
ICST Tool Demos Track
Quick and Precise Security Testing During Development with Intelligence ...
09:24 - 09:36
ICST Tool Demos Track
Self guided test Automation - Adaptive and Self Healing automation of C ...
09:36 - 09:48
ICST Tool Demos Track
User-Friendly Input Assistance with Web Crawling for Test Script Generation
09:48 - 10:00
ICST Industry Track
Generating Avoidable Collision Scenarios for Testing Autonomous Driving ...
10:00 - 10:30
ICST Industry Track
Checking Security Properties of Cloud Service REST APIs
10:30 - 11:00
ICST Tool Demos Track
Cerberus: an Automated Tool for Continuous Testing
20:00 - 20:12
ICST Tool Demos Track
EvoMaster: Search-Based System Test Generation for RESTful APIs
20:12 - 20:24
ICST Tool Demos Track
Quick and Precise Security Testing During Development with Intelligence ...
20:24 - 20:36
ICST Tool Demos Track
Self guided test Automation - Adaptive and Self Healing automation of C ...
20:36 - 20:48
ICST Tool Demos Track
User-Friendly Input Assistance with Web Crawling for Test Script Generation
20:48 - 21:00
ICST Industry Track
Generating Avoidable Collision Scenarios for Testing Autonomous Driving ...
21:00 - 21:30
ICST Industry Track
Checking Security Properties of Cloud Service REST APIs
21:30 - 22:00
Wed 28 Oct
Displayed time zone:
Lisbon
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Farfetch (D. Maria)
InSTA
Welcome
10:00 - 10:05
InSTA
Techniques to Reach Common Ground about Test Aspect within a Test Team
10:05 - 10:25
InSTA
An Integrated Metamodel of Test Scenario to Conform Automotive Standards
10:25 - 10:45
InSTA
Complex Software Testing Analysis using International Standards
10:45 - 11:05
InSTA
Automated security testing of Android applications for secure mobile de ...
11:20 - 11:40
InSTA
Selenium based Testing Systems for Analytical Data Generation of Websit ...
11:40 - 12:00
InSTA
Identifying Software Test Architect Skills and Knowledge
12:00 - 12:20
InSTA
Wrap up
12:20 - 12:30
x
Wed 18 Dec 17:46