Atit Mishra

According to our database, Atit Mishra authored at least 2 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, 2013

2004

A Randomised Test Approach to Testing Safety Critical Ada Code.

Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar

Proceedings of the Reliable Software Technologies, 2004