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 …

The effectiveness of model-based testing (MBT) is mainly due to its potential for automation.
If the model is formal and machine-readable, test cases can be derived automatically. One of …

Every process within software development refers to a specific set of input and output
artifacts. Each artifact models specific design information of a system, yet they complement …

Software testing plays an important role in software development because it can minimize
the development cost. Software testing approaches are divided into three parts ie code …

This paper presents a novel approach for generation of test cases from UML design
diagrams. In this new generation scheme, we have considered use case diagram, activity …

Software testing is an important and critical activity in software development that deals with
software quality. However, the testing process is consuming activities that need to be …

Regression testing is one of the most critical activities in the software maintenance process
and its importance is twofold for evolutionary applications, eg, modern flexible web-based …

Test complexity and test adequacy are frequently raised by software developers and testing
agents. However, there is little research works at this aspect on specification-based testing …

Functional testing of application workflows is one of the most frequently used testing
methods. To reduce test design effort and decrease a possibility of human mistake, it is …

UML activity diagrams and state machines are both used for modeling system behavior from
the user perspective and are frequently the basis for deriving system test cases. In practice …