NASA JPL uses Coverity to test 2 million lines of mission-critical flight software
August 22, 2012
URL:http://www.drdobbs.com/testing/mars-rovers-clean-landing-on-clean-code/240006012
Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.