Compared to traditional testing methods, Model-Based Testing (MBT) is able to manage and
accomplish testing tasks in a cheaper and more efficient way. A number of MBT tools are …

Model-based testing (MBT) is a test design technique that supports the automation of
software testing processes and generates test artefacts based on a system model …

Abstract A Semantic Web Service (SWS) is a web service attached with a description that
defines its semantic in a computer-interpretable language. This semantic description plays …

In the distributed test architecture, the system under test (SUT) interacts with its environment
at multiple physically distributed ports and the local testers at these ports do not synchronize …

We develop a formal passive testing framework for software systems where parties
communicate asynchronously. Monitors, placed in between the entities, check that a certain …

The abstract test cases generated through model-based testing (MBT) need to be
concretized to make them executable on the software under test (SUT). Multiple re …

Abstract Space domain systems must go through different types of ground testing. For
system-level black-box functional testing, ground support equipment is built ad hoc …

We present a complete framework to formally test systems with distributed ports where some
choices are probabilistically quantified while other choices are non-deterministic. We define …

Current software systems are inherently complex and this fact strongly complicates, and
makes more expensive, to validate them. Therefore, it is a must to provide methodologies …

Context: Model-based testing is one of the most studied approaches by secondary studies in
the area of software testing. Aggregating knowledge from secondary studies on model …