TY - RPRT TI - Static analysis tool exposition (SATE) 2008 AU - Okun, vadim AU - Gaucher, Romain AU - Black, Paul E PY - 2009 PB - National Institute of Standards and Technology CY - Gaithersburg, MD SN - NIST SP 500-279 DO - 10.6028/NIST.SP.500-279 ER -