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]
@inproceedings{MishraRCRJM13,
title = {An auto-review tool for model-based testing of safety-critical systems},
author = {Atit Mishra and Manjunatha Rao and Chethan CU and Vanishree Rao and Yogananda V. Jeppu and Nagaraj Murthy},
year = {2013},
doi = {10.1145/2489280.2489294},
url = {https://doi.org/10.1145/2489280.2489294},
researchr = {https://researchr.org/publication/MishraRCRJM13},
cites = {0},
citedby = {0},
pages = {47-52},
booktitle = {Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, JAMAICA 2013, Lugano, Switzerland, July 15, 2013},
editor = {Gabriella Carrozza and Roberto Pietrantuono and Vittorio Manetti},
publisher = {ACM},
isbn = {978-1-4503-2161-7},
}