IWCT 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020

All information about this workshop can be found at the workshop’s official website: http://gist.nju.edu.cn/iwct2020/

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
16:55
60m
Day closing
Wrap up (feedback, planning)
IWCT 2020