A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques.
Haojie FuZan WangXiang ChenXiangyu FanPublished in: Softw. Qual. J. (2018)
Keyphrases
- automated analysis
- semi automated
- detection algorithm
- detection method
- false positives
- object detection
- anomaly detection
- data flow
- automatic detection
- software systems
- detection scheme
- detection accuracy
- false alarms
- detection rate
- computer aided
- data sets
- face detection
- data collection
- open source
- genetic algorithm
- neural network