A Heuristic Framework to Detect Concurrency Vulnerabilities.

Changming Liu Deqing Zou Peng Luo Bin B. Zhu Hai Jin

Published in: ACSAC (2018)

Keyphrases

main contribution
database systems
probabilistic model
detection algorithm
theoretical framework
data mining
software engineering
programming language
distributed databases
security mechanisms