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 …

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

Parallel programs are imperative for improving performance and problem solving, having an
increasing demand on implementing efficient parallel programming techniques. This entails …

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

While many parallel programming models exist, the dominant model is MPI. It has been
considered as the de facto standard for building parallel programs that use message …

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

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 …

Recently, MPI has become widely used in many scientific applications, including different
non-computer science fields, for parallelizing their applications. An MPI programming model …

In this special issue of Concurrency and Computation Practice and Experience, we are
pleased to present eight selected papers that were previously presented at the Brazilian “XX …

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 …