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

Phillip B. Gibbons, John L. Bruno, Steven Phillips

Browse the full SPAA paper archive.