Search dblp for Publications

export results for "toc:db/conf/pts/pts1993.bht:"

 download as .bib file

@proceedings{DBLP:conf/pts/1993,
  editor       = {Omar Rafiq},
  title        = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  publisher    = {North-Holland},
  year         = {1994},
  isbn         = {0-444-81697-6},
  timestamp    = {Thu, 17 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/AhtiainenCHK93,
  author       = {Ari Ahtiainen and
                  Bruno Chatras and
                  Marc W. A. Hornbeek and
                  Sami Kesti},
  editor       = {Omar Rafiq},
  title        = {Experiences with Octopus Automated {TTCN} Translation Tools Applied
                  to {GSM/SS7}},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {231--253},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 17 Oct 2002 11:13:42 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/AhtiainenCHK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/CastanetK93,
  author       = {Richard Castanet and
                  Ousmane Kon{\'{e}}},
  editor       = {Omar Rafiq},
  title        = {Deriving Coordinated Testers for Interoperability},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {331--346},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Fri, 12 Dec 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/CastanetK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/CavalliFP93,
  author       = {Ana R. Cavalli and
                  Jean Philippe Favreau and
                  Marc Phalippou},
  editor       = {Omar Rafiq},
  title        = {Formal Methods for Conformance Testing: Results and Perspectives},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {3--17},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/CavalliFP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/ChansonDKLLVZZZ93,
  author       = {Samuel T. Chanson and
                  Hendra Dany and
                  Myungchul Kim and
                  Qin Li and
                  Ying Lu and
                  Son T. Vuong and
                  Sijian Zhang and
                  Limin Zhou and
                  Jinsong Zhu},
  editor       = {Omar Rafiq},
  title        = {The {UBC} Protocol Testing Environment},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {215--230},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Mon, 29 Oct 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/ChansonDKLLVZZZ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Drira93,
  author       = {Khalil Drira},
  editor       = {Omar Rafiq},
  title        = {The Refusal Graph: a Tradeoff between Verification and Test},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {297--312},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/Drira93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/EkEW93,
  author       = {Anders Ek and
                  Jan Ellsberger and
                  Anthony Wiles},
  editor       = {Omar Rafiq},
  title        = {Experiences with Computer Aided Test Suite Generation},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {181--196},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/EkEW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/GhrigaF93,
  author       = {Mohammed Ghriga and
                  Phyllis G. Frankl},
  editor       = {Omar Rafiq},
  title        = {Adaptive Testing of Non-Deterministic Communication Protocols},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {347--362},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/GhrigaF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/HennigerSB93,
  author       = {Olaf Henniger and
                  Beh{\c{c}}et Sarikaya and
                  Steve Biedlingmaier},
  editor       = {Omar Rafiq},
  title        = {Test Suite Generation for Application Layer Protocols from Formal
                  Specifications in Estelle},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {67--85},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/HennigerSB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/KalyanasundaramA93,
  author       = {Pramod Kalyanasundaram and
                  Paul D. Amer},
  editor       = {Omar Rafiq},
  title        = {Protocol Test Case Visualization},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {197--214},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/KalyanasundaramA93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/LuoDB93,
  author       = {Gang Luo and
                  Anindya Das and
                  Gregor von Bochmann},
  editor       = {Omar Rafiq},
  title        = {Generating Tests for Control Portion of {SDL} Specifications},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {51--66},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/LuoDB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/LuoDBVG93,
  author       = {Gang Luo and
                  Rachida Dssouli and
                  Gregor von Bochmann and
                  Pallapa Venkataram and
                  Abderrazak Ghedamsi},
  editor       = {Omar Rafiq},
  title        = {Generating Synchronizable Test Sequences Based on Finite State Machine
                  with Distributed Ports},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {139--153},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/LuoDBVG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/MottelerCS93,
  author       = {Howard E. Motteler and
                  Anthony Chung and
                  Deepinder P. Sidhu},
  editor       = {Omar Rafiq},
  title        = {Fault Coverage of UIO-based Methods for Protocol Testing},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {21--34},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/MottelerCS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/PetrenkoBD93,
  author       = {Alexandre Petrenko and
                  Gregor von Bochmann and
                  Rachida Dssouli},
  editor       = {Omar Rafiq},
  title        = {Conformance Relations and Test Derivation},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {157--178},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/PetrenkoBD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/PetrenkoDK93,
  author       = {Alexandre Petrenko and
                  Rachida Dssouli and
                  Hartmut K{\"{o}}nig},
  editor       = {Omar Rafiq},
  title        = {On Evaluation of Testability of Protocol Structures},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {111--124},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/PetrenkoDK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/PetrenkoYLD93,
  author       = {Alexandre Petrenko and
                  Nina Yevtushenko and
                  Alexandre Lebedev and
                  Anindya Das},
  editor       = {Omar Rafiq},
  title        = {Nondeterministic State Machines in Protocol Conformance Testing},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {363--378},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/PetrenkoYLD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Phalippou93,
  author       = {Marc Phalippou},
  editor       = {Omar Rafiq},
  title        = {Executable Testers},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {35--50},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/Phalippou93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Tretmans93,
  author       = {Jan Tretmans},
  editor       = {Omar Rafiq},
  title        = {A Formal Approach to Conformance Testing},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {257--276},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/Tretmans93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/UlrichK93,
  author       = {Andreas Ulrich and
                  Hartmut K{\"{o}}nig},
  editor       = {Omar Rafiq},
  title        = {Test Derivation from {LOTOS} Using Structure Information},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {279--293},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/UlrichK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/VermeerB93,
  author       = {Gert Vermeer and
                  Hans Blik},
  editor       = {Omar Rafiq},
  title        = {Interoperability Testing: Basis for the Acceptance of Communication
                  Systems},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {315--330},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/VermeerB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/VuongLC93,
  author       = {Son T. Vuong and
                  Antonio Alfredo Ferreira Loureiro and
                  Samuel T. Chanson},
  editor       = {Omar Rafiq},
  title        = {A Framework for the Design for Testability of Communication Protocols},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {89--108},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/VuongLC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/WittemanW93,
  author       = {Marc F. Witteman and
                  Ronald C. van Wuijtswinkel},
  editor       = {Omar Rafiq},
  title        = {{ATM} Broadband Network Testing Using the Ferry Principle},
  booktitle    = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
                  International Workshop on Protocol Test systems, Pau, France, 28-30
                  September, 1993},
  series       = {{IFIP} Transactions},
  volume       = {{C-19}},
  pages        = {125--138},
  publisher    = {North-Holland},
  year         = {1993},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/WittemanW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.