Static analyzers can report possible problems in code and help reinforce good practices of developers. We contrast the strengths of static analyzers with testing and indicate the current state of the art.
Crosstalk (Hill AFB): the Journal of Defense Software Engineering
Static Analyzers in Software Engineering, Crosstalk (Hill AFB): the Journal of Defense Software Engineering, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=901506
(Accessed December 1, 2023)