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 …

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 …

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 …

This article presents the techniques and results of a novel model‐based test case
generation approach that automatically derives test cases from UML state machines. The …

Model-Based testing (MBT) is a technique to derive test cases from models of the system
under test (SUT), and the UML is the leading and de-facto standard language for system …

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

In this article, we present a model-based black-box equivalence partition testing strategy,
together with a formal proof of its completeness properties. The results apply to reactive …

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 …

Test case generation based on design specifications is an important part of testing
processes. In this paper, Unified Modeling Language activity diagrams are used as design …

MoMuT:: UML is a model-based mutation testing tool for UML models. It maps UML state
machines to a formal semantics and performs a conformance check between an original and …