Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools.
Jeremy S. BradburyItai SegallEitan FarchiKevin JalbertDavid KelkPublished in: PADTAD (2012)
Keyphrases
- automatic detection
- database systems
- false alarms
- false positives
- detection accuracy
- software tools
- expert systems
- decision support
- anomaly detection
- building blocks
- neural network
- detection method
- user friendly
- detection algorithm
- detection rate
- software systems
- object detection
- object recognition
- computer vision
- real world