Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races.
Rajiv Gupta, Madalene Spezialetti
VenueAISSTA
Year1991
ProceedingsSymposium on Testing, Analysis, and Verification
DBLP recordconf/issta/GuptaS91 ↗
Browse the full ISSTA paper archive.