Snelick R, JaJa JF, Kacker R, Lyon G.  1995.  Using synthetic perturbations and statistical screening to assay shared-memory programs. Information processing letters. 54(3):147-153.