Efficient concurrency-bug detection across inputs.
Dongdong DengWei ZhangShan LuPublished in: OOPSLA (2013)
Keyphrases
- lightweight
- object detection
- software systems
- computationally expensive
- data mining
- detection method
- database systems
- automatic detection
- software engineering
- false positives
- detection algorithm
- concurrency control protocols
- detection scheme
- detection accuracy
- event detection
- data model
- artificial neural networks
- multiscale
- social networks