[ACM Press the 2013 International Workshop - Lugano, Switzerland (2013.07.15-2013.07.15)] Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation - JAMAICA 2013 - An auto-review tool for model-based testing of safety-critical systems
Mishra, Atit, Rao, Manjunatha, CU, Chethan, Rao, Vanishree, Jeppu, Yogananda, Murthy, NagarajYear:
2013
Language:
english
DOI:
10.1145/2489280.2489294
File:
PDF, 165 KB
english, 2013