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