Context Model-based testing (MBT) aims to generate executable test cases from behavioral
models of software systems. MBT gains interest in industry and academia due to its …

Software testing activities account for a considerable portion of systems development cost
and, for this reason, many studies have sought to automate these activities. Test data …

Software development teams need to deal with several open reports of critical bugs to be
addressed urgently and simultaneously. The management of these bugs is a complex …

Developers may follow a tedious process to find the cause of a bug based on code reviews
and reproducing the abnormal behavior. In this paper, we propose an automated approach …

Context: One of the time-consuming maintenance tasks is the localization of bugs especially
in large software systems. Developers have to follow a tedious process to reproduce the …

Recently, how to reduce huge energy consumption of data centers has caught wide
attention in cloud computing. One effective way is to improve the energy efficiency of …

Context: Input data sequence (IDS) is an important component of test sequences for testing
from the Extended Finite State Machine (EFSM) model. During test generation, frequent IDS …

Mutual Information is an information theoretic measure designed to quantify the amount of
similarity between two random variables ranging over two sets. In recent work we have use it …

Testing of synchronous reactive systems is challenging because long input sequences are
often needed to drive them into a state to test a desired feature. This is particularly …

Many system specifications are modeled using extended finite state machines (EFSMs).
Functional testing using EFSMs can be a difficult process for two reasons: path feasibility …