Gabriel Díaz, Juan Ramón Bermejo: Static analysis of source code security: Assessment of tools against SAMATE tests. Inf. Softw. Technol. 55(8): 1462-1476 (2013)