Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

Testing is an important part of every software development process on which companies
devote considerable time and effort. The burgeoning web applications and their proliferating …

Abstract Model-based test case generation (MB-TCG) and prioritization (MB-TCP) utilize
models that represent the system under test (SUT) for test generation and prioritization in …

Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical
systems. As a result of the high number of different technologies and connectivity features …

Software testing encompasses a variety of activities along the software development
process and may consume a large part of the effort required for producing software. It …

Test case prioritization (TCP) aims to reorder the regression test suite with a goal of
increasing the fault detection rate. Various TCP techniques have been proposed based on …

Implementation of optimization algorithm for test case generation in Model-Based Testing
(MBT) for Software Product Line (SPL) has been increasing, due to the demand for optimal …

The abstract test cases generated through model-based testing (MBT) need to be
concretized to make them executable on the software under test (SUT). Multiple re …

Every year several contributions to the model‐based testing (MBT) field are published.
Therefore, to follow the evolution and trends of several tools and models available is difficult …

In this paper we describe an Agile model-driven engineering (MDE) approach for the re-
engineering of legacy systems. This involves the automated abstraction of systems to UML …