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