Pervasive detection of process races in deployed systems.

Oren Laadan Nicolas Viennot Chia-che Tsai Chris Blinn Junfeng Yang Jason Nieh

Published in: SOSP (2011)

Keyphrases

computer systems
context aware
complex systems
object detection
intelligent systems
detection algorithm
detection accuracy
database
automatic detection
process model
detection method
knowledge based systems
knowledge base
information systems
artificial intelligence
genetic algorithm
real time