Author:
Cristia Maximiliano,Hollmann Diego,Albertengo Pablo,Frydman Claudia,Monetti Pablo Rodriguez
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2006)
2. Hierons, R.M., et al.: Using formal specifications to support testing. ACM Comput. Surv. 41(2), 1–76 (2009)
3. Stocks, P., Carrington, D.: A Framework for Specification-Based Testing. IEEE Transactions on Software Engineering 22(11), 777–793 (1996)
4. Grieskamp, W., Gurevich, Y., Schulte, W., Veanes, M.: Generating finite state machines from abstract state machines. In: ISSTA 2002: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 112–122. ACM, New York (2002)
5. Lecture Notes in Computer Science;B. Legeard,2002
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献