TY - GEN AU - Okun, Vadim AU - Gaucher, Romain AU - Black, Paul E C2 - , National Institute of Standards and Technology, Gaithersburg, MD DA - 2009-01-01 05:01:00 DO - https://doi.org/10.6028/NIST.SP.500-279 LA - en PB - , National Institute of Standards and Technology, Gaithersburg, MD PY - 2009 TI - Static analysis tool exposition (SATE) 2008: ER -