Synthetic-perturbation Techniques for Screening Shared Memory Programs.

Robert Snelick Joseph JáJá Raghu Kacker Gordon Lyon Synthetic-perturbation Techniques for Screening Shared Memory Programs. 679-701 1994 24 Softw., Pract. Exper. 8 db/journals/spe/spe24.html#SnelickJKL94