Software engineering comprehends several disciplines devoted to prevent and remedy
malfunctions and to warrant adequate behaviour. Testing, the subject of this paper, is a …

Testing is one of the most important phases in the development of any product or software.
Various types of software testing exist that have to be done to meet the need of the software …

Correct functioning of object-oriented software depends upon the successful integration of
classes. While individual classes may function correctly, several new faults can arise when …

We present an attention-based ranking framework for learning to order sentences given a
paragraph. Our framework is built on a bidirectional sentence encoder and a self-attention …

Service Oriented Computing is aimed at providing the bases for building software by
assembling independent, loosely coupled services. Industry has given birth to several …

Finite‐state models are extensively used for discrete systems and they have also been
adopted for the analysis and verification of concurrent systems. Programs that have a …

Test phase is one of the most critical phases in software engineering life cycle to assure the
final system quality. In this context, functional system test cases verify that the system under …

A model based testing framework is provided that can be incorporated into and used to
supplement existing testing approaches. Via annotation of custom attributes and …

The Unified Modeling Language (UML) is the standard to specify the structure and
behaviour of software systems. The created models are a constitutive part of the software …

There has been significant interest in automatically generating test cases from a non-
deterministic finite state machine (FSM). Most approaches check that the behaviours of the …