Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions-Reference-Cited by-同舟云学术

Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions

Published:2006-10 Issue:4 Volume:164 Page:83-96
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Bourdonov Igor B.,Kossatchev Alexander S.,Kuliamin Victor V.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference18 articles.

1. Communicating Sequential Processes;Hoare,1985

2. Communication and Concurrency;Milner,1989

3. Testing against Formal Specifications: A Theoretical View;Bernot,1991

4. ISO/IEC JTC1/SC21 WG7, ITU-T SG 10/Q.8. Information Retreival, Transfer, and Management for OSI. Framework: Formal Methods in Conformance Testing. Committee Draft CD 13245-1, ITU-T Proposed Recommendation Z.500. ISO–ITU-T, Geneve, 1996. See also ITU-T. Recommendation Z.500. Framework on formal methods in conformance testing. International Telecommunications Union, Geneve, Switzerland, 1997

5. Refusal Testing;Phillips;Theoretical Computer Science,1987

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

1. Testing using CSP Models: Time, Inputs, and Outputs;ACM Transactions on Computational Logic;2023-01-28

2. Inputs and Outputs in CSP;ACM Transactions on Computational Logic;2020-05-22

3. Unifying modal interface theories and compositional input/output conformance testing;Science of Computer Programming;2019-03

4. Testing of automata system;Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika;2017-03-01

5. Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing;Formal Aspects of Component Software;2017