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. An auto-review tool for model-based testing of safety-critical systems. In Gabriella Carrozza, Roberto Pietrantuono, Vittorio Manetti, editors, Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, JAMAICA 2013, Lugano, Switzerland, July 15, 2013. pages 47-52, ACM, 2013. [doi]

Authors

Atit Mishra

This author has not been identified. Look up 'Atit Mishra' in Google

Manjunatha Rao

This author has not been identified. Look up 'Manjunatha Rao' in Google

Chethan CU

This author has not been identified. Look up 'Chethan CU' in Google

Vanishree Rao

This author has not been identified. Look up 'Vanishree Rao' in Google

Yogananda V. Jeppu

This author has not been identified. Look up 'Yogananda V. Jeppu' in Google

Nagaraj Murthy

This author has not been identified. Look up 'Nagaraj Murthy' in Google