Sign in

EnforceMOP: a runtime property enforcement system for multithreaded programs.

Qingzhou LuoGrigore Rosu
Published in: ISSTA (2013)
Keyphrases
  • computer programs
  • multi user
  • neural network
  • real world
  • social networks
  • information systems
  • case study
  • global consistency
  • control structures