Mar 17, 2008 · Parallel programs present some features such as concurrency, communication and synchronization that make the test a challenging activity.

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

This paper has contributed in this direction, presenting an experimental study that evaluates structural testing criteria defined for message-passing programs, ...

The current structural testing criteria developed for the project consider both communication and synchronization paradigms (shared memory and message passing) ...

This study proposes a new framework that can effectively apply unit testing to concurrent programs, which are difficult to develop and debug.

This paper presents a tool, called ValiPar, that implements testing criteria specific for parallel programs in messagepassing environments that provides a ...

This paper proposes a novel suite of benchmarks for the evaluation of the structural testing of concurrent programs with message-passing paradigm.

This paper presents structural testing criteria for validation of semaphore-based multithread programs exploring control, data, communication and ...

Message‐passing parallel programs require structural testing criteria to support test models and tools capable of covering synchronization events with dynamic ...

Message‐passing parallel programs require structural testing criteria to support test models and tools capable of covering synchronization events with dynamic ...