Adaptive Randomized Scheduling for Concurrency Bug Detection.
Zan WangDongdi ZhangShuang LiuJun SunYingquan ZhaoPublished in: ICECCS (2019)
Keyphrases
- detection rate
- automatic detection
- software systems
- detection algorithm
- detection method
- target detection
- detection accuracy
- database systems
- object detection
- dynamic scheduling
- scheduling problem
- databases
- source code
- computer vision
- concurrency control
- software projects
- data sets
- resource constraints
- round robin
- parallel processors
- real time database systems
- database