IWCT 2020

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

	Title
	A Comparison Infrastructure for Fault Characterization Algorithms IWCT 2020 Torben Friedrichs, Konrad Fögen, Horst Lichter Link to publication DOI
	An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines IWCT 2020 Andrea Bombarda, Angelo Gargantini Link to publication DOI
	Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application IWCT 2020 Jan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior Link to publication DOI
	CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays IWCT 2020 Michael Wagner, Kristoffer Kleine, Dimitris Simos, Rick Kuhn, Raghu Kacker Link to publication DOI
	Combinatorial Methods for Explainable AI IWCT 2020 Rick Kuhn, Raghu Kacker, Jeff Yu Lei, Dimitris Simos Link to publication DOI
	Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing IWCT 2020 Konrad Fögen, Horst Lichter Link to publication DOI
	On Using Ontologies for Testing Compilers IWCT 2020 Yihao Li, Franz Wotawa Link to publication DOI
	Toward an Encoding Approach to Interaction-based Test Suite Minimization IWCT 2020 Kohei Nishino, Takashi Kitamura, Tomoji Kishi, Cyrille Artho Link to publication DOI

Sat 24 Oct
Displayed time zone: Lisbon change

Accepted Papers

Dimitris SimosGeneral Chair

SBA Research

Austria

Jeff Yu LeiProgram Co-Chair

University of Texas at Arlington

United States

Changhai NieProgram Co-Chair

Nanjing University

Tracks

IWCT 2020

Program Display Configuration

Sat 24 OctDisplayed time zone: Lisbon change

Accepted Papers

Dimitris SimosGeneral Chair

SBA Research

Austria

Jeff Yu LeiProgram Co-Chair

University of Texas at Arlington

United States

Changhai NieProgram Co-Chair

Nanjing University

Sat 24 Oct
Displayed time zone: Lisbon change