In this podcast, Axel Naumann describes how CERN used Coverity testing software to root out problems in its massive Root codebase used to analyze results from the Large Hadron Collider. The LHC is all ...
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 ...