Author:
Castillos Kalou Cabrera,Dadeau Frédéric,Julliand Jacques
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference30 articles.
1. Auguston, M., Michael, J.B., Shing, M.-T.: Environment behavior models for scenario generation and testing automation. In: A-MOST ’05: Proceedings of the 1st International Workshop on Advances in Model-Based Testing, pp. 1–6. ACM, New York (2005)
2. Beizer B.: Black-Box Testing: Techniques for Functional Testing of Software and Systems. Wiley, New York (1995)
3. Binder R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Longman Publishing Co. Inc., Boston (1999)
4. Bouquet, F., Dadeau, F., Legeard, B.: Automated boundary test generation from JML specifications. In: Nipkow, T., Misra, J. (eds.) FM’06, 14th International Conference on Formal Methods, Hamilton Canada. LNCS, vol. 4085, pp. 428–443. Springer, Berlin (2006)
5. Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A subset of precise UML for model-based testing. In: A-MOST’07, 3rd International Workshop on Advances in Model Based Testing, pp. 95–104. ACM Press, London (2007)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献