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 -

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon

13:00 - 14:00: Opening SessionIWCT 2020 at Farfetch (D. Maria)
13:00 - 13:15
Day opening
Welcome to IWCT
IWCT 2020
Dimitris SimosSBA Research, Jeff LeiUniversity of Texas at Arlington, Changhai Nie
13:15 - 14:00
Talk
Keynote: Verifying autonomous systems using ontology-based testing
IWCT 2020
Franz WotawaTechnische Universitaet Graz
14:15 - 14:20: Poster Presentation SessionIWCT 2020 at Farfetch (D. Maria)
14:15 - 14:20
Talk
Toward an Encoding Approach to Interaction-based Test Suite Minimization
IWCT 2020
Kohei NishinoWaseda University, Takashi KitamuraNational Institute of Advanced Industrial Science and Technology (AIST), Tomoji KishiWaseda University, Cyrille ArthoKTH 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 - 14:40
Full-paper
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines
IWCT 2020
Andrea BombardaUniversity of Bergamo, Angelo GargantiniUniversity of Bergamo
Link to publication DOI
14:40 - 14:50
Short-paper
Combinatorial Methods for Explainable AI
IWCT 2020
Rick KuhnNatl Institute of Standards & Technology, Raghu KackerNational Institute of Standards and Technology, Jeff LeiUniversity of Texas at Arlington, Dimitris SimosSBA Research
Link to publication DOI
14:50 - 15:10
Full-paper
Generation of Invalid Test Inputs from Over-Constrained Test Models for Combinatorial Robustness Testing
IWCT 2020
Konrad FögenRWTH Aachen University, Horst LichterRWTH Aachen University
Link to publication DOI
15:30 - 16:40: Combinatorial Testing Tools SessionIWCT 2020 at Farfetch (D. Maria)
15:30 - 15:40
Short-paper
On Using Ontologies for Testing Compilers
IWCT 2020
Yihao LiInstitute of Technology, Graz University of Technology, Franz WotawaTechnische Universitaet Graz
Link to publication DOI
15:40 - 16:00
Full-paper
A Comparison Infrastructure for Fault Characterization Algorithms
IWCT 2020
Torben FriedrichsRWTH Aachen University, Konrad FögenRWTH Aachen University, Horst LichterRWTH Aachen University
Link to publication DOI
16:00 - 16:20
Full-paper
Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application
IWCT 2020
Jan RichterCzech Technical University in Prague, Bestoun S. AhmedKarlstad University, Miroslav BuresCzech Technical University in Prague, Cleber R. Rosa JuniorRed Hat, Inc.
Link to publication DOI
16:20 - 16:40
Full-paper
CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays
IWCT 2020
Michael WagnerSBA Research, Kristoffer KleineSBA Research, Dimitris SimosSBA Research, Rick KuhnNatl Institute of Standards & Technology, Raghu KackerNational Institute of Standards and Technology
Link to publication DOI
16:55 - 17:55: Wrap upIWCT 2020 at Farfetch (D. Maria)
16:55 - 17:55
Day closing
Wrap up (feedback, planning)
IWCT 2020