Maximal sound predictive race detection with control flow abstraction.

Jeff Huang Patrick O'Neil Meredith Grigore Rosu

Published in: PLDI (2014)

Keyphrases

control flow
data flow
detection algorithm
false positives
high level
detection method
process model
object detection
modeling language
transition systems
database
software testing
workflow management systems
temporal logic
software development
case study
artificial intelligence