Model-Based Testing: Approaches and Notations

Abstract

Model-based testing (MBT) constitutes a number of technologies, methods, and approaches with the aim of improving the quality, efficiency, and effectiveness of test processes, tasks, and artifacts. The entry investigates MBT approaches and the languages and notations used. It is the successor entry to model-based testing by the same authors.