C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.
Shan Lu
Soyeon Park
Chongfeng Hu
Xiao Ma
Weihang Jiang
Zhenmin Li
Raluca A. Popa
Yuanyuan Zhou
Published in:
SOSP (2007)
Keyphrases
</>
semantically related
access control
semantic similarity
case study
similarity measure
natural language
automatically generated
semantic knowledge
semantic categories
semantic web
intrusion detection
software systems
domain ontology
concurrency control
root cause
semantically similar