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]
Abstract is missing.