Author:
Blom Johan,Hessel Anders,Jonsson Bengt,Pettersson Paul
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;F. Bouquet,2003
2. Clarke, L.A., Podgurski, A., Richardsson, D.J., Zeil, S.J.: A formal evaluation of data flow path delection criteria. IEEE Trans. on Software Engineering SE-15(11), 1318–1332 (1989)
3. du Bousquet, L., Ramangalahy, S., Simon, S., Viho, C., Belinfante, A., de Vries, R.G.: Formal test automation: The conference protocol with tgv/torx. In: Ural, H., Probert, R.L., von Bochmann, G. (eds.) IFIP 13 th Int. Conference on Testing of Communicating Systems(TestCom 2000). Kluwer Academic Publishers, Dordrecht (2000)
4. du Bousquet, L., Zuanon, N.: An overview of Lutess, a specification-based tool for testing synchronous software. In: Proc. 14th IEEE Intl. Conf. on Automated SW Engineering (October 1999)
5. Fernandez, J.-C., Jard, C., Jéron, T., Viho, C.: An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming 29 (1997)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献