Automating test case generation for the new generation mission software system (2000)

by Y W Tung, W S Aldiwan
Venue:In Proc. IEEE Aerospace Conf