Reis, R., Prado, D., & Fernandes, M. 2008 Jun 2. Use of the Klocwork Static Analysis Tool at Motorola - Experience report. Proceedings of the Brazilian Software Quality Symposium (SBQS). [Online] :