On conformance testing of non-deterministic systems

References

• Sidhu , Deepinder P. 1989 . Formal Methods for Protocol Testing: A Detailed Study . IEEE Transactions on Software Engineering , 15 ( 4 ) : 413 – 426 . Senior Member, IEEE and Leung, Ting-Kau
   Web of Science ®Google Scholar
• Yoo , Sangjo , Kim , Myungchul and Kang , Deukyoon . . An approach to dynamic protocol testing . IFIP TC6 10th International Workshop on Testing of Communicating Systems . pp. 183 – 199 .
   Google Scholar
• Xinming , Ye . 1991 . A Structure Approach for Testing Non-deterministic Systems . CHINESE J. COMPUTERS , 7 ( 3 ) : 198 – 203 .
   Google Scholar
• Xinming , Ye . 1995 . An Approach to Deriving D-sequence and UIO-sequence in the SET-ID Problems . Ada Science Naturasitatis NeiMonggol , 26 ( 5 ) : 621 – 627 .
   Google Scholar
• Tan , Q.M. , Petrenko , A. and Bockmann , G.V. . Chencking Experiments with Labeled Transition Systems for Trace Equivalence . IFIP TC6 10th International Workshop on Testing of Communicating Systems . pp. 167 – 181 .
   Google Scholar
• Cavalli Ana R. Sung Un Kim and Maigron Patrick Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications 6th IFIP 1993 237 248
   Google Scholar
• Luo , G. , Bockmann , G.V. and Petrenko , A. 1994 . Test Selection Based on Communicating Nondeterministic Finite State Machines Using a Generalized Wp-method . IEEE Transactions on Software Engineering , SE-20 ( 2 ) : 149 – 162 .
   Web of Science ®Google Scholar
• Luo , Gang , Petrenko , Alexandre and Bockmann , G.V. 1994 . Selecting Test Sequence for Partially-specified Non-deterministic Finite State Machines . 7th IFIP WG6.1 International Workshop on Protocol Test System . November 8-10 1994 . pp. 91 – 106 .
   Google Scholar
• Petrenko , A. , Yevtushenko , N. and Rdssouli , . 1994 . Testing Strategies for Communicat-ing FSMs. 7th IFIP WG6 . 1 International Workshop on Protocol Test System . November 8-10 1994 . pp. 181 – 196 .
   Google Scholar
• Wezeman , Clazien D. . The CO-OP Method for Compositional Derivation of Conformance Testers . Proceedings of the 9th International Symposium on Protocol Specification, Testing and Verification .
   Google Scholar
• Bockmann , G.V. and Alexandre Petrenko . 1994 . Protocol Testing: Review of Methods and Relevance for Software Testing , Universite de Montreal . Technique Report 923
   Google Scholar
• Petrenko , A. , Yevtushenko , N. and Bockmann , G.V. . Testing Deterministic Implementations from Nondetermimstie FSM Specifications . IFIP TC6 9th International Workshop on Testing of Communicating Systems . pp. 125 – 140 .
   Google Scholar
• Ramalingam , T. and Thulasiraman , K. 1994 . A Generalization of the Multiple UIÖ Method of Test Sequence Selection for Protocols Represented in FSM . 7th IFIP WG6.1 International Workshop on Protocol Test System . November 8-10 1994 . pp. 197 – 212 .
   Google Scholar
• Teruo Higashiand and Bockmann , G.V. 1994 . Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parametres . IEEE TRANSACTION ON SOFTWARE ENGINEERING , 20 ( 1 ) November : 29 – 42 .
   Web of Science ®Google Scholar
• Aho , A.V. , Dahbura , A.T. , Lee , D. and Uyar , M.U. . An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours . Proc. Int, Symposium of Protocol Specification, Testing and Verification . Vol. VIII , pp. 75 – 86 .
   Google Scholar
• Zhang Lidong Liu Jiren Li Huatian A Further Optimization Technique for conformance Testing Based on Multiple UIO Sequences 6th IFIP 1993 229 235
   Google Scholar
• Cheung , To-Yat and Ye , Xinming . 1995 . A Fault-Detection to the Conformance Testing of Nondeterministic Systems . Journal of Parallel and Distributed Computing , 28 : 94 – 100 .
   Google Scholar