Code Analysis as an Enabler for SW Quality Improvement: The SELEX ES SW Engineering Experience | Publicación