Atit Mishra

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Safety Critical

Support Systems

Top Venues

Publications

Atit Mishra, Manjunatha Rao, Chethan CU, Vanishree Rao, Yogananda V. Jeppu, Nagaraj Murthy
An auto-review tool for model-based testing of safety-critical systems. JAMAICA@ISSTA (2013)
Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar
A Randomised Test Approach to Testing Safety Critical Ada Code. Ada-Europe (2004)