Acceptance testing is a validation activity performed to ensure the conformance of software
systems with respect to their functional requirements. In safety critical systems, it plays a …

In safety critical domains, system test cases are often derived from functional requirements in
natural language (NL) and traceability between requirements and their corresponding test …

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 …

Testing a program to confirm whether it consistently implements its requirements
specification is a necessary but time-consuming activity in software development. Automatic …

Unified modelling language (UML) is a visual modelling language, which has gained
popularity among software practitioners. In a model‐driven software development …

Automatic functional testing is a potentially effective technique for software reliability, but it
has been a challenge due to the difficulties in automatically deriving adequate test cases …

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

Interaction Flow Modelling Language (IFML) is a recently standardized modelling language
designed to capture the structure and properties of the application user interface. In the …

The growing complexity of modern real-time embedded systems is leading to increased use
of component-based software engineering (CBSE) technology. Although many ideas have …

One of the challenges in concurrent software development is early discovery of design
errors which could lead to deadlocks or race-conditions. For safety-critical and complex …