Post-Mortem Black-Box Correctness Tests for Basic Parallel Data Structures

Phillip B. Gibbons, John L. Bruno, Steven Phillips. Post-Mortem Black-Box Correctness Tests for Basic Parallel Data Structures. In SPAA. pages 44-53, 1999. [doi]

Abstract

Abstract is missing.