Author:
Bonifacio Adilson Luiz,Moura Arnaldo Vieira
Publisher
Springer International Publishing
Reference12 articles.
1. Bonifacio, A.L., Moura, A.V., da, S., Simao, A.: A generalized model-based test generation method. In: Cerone, A., Gruner, S. (eds.) Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM, November 10-14, pp. 139–148. IEEE Computer Society, Cape Town (2008)
2. Bonifacio, A.L., Moura, A.V., da Silva Simão, A.: Model partitions and compact test case suites. Int. J. Found. Comput. Sci. 23(1), 147–172 (2012)
3. Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering 4(3), 178–187 (1978)
4. Lecture Notes in Computer Science;R. Dorofeeva,2005
5. Fujiwara, S., Bochmann, G.V., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Transactions on Software Engineering 17(6), 591–603 (1991)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献