Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows
Linux Kernel Developer Responses to Static Analysis Bug Reports