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 (JAMAICA@ISSTA, 2013)