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 methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

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 …

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 …

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 …

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

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 …

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 …

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