@article {15043, title = {Using synthetic perturbations and statistical screening to assay shared-memory programs}, journal = {Information processing letters}, volume = {54}, year = {1995}, month = {1995///}, pages = {147 - 153}, author = {Snelick,R. and JaJa, Joseph F. and Kacker,R. and Lyon,G.} }