The evolution of a test process for spacecraft software | IEEE Conference Publication | IEEE Xplore