Reddy, G. and Chandrasekhar, A. 2013. Tools and Techniques for testing of Flight Critical Software. Defence Science Journal. 49, 4 (Jan. 2013), 317-322. DOI:https://doi.org/10.14429/dsj.49.3844.