Testing multi input/output transition system with all-observer

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

Volumn 2978, Issue , 2004, Pages 95-111

  Li, Zhongjie ^a   Wu, Jianping ^a   Yin, Xia ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

MULTI INPUT/OUTPUT TRANSITION SYSTEMS; OUTPUT CHANNELS; TEST GENERATIONS; TESTING PROCESS; TESTING THEORIES;

TESTING;

EID: 21144454901     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24704-3_7     Document Type: Article

References (8)

1. R. De Nicola and M.C.B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
2. R. De Nicola. Extensional equivalences for transition systems. Acta Informatica, 24:211-237, 1987.
3. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.
4. L. Heerink and J. Tretmans. Refusal testing for classes of transition systems with inputs and outputs. In FORTE X/PSTV XVII'97, pp. 23-38. 1997.
5. E. Brinksma, L. Heerink, and J. Tretmans. Factorized test generation for multi-input/output transition systems. TestCom'98. pp. 67-82. 1998.
6. I. Phillips. Refusal testing. Theoretical Computer Science, 50(2):241-284, 1987.
7. J. Tretmans, L. Verhaard. A queue model relating synchronous and asynchronous communication. In PSTV'92, pp. 131-145. 1992.
8. J. Tretmans. A formal approach to conformance testing. In Sixth International Workshop on Protocol Test Systems, pp. 257-276. 1994.