TY - JOUR T1 - Using synthetic perturbations and statistical screening to assay shared-memory programs JF - Information processing letters Y1 - 1995 A1 - Snelick,R. A1 - JaJa, Joseph F. A1 - Kacker,R. A1 - Lyon,G. VL - 54 CP - 3 ER -