EnforceMOP: a runtime property enforcement system for multithreaded programs.

Qingzhou Luo, Grigore Rosu

Browse the full ISSTA paper archive.