Okun, V.
, Gaucher, R.
and Black, P.
(2009),
Static analysis tool exposition (SATE) 2008:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.SP.500-279
(Accessed October 5, 2024)