A Randomised Test Approach to Testing Safety Critical Ada Code. - Sukant K. Giri; Atit Mishra; Yogananda V. Jeppu; Kundapur Karunakar (Ada-Europe, 2004)

An auto-review tool for model-based testing of safety-critical systems. - Atit Mishra; Manjunatha Rao; Chethan CU; Vanishree Rao; Yogananda V. Jeppu; Nagaraj Murthy (JAMAICA@ISSTA, 2013)