Monthly Archives: October 2011

Mars Polar Lander bug – requirement or code problem

In 2000, I used model-based testing to identify the bug that was the likely cause of the Mars Polar Lander (MPL) crash. See “Mars Polar Lander Fault Identification Using Model-based Testing” for additional detail. The question came up as to … Continue reading

Posted in Uncategorized | 1 Comment