TY - GEN AU - Vadim Okun AU - Aurelien Delaitre AU - Paul E Black C2 - , National Institute of Standards and Technology, Gaithersburg, MD DA - 2010-01-01 05:01:00 DO - https://doi.org/10.6028/NIST.SP.500-287 LA - en PB - , National Institute of Standards and Technology, Gaithersburg, MD PY - 2010 TI - The second static analysis tool exposition (SATE) 2009: ER -