A System for Object Code Validation. - A. K. Bhattacharjee; Gopa Sen; S. D. Dhodapkar; Kundapur Karunakar; Basant Rajan; R. K. Shyamasundar (FTRTFT, 2000)

Testing Safety Critical Ada Code Using Non Real Time Testing. - Yogananda V. Jeppu; Kundapur Karunakar; P. S. Subramanyam (Ada-Europe, 2003)

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