Loop monotonic computations: An approach for the efficient run-time detection of races (1991)

by R Gupta, M Spezialetti
Venue:In ACM Symp. on Testing Analysis and Verification