Mars Polar Lander Fault Identification Using Model-based Testing.

Mark R. Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda

Browse the full ICECCS paper archive.