Testing Probabilistic Distributed Systems-Reference-Cited by-同舟云学术

Testing Probabilistic Distributed Systems

Published:2010 Issue: Volume: Page:63-77
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Systems
language:
Short-container-title:

Author:

Hierons Robert M.,Núñez Manuel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-13464-7_6.pdf

Reference29 articles.

1. Lecture Notes in Computer Science;H. Ben-Abdallah,1997

2. Bravetti, M., Aldini, A.: Discrete time generative-reactive probabilistic processes with different advancing speeds. Theoretical Computer Science 290(1), 355–406 (2003)

3. Brinksma, E., Heerink, L., Tretmans, J.: Factorized test generation for multi-input/output transition systems. In: 11th IFIP Workshop on Testing of Communicating Systems, IWTCS 1998, pp. 67–82. Kluwer Academic Publishers, Dordrecht (1998)

4. Lecture Notes in Computer Science;E. Brinksma,2001

5. Cheung, L., Stoelinga, M., Vaandrager, F.: A testing scenario for probabilistic processes. Journal of the ACM 54(6), Article 29 (2007)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-based testing of probabilistic systems;Formal Aspects of Computing;2018-01

2. Implementation relations and probabilistic schedulers in the distributed test architecture;Journal of Systems and Software;2017-10

3. Model-Based Testing of Probabilistic Systems with Stochastic Time;Tests and Proofs;2017

4. Probabilistic Interface Automata;IEEE Transactions on Software Engineering;2016-09-01

5. Model-Based Testing of Probabilistic Systems;Fundamental Approaches to Software Engineering;2016