Abstract Context: The Unified Modeling Language (UML) has become the de facto standard
for software modeling. UML models are often used to visualize, understand, and …

Data-flow testing (DFT) is a family of testing strategies designed to verify the interactions
between each program variable's definition and its uses. Such a test objective of interest is …

There is an abundance of testing styles in the discipline of software engineering today. Over
the last few decades, many of these have come to be used and adopted by the industry as …

This work describes an empirical investigation of the cost effectiveness of well-known state-
based testing techniques for classes or clusters of classes that exhibit a state-dependent …

In this paper we describe two experiments in the verification of software standard
conformance. In our experiments, we use a model-based test generator to create a test suite …

A number of testing strategies have been proposed using state machines and statecharts as
test models in order to derive test sequences and validate classes or class clusters. Though …

This paper presents a model checking-based approach to dataflow testing. We characterize
dataflow oriented coverage criteria in temporal logic such that the problem of test generation …

The world's increased dependence on software-enabled systems has raised major concerns
about software reliability and security. New cost-effective tools for software quality assurance …

A large number of research works have addressed the importance of models in software
engineering. However, the adoption of model-based techniques in software organizations is …

During regression testing, a modified system needs to be retested using the existing test
suite. Since test suites may be very large, developers are interested in detecting faults in the …