According to Expert C Programming : Deep C Secrets by Peter Van Der Linden page 61:
'Table 2-2 The Truth About Two Famous Space Software Failures
WHEN MISSION ERROR RESULT CAUSE
Summer 1961 Mercury . used instead of , nothing; error found before flight Flaw in Fortran language
July 22, 1962 Mariner 1 "R" instead of "R̅" $12M rocket and probe destroyed programmer followed error
(to Venus) written in specification in specification'
I have no idea whether the formatting of this table will be preserved, its inclusion is to save you looking for the book, you could either download the following .pdf and search for 'mariner' due to the lack of page numbershttp://www.e-reading-lib.org/bookreader.php/138815/Linden_-_...
or just use what little Google Books provides
http://books.google.co.uk/books?id=4vm2xK3yn34C&q=fortra...
As you can see neither mission involved Mars and the faulty . being used instead of a , was found before it caused any harm.
More information follows on the failed Ariane 5 launch - which Bertrand Meyer attributes to "insufficient specification":
http://se.inf.ethz.ch/~meyer/publications/computer/ariane.pd...
Anyway, as always wikipedia has an interesting list of software bugs : http://en.wikipedia.org/wiki/List_of_software_bugs
I found interesting the computer crash of F22-Raptors after crossing the International Date Line.
(edit) ... and I'm downvoted. Lovely. Totally makes sense.
I have never heard that was software related, but it also is a decent bet software was involved, e.g. for stiffening the suspension. What top of the line car did not have software, in 1997?
Here is one of the "b" instead of "m" stories published on the day of the crash:
http://www.cnbc.com/id/36998463
Here is the Wikipedia summary of the event which lists "fat finger trade" as one of the discredited theories:
http://en.wikipedia.org/wiki/2010_Flash_Crash#Early_theories