Press Release NASA Jet Propulsion Laboratory Relies on Coverity to Ensure the Seamless Touchdown and Operation of the Curiosity Mars Rover August 21, 2012