Farfetch (D. Maria) - InSTA 2020

VenueAlfândega Porto Congress Centre

Room nameFarfetch (D. Maria)

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT) Lisbon.

Use conference time zone: (GMT) LisbonSelect other time zone

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 programSpecify 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 SessionIWCT 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 SessionIWCT 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 SessionIWCT 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 SessionIWCT 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 upIWCT 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 & RefactoringICST 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 ICST 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 ICST 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 ICST 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 SystemsICST 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 ICST 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 ICST 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 ICST 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 APIsICST Testing Tools Track / ICST 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 ICST 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 ICST 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 ICST 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 ICST 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 ICST 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 & RefactoringICST Industry Track at Farfetch (D. Maria) Chair(s): John Micco VMware

20:15 30m Talk		Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms ICST 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 ICST 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 ICST 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 SystemsICST 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 ICST 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 ICST 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 ICST 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 APIsICST Research Papers / ICST 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 ICST 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 ICST 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 ICST 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 ICST 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 ICST 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 - MiscICST 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 ICST 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 ICST 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 ICST 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 1ICST 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 ICST 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 ICST 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 ICST 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 RepairICST 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 ICST 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 ICST 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 ICST 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 - MiscICST 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 ICST 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 ICST 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 ICST 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 1ICST 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 ICST 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 ICST 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 ICST 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 RepairICST 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 ICST 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 ICST 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 ICST 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 DemosICST 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 ICST Tool Demos Track Antoine Craske La Redoute
09:12 12m Talk		EvoMaster: Search-Based System Test Generation for RESTful APIs ICST 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 ICST 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 ICST 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 ICST Tool Demos Track Yu Yoshimura NTT, Yu Adachi NTT, Hiroyuki Kirinuki NTT, Toshiyuki Kurabayashi NTT, Haruto Tanno NTT

10:00 - 11:00	IT3 - Safety & SecurityICST 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 ICST 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 ICST 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 DemosICST 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 ICST Tool Demos Track Antoine Craske La Redoute
20:12 12m Talk		EvoMaster: Search-Based System Test Generation for RESTful APIs ICST 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 ICST 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 ICST 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 ICST Tool Demos Track Yu Yoshimura NTT, Yu Adachi NTT, Hiroyuki Kirinuki NTT, Toshiyuki Kurabayashi NTT, Haruto Tanno NTT

21:00 - 22:00	IT3 - Safety & SecurityICST 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 ICST 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 ICST 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 IInSTA at Farfetch (D. Maria)

10:00 5m Day opening		Welcome InSTA

10:05 - 11:05	Session IIInSTA 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 IIIInSTA 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 IVInSTA 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)				ICST Industry Track IT1 - Test Generation & Refactoring																					ICST Research Papers RT3 - Testing Deep Learning and Robotic Systems																																				ICST Testing Tools Track + ICST Research Papers RT5 - Testing for APIs																																																																											ICST Industry Track IT1 - Test Generation & Refactoring																					ICST 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)	ICST Research Papers + ICST Testing Tools Track RT5 - Testing for APIs																																																																																								ICST Industry Track IT2 - Misc																																				ICST Journal-First Papers Journal First 1																					ICST Research Papers RT9 - Empirical Analysis and Program Repair																																																																											ICST 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)										ICST Journal-First Papers Journal First 1																					ICST Research Papers RT9 - Empirical Analysis and Program Repair																																																																														ICST Tool Demos Track Tool Demos												ICST Industry Track IT3 - Safety & Security																																																																												ICST Tool Demos Track Tool Demos												ICST 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

Room information: Farfetch (D. Maria)

Program Display Configuration

Sat 24 OctDisplayed time zone: Lisbon change

Sun 25 OctDisplayed time zone: Lisbon change

Mon 26 OctDisplayed time zone: Lisbon change

Tue 27 OctDisplayed time zone: Lisbon change

Wed 28 OctDisplayed time zone: Lisbon change

Sat 24 OctDisplayed time zone: Lisbon change

IWCT

IWCT

IWCT

IWCT

IWCT

Sun 25 OctDisplayed time zone: Lisbon change

ICST Industry Track

ICST Research Papers

ICST Testing Tools Track + ICST Research Papers

ICST Industry Track

ICST Research Papers

Mon 26 OctDisplayed time zone: Lisbon change

ICST Research Papers + ICST Testing Tools Track

ICST Industry Track

ICST Journal-First Papers

ICST Research Papers

ICST Industry Track

Tue 27 OctDisplayed time zone: Lisbon change

ICST Journal-First Papers

ICST Research Papers

ICST Tool Demos Track

ICST Industry Track

ICST Tool Demos Track

ICST Industry Track

Wed 28 OctDisplayed time zone: Lisbon change

InSTA

InSTA

InSTA

InSTA

Sat 24 OctDisplayed time zone: Lisbon change

Sun 25 OctDisplayed time zone: Lisbon change

Mon 26 OctDisplayed time zone: Lisbon change

Tue 27 OctDisplayed time zone: Lisbon change

Wed 28 OctDisplayed time zone: Lisbon change

Sat 24 Oct
Displayed time zone: Lisbon change

Sun 25 Oct
Displayed time zone: Lisbon change

Mon 26 Oct
Displayed time zone: Lisbon change

Tue 27 Oct
Displayed time zone: Lisbon change

Wed 28 Oct
Displayed time zone: Lisbon change

Sat 24 Oct
Displayed time zone: Lisbon change

Sun 25 Oct
Displayed time zone: Lisbon change

Mon 26 Oct
Displayed time zone: Lisbon change

Tue 27 Oct
Displayed time zone: Lisbon change

Wed 28 Oct
Displayed time zone: Lisbon change

Sat 24 Oct
Displayed time zone: Lisbon change

Sun 25 Oct
Displayed time zone: Lisbon change

Mon 26 Oct
Displayed time zone: Lisbon change

Tue 27 Oct
Displayed time zone: Lisbon change

Wed 28 Oct
Displayed time zone: Lisbon change