Før roveren Curiosity blev sendt afsted til Mars, blev softwaren, der styrer roveren, tjekket for fejl. Til dette formål havde NASA hyret firmaet Coverity, der blev bedt om at finde alle mulige fejl i koden. Koden bestod af 2 millioner linjers C, og noget C++….