TY  - RPRT
TI  - Report on the third static analysis tool exposition (SATE 2010) 
AU  - Okun, vadim
AU  - Delaitre, Aurelien
AU  - Black, Paul E
PY  - 2011
PB  - National Institute of Standards and Technology
CY  - Gaithersburg, MD
SN  - NIST SP 500-283
DO  - 10.6028/NIST.SP.500-283
ER  -