EnforceMOP: a runtime property enforcement system for multithreaded programs.

Qingzhou Luo Grigore Rosu

Published in: ISSTA (2013)

Keyphrases

computer programs
multi user
neural network
real world
social networks
information systems
case study
global consistency
control structures