IWCT 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
Sat 24 Oct 2020 13:15 - 14:00 at Farfetch (D. Maria) - Opening Session

With the increase use of artificial intelligence methodologies even in safety-critical systems for implementing automated and autonomous functionality, there is a need for coming up with verification and certification methodologies allowing to justify the degree of verification at least to a certain extent. Combinatorial testing makes use of the combinatorial strength for this purpose. In recent work, we reported on an extension of combinatorial testing, i.e., ontology-based testing, where we utilize ontologies for describing environmental models that can be mapped to combinatorial testing input models. In my talk, I introduce the basic ideas, discuss the foundations, and present results obtained when using combinatorial testing from various domains, including autonomous and automated driving functions and security testing.

Sat 24 Oct

Displayed time zone: Lisbon change

13:00 - 14:00
Opening SessionIWCT 2020 at Farfetch (D. Maria)
Day opening
Welcome to IWCT
IWCT 2020
Dimitris Simos SBA Research, Jeff Yu Lei University of Texas at Arlington, Changhai Nie
Keynote: Verifying autonomous systems using ontology-based testing
IWCT 2020
Franz Wotawa Technische Universitaet Graz