Developments in Testing Transition Systems
暂无分享,去创建一个
[1] Jan Tretmans,et al. On Asynchronous Testing , 1992, Protocol Test Systems.
[2] Jan Tretmans,et al. Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation , 1996, Comput. Networks ISDN Syst..
[3] Clazien D. Wezeman. The CO-OP Method for Compositional Derivation of Conformance Testers , 1989, PSTV.
[4] Samson Abramsky,et al. Observation Equivalence as a Testing Equivalence , 1987, Theor. Comput. Sci..
[5] G. Leduc. Conformance relation , associated equivalence , and minimum canonical tester in LOTOS , 1991 .
[6] Ferhat Khendek,et al. Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..
[7] David Lee,et al. Testing Finite-State Machines: State Identification and Verification , 1994, IEEE Trans. Computers.
[8] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum II , 1993, CONCUR.
[9] A. W. Heerink,et al. Testing theory in practice: a simple experiment , 1996 .
[10] Marc Phalippou. Relations d'implantation et hypothèses de test sur des automates à entrées et sorties , 1994 .
[11] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[12] Marc Phalippou. Executable Testers , 1993, Protocol Test Systems.
[13] Lex Heerink,et al. Refusal Testing for Classes of Transition Systems with Inputs and Outputs , 1997, FORTE.
[14] M. Ümit Uyar,et al. Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation , 1991, Comput. Networks ISDN Syst..
[15] Guy Leduc,et al. Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS , 1991, PSTV.
[16] Alexandre Petrenko,et al. Selecting test sequences for partially-specified nondeterministic finite state machines , 1995 .
[17] Deepinder P. Sidhu,et al. Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..
[18] David H. Pitt,et al. The Derivation of Conformance Tests from LOTOS Specifications , 1990, IEEE Trans. Software Eng..
[19] Rocco De Nicola,et al. Testing Equivalences for Processes , 1984, Theor. Comput. Sci..
[20] Jan Tretmans,et al. A Queue Model Relating Synchronous and Asynchronous Communication , 1992, PSTV.
[21] Ana R. Cavalli,et al. Some issues on testing theory and its applications , 1995 .
[22] R. V. Glabbeek. The Linear Time - Branching Time Spectrum II: The Semantics of Sequential Systems with Silent Moves , 1993 .
[23] Roberto Segala,et al. Quiescence, Fairness, Testing, and the Notion of Implementation , 1997, Inf. Comput..
[24] Gilles Bernot,et al. Testing Against Formal Specifications: A Theoretical View , 1991, TAPSOFT, Vol.2.
[25] Nancy A. Lynch,et al. An introduction to input/output automata , 1989 .
[26] Frits W. Vaandrager,et al. On the relationship between process algebra and input/output automata , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[27] David Lee,et al. Testing Finite State Machines: Fault Detection , 1995, J. Comput. Syst. Sci..
[28] Nina Yevtushenko,et al. Nondeterministic State Machines in Protocol Conformance Testing , 1993, Protocol Test Systems.
[29] Rudie Alderden,et al. COOPER - The Compositional Construction of a Canonical Tester , 1989, Formal Techniques for (Networked and) Distributed Systems.
[30] Iain Phillips,et al. Refusal Testing , 1986, Theoretical Computer Science.
[31] Jan Tretmans,et al. A Formal Approach to Conformance Testing , 1993, Protocol Test Systems.
[32] Luigi Logrippo,et al. Derivation of Test Cases for LAP-B from a LOTOS Specification , 1989, FORTE.
[33] Rom Langerak. A Testing Theory for LOTOS using Deadlock Detection , 1989, PSTV.
[34] Jan Tretmans,et al. Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.
[35] Frank S. de Boer,et al. Asynchronous communication in process algebra , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
[36] Khalil Drira,et al. Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework , 1993, Protocol Specification, Testing and Verification.