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

Browse the full ISSTA paper archive.