Sukant K. Giri Atit Mishra Yogananda V. Jeppu Kundapur Karunakar A Randomised Test Approach to Testing Safety Critical Ada Code. 190-199 http://dx.doi.org/10.1007/978-3-540-24841-5_15 2004 conf/adaEurope/2004 Ada-Europe db/conf/adaEurope/adaEurope2004.html#GiriMJK04