Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection.
Yushan ZhangPeisen YaoRongxin WuCharles ZhangPublished in: CoRR (2021)
Keyphrases
- automatic detection
- detection algorithm
- high sensitivity
- detection accuracy
- database management systems
- database
- object detection
- false alarms
- detection rate
- sensitivity analysis
- case study
- false positives
- data types
- event detection
- detection method
- anomaly detection
- source code
- data model
- target detection
- false alarm rate
- detection scheme
- database systems