Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Grail homepage, http://www.csd.uwo.ca/research/grail/
2. Abadi, M., Lamport, L.: Composing specifications. TOPLAS 15(1), 73–132 (1993)
3. Lecture Notes in Computer Science;R. Alur,1998
4. Bertolino, A., Polini, A.: A framework for component deployment testing. In: ICSE 2003, pp. 221–231. IEEE Press, Los Alamitos (2003)
5. Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Proc. 4th Summer School on Modeling and Verification of Parallel Processes, pp. 187–195. Springer, Heidelberg (2001)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. (De-)Composing Causality in Labeled Transition Systems;Electronic Proceedings in Theoretical Computer Science;2016-08-26
2. Decompositional Reasoning about the History of Parallel Processes;Fundamentals of Software Engineering;2012
3. Information gain of black-box testing;Formal Aspects of Computing;2011-07
4. Towards a Model Based Approach for Integration Testing;Lecture Notes in Computer Science;2011
5. Grey-Box Checking;Lecture Notes in Computer Science;2006