Empirical research on concurrent software testing: A systematic mapping study
Background: Concurrent software testing is a costly and difficult task, especially due to the
exponential increase in the test sequences caused by non-determinism. Such an issue has …
exponential increase in the test sequences caused by non-determinism. Such an issue has …
Semantics-aware scheduling policies for synchronization determinism
A common task for all deterministic multithreading (DMT) systems is to enforce
synchronization determinism. However, synchronization determinism has not been the focus …
synchronization determinism. However, synchronization determinism has not been the focus …
Deterministic dynamic race detection across program versions
SV Poluri, MK Ramanathan - 2015 IEEE International …, 2015 - ieeexplore.ieee.org
Dynamic race detectors operate by analyzing execution traces of programs to detect races in
multithreaded programs. As the thread interleavings influence these traces, the sets of races …
multithreaded programs. As the thread interleavings influence these traces, the sets of races …
[PDF][PDF] Analysis of GPGPU Programs for Data-race and Barrier Divergence.
S Sarkar, P Kandelwal, S Bandyopadhyay… - ICSOFT, 2018 - pdfs.semanticscholar.org
Todays business and scientific applications have a high computing demand due to the
increasing data size and the demand for responsiveness. Many such applications have a …
increasing data size and the demand for responsiveness. Many such applications have a …