NASA JPL uses Coverity to test 2 million lines of mission critical flight software for defects; contributes to NASA’s quest to uncover whether Mars could have ever hosted life. Coverity, Inc., the ...