There is a growing demand for correct parallel programs, mainly due to nowadays
availability of parallel architectures. Structural testing allows identifying defects by analyzing …

There is a growing demand for correct parallel programs, mainly due to nowadays parallel
architectures, such as clusters and multi/many-core processors. Structural testing allows the …

Parallel programs present some features such as concurrency, communication and
synchronization that make the test a challenging activity. Because of these characteristics …

Developing high‐quality, error‐free message‐passing concurrent programs is not trivial.
Although a number of different primitives with associated semantics are available to assist …

Concurrent program testing is not a trivial task. Features like nondeterminism,
communication and synchronization impose new challenges that must be considered during …

In message-passing parallel applications, messages are not delivered in a strict order. The
number of messages, their content and their destination may depend on the ordering of their …

Among the message passing environments, MPI (Message Passing Interface) has been
considered by several authors as the de facto standard to build parallel software. In spite of …

The software testing activity is crucial for Software Quality Assessment. To aid at this phase,
several testing criteria were proposed. A testing criterion is a predicate to be satisfied by a …

Concurrent software testing is a challenging activity due to factors that are not present in
sequential programs, such as communication, synchronization, and non-determinism, and …

This paper proposes a novel structural test model to capture information about flows of data,
control, communication and syn-chronization of parallel and distributed applications …