This chapter gives an overview of the field of model-based testing (MBT), particularly the
recent advances in the last decade. It gives a summary of the MBT process, the modeling …

Acceptance testing is a validation activity performed to ensure the conformance of software
systems with respect to their functional requirements. In safety critical systems, it plays a …

Formal models are increasingly being used as input for automated test generation
strategies. Software Cost Reduction (SCR), for example, was designed to detect and correct …

A robot affects and is affected by its environment, so that typically its behaviour depends on
properties of that environment. For verification, we need to formalise those properties …

Vehicles are insecure. To protect such systems, we must begin by identifying any
weaknesses. One approach is to apply a systematic security evaluation to the system under …

Test phase is one of the most critical phases in software engineering life cycle to assure the
final system quality. In this context, functional system test cases verify that the system under …

Exploratory testing is a kind of software testing approach that emphasizes tester's
experience to maximize the chances to find bugs within a specific time period. It is naturally …

Abstract Model-Based Testing (MBT) techniques usually take as input models that are not
available in the very beginning of a development. Therefore, its use is postponed. In this …

Formal models are increasingly being used as input for automated test-generation
strategies. However, typically the requirements are captured as English text, and these …

Modern connected cars are exposed to various cybersecurity threats due to the
sophisticated computing and connectivity technologies they host for providing enhanced …