Infinite probabilistic and nonprobabilistic testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1530 LNCS, Issue , 1998, Pages 209-220

  Kumar, K Narayan ^a   Cleaveland, Rance ^a   Smolka, Scott A ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

NON-PROBABILISTIC; PROBABILISTIC PROCESS;

SOFTWARE ENGINEERING;

TESTING;

EID: 84887065061     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49382-2_19     Document Type: Conference Paper

References (12)

1. E. Brinksma, A. Rensink, and W. Vogler. Fair testing. In Proceedings of CONCUR'95, LNCS 962. Springer-Verlag, 1995. 209, 210, 212
2. R. Cleaveland, Z. Dayar, S. A. Smolka, S. Yuen, and A. Zwarico. Testing preorders for probabilistic processes. Information and Computation, 1998. To Appear. 209, 210, 211, 212, 214, 215, 219
3. R. De Nicola and M. C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1983. 209, 210, 212
4. William Feller. Probability Theory and its Applications. John Wiley and Sons, 1950. 217, 218
5. R. J. van Glabbeek, S. A. Smolka, and B. Steffen. Reactive, generative, and stratified models of probabilistic processes. Information and Computation, 121(1):59-80, August 1995. 213
6. M. C. B. Hennessy. Algebraic Theory of Processes. MIT Press, Boston, Mass., 1988. 209, 210, 211, 212
7. B. Jonsson and W. Yi. Compositional testing preorders for probabilistic processes. In Proceedings of LICS'95, pages 431-441, 1995. 209
8. V. Natarajan and R. Cleaveland. Divergence and fair testing. In Proceedings of ICALP'95, LNCS 944, Springer-Verlag, 1995. 209, 210, 211, 212
9. R. Segala. Testing probabilistic automata. In Proceedings of CONCUR'96, LNCS 1119. Springer-Verlag, 1996. 209
10. A. N. Shiryayev. Probability. Graduate Texts in Mathematics, Springer- Verlag, 1980. 218
11. S.-H. Wu, S. A. Smolka, and E. W. Stark. Composition and behaviors of probabilistic I/O automata. Theoretical Computer Science, 176, 1997. 209, 215
12. W. Yi and K. G. Larsen. Testing probabilistic and nondeterministic processes. In Protocol Specification, Testing and Verification XII, pages 47-61. North-Holland, 1992. 209