Development of a flight software testing methodology : final report / - McCluskey, Edward J. (Center for Reliable Computing, Stanford University, 1985)