CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities.

Ruijie Meng Biyun Zhu Hao Yun Haicheng Li Yan Cai Zijiang Yang

Published in: ASE (2019)

Keyphrases

information systems
artificial intelligence
high quality
automatic detection
software tools
real time
neural network
machine learning
learning algorithm
computationally efficient
concurrency control
formal model