Conferences in DBLP

International Conference on Testing Communicating Systems (TestCom) (pts)
1993 (conf/pts/1993)

1. Ana R. Cavalli, Jean Philippe Favreau, Marc Phalippou
   Formal Methods for Conformance Testing: Results and Perspectives. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:3-17 [Conf]
   
2. Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu
   Fault Coverage of UIO-based Methods for Protocol Testing. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:21-34 [Conf]
   
3. Marc Phalippou
   Executable Testers. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:35-50 [Conf]
   
4. Gang Luo, Anindya Das, Gregor von Bochmann
   Generating Tests for Control Portion of SDL Specifications. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:51-66 [Conf]
   
5. Olaf Henniger, Behçet Sarikaya, Steve Biedlingmaier
   Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:67-85 [Conf]
   
6. Son T. Vuong, Antonio Alfredo Ferreira Loureiro, Samuel T. Chanson
   A Framework for the Design for Testability of Communication Protocols. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:89-108 [Conf]
   
7. Alexandre Petrenko, Rachida Dssouli, Hartmut König
   On Evaluation of Testability of Protocol Structures. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:111-124 [Conf]
   
8. Marc F. Witteman, Ronald C. van Wuijtswinkel
   ATM Broadband Network Testing Using the Ferry Principle. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:125-138 [Conf]
   
9. Gang Luo, Rachida Dssouli, Gregor von Bochmann, Pallapa Venkataram, Abderrazak Ghedamsi
   Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1993, pp:139-153 [Conf]
   
10. Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli
    Conformance Relations and Test Derivation. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:157-178 [Conf]
    
11. Anders Ek, Jan Ellsberger, Anthony Wiles
    Experiences with Computer Aided Test Suite Generation. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:181-196 [Conf]
    
12. Pramod Kalyanasundaram, Paul D. Amer
    Protocol Test Case Visualization. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:197-214 [Conf]
    
13. Samuel T. Chanson, Hendra Dany, Myungchul Kim, Qin Li, Ying Lu, Son T. Vuong, Sijian Zhang, Limin Zhou, Jinsong Zhu
    The UBC Protocol Testing Environment. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:215-230 [Conf]
    
14. Ari Ahtiainen, Bruno Chatras, Marc W. A. Hornbeek, Sami Kesti
    Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:231-253 [Conf]
    
15. Jan Tretmans
    A Formal Approach to Conformance Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:257-276 [Conf]
    
16. Andreas Ulrich, Hartmut König
    Test Derivation from LOTOS Using Structure Information. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:279-293 [Conf]
    
17. Khalil Drira
    The Refusal Graph: a Tradeoff between Verification and Test. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:297-312 [Conf]
    
18. Gert Vermeer, Hans Blik
    Interoperability Testing: Basis for the Acceptance of Communication Systems. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:315-330 [Conf]
    
19. Richard Castanet, Ousmane Koné
    Deriving Coordinated Testers for Interoperability. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:331-346 [Conf]
    
20. Mohammed Ghriga, Phyllis G. Frankl
    Adaptive Testing of Non-Deterministic Communication Protocols. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:347-362 [Conf]
    
21. Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das
    Nondeterministic State Machines in Protocol Conformance Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:363-378 [Conf]