Author:
Villalobos-Arias Leonardo,Quesada-López Christian,Martinez Alexandra,Jenkins Marcelo
Publisher
Springer International Publishing
Reference27 articles.
1. Utting, M., Legeard, B., Bouquet, F., Fourneret, E., Peureux, F., Vernotte, A.: Recent advances in model-based testing. In: Advances in Computers, vol. 101, pp. 53–120. Elsevier (2016)
2. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2010)
3. Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.: One evaluation of model-based testing and its automation. In: Proceedings of the 27th International Conference on Software Engineering, pp. 392–401. ACM (2005)
4. Broy, M., Jonsson, B., Katoen, J.P., Leucker, M., Pretschner, A.: Model-based testing of reactive systems. In: LNCS, vol. 3472. Springer (2005)
5. Jard, C., Jeron, T.: TGV: theory, principles and algorithms. Int. J. Softw. Tools Technol. Transfer 7, 297–315 (2005)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献