Author:
Robinson-Mallett Christopher,Hierons Robert M.,Poore Jesse,Liggesmeyer Peter
Publisher
Springer Science and Business Media LLC
Subject
Safety, Risk, Reliability and Quality,Software
Reference24 articles.
1. Aizenbud-Reshef, N. (2001). Coverage Analysis for Message Flows, 12th International Symposium on Software Reliability Engineering (ISSRE 2001), pp. 276–286. IEEE.
2. Alur, R., & Dill, L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235.
3. Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., & Yi, W. (1995). UPPAAL—A Tool Suite for Automatic Verification of Real-Time Systems. Workshop on Verification and Control of Hybrid Systems, DIMACS.
4. Bochmann, G. v., & Petrenko, A. (1994). Protocol testing: Review of methods and relevance for software testing. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 1994), pp. 109–124. ACM Press.
5. Cardell-Oliver, R. (2002). Conformance test experiments for distributed real-time systems. Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 159–163. ACM.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献