It is essential for users to understand what their AI systems can and can't do in order to use
them safely. However, the problem of enabling users to assess AI systems with sequential …

This paper investigates model matching problem of switched asynchronous sequential
machines (ASMs) via semi-tensor product (STP) of matrices. A switched ASM is composed …

Constructing a model of a system for model-based testing, simulation, or model checking
can be cumbersome for existing, third party, or legacy components. Active automata …

Active automata learning gains increasing interest since it gives an insight into the behavior
of a black-box system. A crucial drawback of the frequently used learning algorithms based …

It is essential for users to understand what their AI systems can and can't do in order to use
them safely. However, the problem of enabling users to assess AI systems with evolving …

Abstract Model-based testing allows the creation of test cases from a model of the system
under test. Often, such models are difficult to obtain, or even not available. Automata …

Advanced applications of automata learning demand increasinly complex learning
algorithms that are hard to reason about. We use the language of category theory to develop …

TLS and SSH are two well-known and thoroughly studied security protocols. In this thesis,
we focus on a specific class of vulnerabilities affecting both protocols implementations, state …

Git is a distributed version control system that enables developers to seamlessly collaborate
on a project. It tracks changes made to the source code and implements various features …

The paper addresses the problems of active learning and conformance testing of systems
modeled by nondeterministic Mealy machines (NFSM). It presents a unified SAT-based …