A systematic review of approaches for testing concurrent programs

V Arora, R Bhatia, M Singh - Concurrency and Computation …, 2016 - Wiley Online Library
Concurrent programs are replacing the sequential programs as they utilize the true
capabilities of multicore architecture. The extensive use of multicore systems and …

Research in concurrent software testing: a systematic review

SRS Souza, MAS Brito, RA Silva, PSL Souza… - Proceedings of the …, 2011 - dl.acm.org
The current increased demand for distributed applications in domains such as web services
and cloud computing has significantly increased interest in concurrent programming. This …

Structural testing for message‐passing concurrent programs: an extended test model

PSL Souza, SRS Souza… - … and Computation: Practice …, 2014 - Wiley Online Library
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 …

Structural testing for communication events into loops of message‐passing parallel programs

SMD Diaz, PSL Souza… - … and Computation: Practice …, 2021 - Wiley Online Library
There is a growing demand for correct parallel programs, mainly due to nowadays
availability of parallel architectures. Structural testing allows identifying defects by analyzing …

Mutation operators for concurrent programs in MPI

RA Silva, SRS de Souza… - 2012 13th Latin American …, 2012 - ieeexplore.ieee.org
Concurrent Programming became an essential paradigm to reduce the computational time
in many application domains. Mutation testing is an important criterion which uses mistakes …

Data flow testing in concurrent programs with message passing and shared memory paradigms

PSL Souza, SS Souza, MG Rocha, RR Prado… - Procedia Computer …, 2013 - Elsevier
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 …

Structural testing for CUDA programming model

HJF Luz, PSL Souza, SRS Souza - … and Computation: Practice …, 2024 - Wiley Online Library
Graphic processors offer an accessible solution for high‐performance computing,
addressing challenges across various fields. The Compute Unified Device Architecture …

Concurrent software testing in practice: a catalog of tools

SM Melo, SRS Souza, RA Silva… - Proceedings of the 6th …, 2015 - dl.acm.org
The testing of concurrent programs is very complex due to the non-determinism present in
those programs. They must be subjected to a systematic testing process that assists in the …

[PDF][PDF] Concurrent softwre testing: a systematic review

MAS Brito, KR Felizardo, PSL Souza, SRS Souza - 2010 - repositorio.usp.br
Software testing applied for concurrent programs is a challenging activity. Considering the
relevance of concurrent programs testing, several research have been conducted in this …

Solar energetic particle events: phenomenology and prediction

SB Gabriel, GJ Patrick - … in Space Environment Research: Volume I, 2003 - Springer
Solar energetic particle events can cause major disruptions to the operation of spacecraft in
earth orbit and outside the earth's magnetosphere and have to be considered for EVA and …