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 …

It is important that a Cyber-Physical System (CPS) with uncertainty in its behavior caused by
its unpredictable operating environment, to ensure its reliable operation. One method to …

In software engineering, system modeling is the process of formulating a representation of a
real system in an abstract way to understand its behavior. Software testing encourages …

Model-based mutation testing (MBMT) is a promising testing methodology that relies on a
model of the system under test (SUT) to create test cases. Hence, MBMT is a so-called black …

Context: In modern systems, like cyber-physical systems, where software and physical
services are interacting, safety, security or performance play an important role. In order to …

The world's increased dependence on software-enabled systems has raised major concerns
about software reliability and security. New cost-effective tools for software quality assurance …

Software testing approaches are mainly divided into three types ie code based testing,
specification based testing and model based testing. In model based testing, the testing can …

We propose a novel testing technique for object-oriented programs. Based on the state and
activity models of a system, we construct an intermediate representation, which we have …

The ever-growing need for customization creates a need to maintain software systems in
many different variants. To avoid having to maintain different copies of the same model …

Accepted: 13 Aug 2024 Integration testing, a critical and resource-intensive phase in the
software development lifecycle, can account for up to a high percentage of the total testing …