Vetro, et al.. Investigating Automatic Static Analysis Results to Identify Quality Problems: An Inductive Study. IEEE, 2012, doi:10.1109/sew.2012.9.