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

Testing with invalid test inputs is important to evaluate the robustness of a system. Combinatorial robustness testing is an approach to generate valid and invalid test inputs separately. Unfortunately, it is easy to create over-constrained test models. As a result, not all specified invalid values or invalid value combinations appear in the test suite. Previous work proposed to repair the test model manually or semi-automatically based on conflict detection and diagnosis techniques. In this paper, we extend that work and present a fully-automatic approach that allows to generate invalid test inputs from over-constrained test models based on alternative constraint handling strategies.

Sat 24 Oct
Times are displayed in time zone: Lisbon change

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 BombardaUniversity of Bergamo, Angelo GargantiniUniversity of Bergamo
Link to publication DOI
14:40
10m
Short-paper
Combinatorial Methods for Explainable AI
IWCT 2020
Rick KuhnNatl Institute of Standards & Technology, Raghu KackerNational Institute of Standards and Technology, Jeff Yu LeiUniversity of Texas at Arlington, Dimitris SimosSBA 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ögenRWTH Aachen University, Horst LichterRWTH Aachen University
Link to publication DOI