Program - IWCT 2020

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) 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 2020 at Farfetch (D. Maria)

13:00 15m Day opening		Welcome to IWCT IWCT 2020 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 2020 Franz Wotawa Technische Universitaet Graz

14:15 - 14:20	Poster Presentation SessionIWCT 2020 at Farfetch (D. Maria)

14:15 5m Talk		Toward an Encoding Approach to Interaction-based Test Suite Minimization IWCT 2020 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 2020 at Farfetch (D. Maria)

14:20 20m Full-paper		An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines IWCT 2020 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 2020 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 2020 Konrad Fögen RWTH Aachen University, Horst Lichter RWTH Aachen University Link to publication DOI

15:30 - 16:40	Combinatorial Testing Tools SessionIWCT 2020 at Farfetch (D. Maria)

15:30 10m Short-paper		On Using Ontologies for Testing Compilers IWCT 2020 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 2020 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 2020 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 2020 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 2020 at Farfetch (D. Maria)

16:55 60m Day closing		Wrap up (feedback, planning) IWCT 2020

IWCT 2020 Program

Sat 24 Oct
Displayed time zone: Lisbon change

Tracks

IWCT 2020 Program

Switch Program View

Program Display Configuration

Sat 24 OctDisplayed time zone: Lisbon change

Get Calendar (iCal)

Sat 24 Oct
Displayed time zone: Lisbon change