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 …

Abstract Model‐based test case generation techniques provide a mechanism to derive tests
systematically. This study provides a systematic map** of test case generation techniques …

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 …

Testing is an important phase of software development process. Automatic generation of test
scenarios not only reduces the time, but also reduces the effort of the user. In this work, we …

Testing is one of the main topics in software engineering. To perform testing tasks, a set of
pre-testing steps should be done as testing preparation. One of the pre-testing steps is test …

Software testing is an important step in the life cycle of agile development, it represents an
efficient way to ensure the good functioning of the product. In previous work, we …

Software testing is an important step in the life cycle of agile development; it represents an
efficient way to ensure the good functioning of the product. But as the complexity of a system …

To improve the effectiveness of test data generation during the software test, many studies
have focused on the automation of test data generation from UML diagrams. One of these …

Test case generation is the most crucial job of testing paradigm. Unified Modelling
Language (UML) model, give a lot of information for testing which is accepted widely by both …