Author:
Cavalli Ana R.,Higashino Teruo,Núñez Manuel
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering
Reference86 articles.
1. Alcalde B, Cavalli A, Chen D, Khuu D, Lee D (2004) Network protocol system passive testing for fault management: A backward checking approach. In: Proceedings of 24th IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE’04), Lecture Notes in Computer Science, vol. 3235. Springer, Berlin, pp 150–166
2. Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci 126:183–235
3. Andrés C, Cambronero M, Nuñez M (2010) Formal passive testing of service-oriented systems. In: Proceedings of 2010 IEEE Int. Conf. on Services Computing (SCC 2010), pp 610-613
4. Andrés C, Merayo M, Núñez M (2008) Passive testing of timed systems. In: Proceedings of 6th Int. Symp. on Automated Technology for Verification and Analysis (ATVA 2008), Lecture Notes in Computer Science, vol.5311. Springer, Berlin, pp 418–427
5. Andrés C, Merayo MG, Núñez M (2012) Formal passive testing of timed systems: Theory and tools. Softw Test Verification Reliab 22(6):365–405
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献