Most modern software systems (operating systems like Linux or Android, Web browsers like
Firefox or Chrome, video encoders like ffmpeg, x264 or VLC, mobile and cloud applications …

Abstract Model-based testing (MBT) is about testing a software system using a model of its
behaviour. To benefit fully from MBT, automation support is required. The goal of this …

Test case prioritization techniques involve scheduling over test cases in an order that
improves the performance of regression testing. It is inefficient to re execute every test cases …

Regression testing aims at testing a system under test (SUT) in the presence of changes. As
a SUT changes, the number of test cases increases to handle the modifications, and …

More than five years have passed since the final release of the long-desired OASIS standard
of a process language for Web Services orchestration, the Web Services Business Process …

Cause-Effect Graphing (CEG) is used to identify test cases from a given specification to
validate its corresponding implementation. This paper gives detail about this technique of …

Uncertainty in timing properties (eg, detection time of external events) is a common
occurrence in embedded software systems, since these systems interact with complex …

Data intensive applications are one of the most critical real-time applications which are
desired in most of the new-normal practices such as recommendation systems, social media …

More than five years have passed since the final release of the long-desired OASIS standard
of a process language for web service orchestration, the Web Services Business Process …

In our previous study, a framework combining different requirement-based test generation
techniques such as Equivalence Class Partitioning (ECP), Boundary Value Analysis (BVA) …