DFTinker: Detecting and Fixing Double-Fetch Bugs in an Automated Way.

Yingqi Luo Pengfei Wang Xu Zhou Kai Lu

Published in: WASA (2018)

Keyphrases

semi automated
source code
computer aided
multimedia
wide range
database
computer vision
image segmentation
multi agent systems
data driven
test cases
computer assisted
automatic detection
context sensitive
fully automated