A Randomised Test Approach to Testing Safety Critical Ada Code. - Sukant K. Giri; Atit Mishra; Yogananda V. Jeppu; Kundapur Karunakar (Ada-Europe, 2004)