From scripts to specifications: the evolution of a flight software testing effort.

Alex Groce, Klaus Havelund, Margaret H. Smith

Browse the full ICSE paper archive.