Conferences in DBLP
Michael Koblentz Issues in Testing Fast Packet Services over the Broadband ISDN. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:3-18 [Conf ] Michel Haulard La Brière Testing in Practice - OSI Test Center. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:19-29 [Conf ] Marie-Claude Gaudel Test Selection Based on ADT Specifications. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:31-40 [Conf ] Marc Phalippou The Limited Power of Testing. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:43-54 [Conf ] Louis Verhaard , Jan Tretmans , Pim Kars , Ed Brinksma On Asynchronous Testing. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:55-66 [Conf ] Khalil Drira , Pierre Azéma , B. Soulas , A. M. Chemali Characterizing and Ordering Errors Detected by Conformance Testing. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:67-78 [Conf ] Samuel T. Chanson , Qin Li On Inconclusive Verdict in Conformance Testing. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:81-92 [Conf ] M. McAllister , Son T. Vuong , Jadranka Alilovic-Curgus Automated Test Case Selection Based on Test Coverage Metrics. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:93-104 [Conf ] Abderrazak Ghedamsi , Rachida Dssouli , Gregor von Bochmann Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite State Machines. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:105-116 [Conf ] M. Di Concetto , Gennaro Marino , E. Merli , Fabrizio Zizza An Approach to the Test of an ATM Based Signalling Application. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:119-130 [Conf ] Thomas Walter , Bernhard Plattner An Operational Semantics for Concurrent TTCN. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:131-143 [Conf ] Dermot J. Dwyer The Silence of the LANs. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:147-157 [Conf ] Jean Philippe Favreau Interoperability Testing Panel Minutes. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:159-160 [Conf ] Ian C. Davidson Position Paper on Interoperability Testing. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:161-162 [Conf ] Hans Blik , Gert Vermeer The Way Towards Interoperability. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:163-164 [Conf ] Perry Sherman On Interoperability Testing. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:165-166 [Conf ] Robert L. Probert Summary of Panel Presentations and Discussion. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:169-173 [Conf ] Tomás Robles , José A. Mañas , Gabriel Huecas Specification and Derivation of OSI Conformance Test Suites. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:177-188 [Conf ] S. P. van de Burgt , Jan Kroon , A. M. Peeters Interactive Test Generation from LOTOS Specifications. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:189-203 [Conf ] Teruo Higashino , Gregor von Bochmann , Xiangdong Li , Keiichi Yasumoto , Kenichi Taniguchi Test System for a Restricted Class of LOTOS Expressions with Data Parameters. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:205-216 [Conf ] Anthony Chung , Deepinder P. Sidhu Applications of Sufficient Conditions for Efficient Protocol Test Generation. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:219-228 [Conf ] Zhang Lidong , Liu Jiren , Huatian Li A Further Optimization Technique for Conformance Testing Based on Multiple UIO Sequences. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:229-235 [Conf ] Ana R. Cavalli , Patrick Maigron , Sung Un Kim Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:237-248 [Conf ] Debra Tang , Jinsheng Liu , Jean Philippe Favreau The IS-IS Multi-Party Conformance Test System. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:251-262 [Conf ] Rüdiger Köster , Markus Dicks ISO Conformance Testing of the GSM Mobile Network System. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:263-273 [Conf ] Marc F. Witteman , Ronald C. van Wuijtswinkel , S. Ruud Berkhout Non-Deterministic and Default Behaviour. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:275-288 [Conf ] Rüdiger Köster Problems and Difficulties with GSM Protocol Conformance Testing. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:291- [Conf ] Marc F. Witteman Promoting the Local Test Method, GSM Protocol Conformance Test Experience. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:292-294 [Conf ] Hans Kloosterman Test Derivation from Non-Deterministic Finite State Machines. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:297-308 [Conf ] Piyu Tripathy , Kshirasagar Naik Generation of Adaptive Test Cases from Nondeterministic Finite State Models. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:309-320 [Conf ] Overview of Tool Demonstrations. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:323-332 [Conf ]