Detection of Races and Control-Flow Nondeterminism.

Ming-Dong Feng Chung-Kwong Yuen

Published in: LCR (1998)

Keyphrases

control flow
data flow
detection algorithm
detection method
object detection
transition systems
false positives
process model
workflow management systems
software testing
expert systems
modeling language
database
databases
machine learning
multi agent