Reddy, G. V.; Chandrasekhar, A. Tools and Techniques for Testing of Flight Critical Software. Def. Sc. J. 2013, 49, 317-322.