12. PSTV 1992: Lake Buena Vista, Florida, USA

@proceedings{DBLP:conf/pstv/1992,
  editor    = {Richard J. Linn Jr. and
               M. {\"U}mit Uyar},
  title     = {Protocol Specification, Testing and Verification XII, Proceedings
               of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol
               Specification, Testing and Verification, Lake Buena Vista, Florida,
               USA, 22-25 June 1992},
  booktitle = {PSTV},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {C-8},
  year      = {1992},
  isbn      = {0-444-89874-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Speech

• A. G. Fraser: Formal Methods Applied to Software Production. 3-9

Session 1A: Testing Theory

• Raymond E. Miller, Sanjoy Paul: Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols. 13-27
• Chang-Jia Wang, Ming T. Liu: A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach. 29-43

Session 1B: Testability

• Wang Yi, Kim Guldstrand Larsen: Testing Probabilistic and Nondeterministic Processes. 47-61
• S. P. van de Burgt, Jan Kroon, A. M. Peeters: Testability of Formal Specifications. 63-77

Session 1C: Specification

• Juan Quemada, Arturo Azcorra: Structuring Protocols Using Exceptions in a LOTOS Extension. 81-96
• Gilbert M. Lundy, R. C. McArthur: Formal Model of a High Speed Transport Procotol. 97-111

Session 1D: Specification

• R. C. Sekar, Yow-Jian Lin, Sanjai Narain: On Modelling and Reasoning About Hybrid Systems. 115-129
• Jan Tretmans, Louis Verhaard: A Queue Model Relating Synchronous and Asynchronous Communication. 131-145

Invited Paper

• Harry Rudin: Protocol Development Success Stories: Part 1. 149-160

Session 2A: Implementation

• Claus Dendorfer, Rainer Weber: From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development. 163-177
• Angel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada: Development of Satellite Communication Networks Based on LOTOS. 179-192

Session 2B: Conformance Testing

• Roelof Jan Velthuys, Jürgen M. Schneider, Georg Zörntlein: A Test Derivation Method Based on Exploiting Structure Information. 195-209
• Erik Kwast: Automatic Test Generation for Protocol Data Aspects. 211-226

Session 2C: Testing Theory

• Alexandre Petrenko, Nina Yevtushenko: Test Suite Generation from a FSM with a Given Type of Implementation Errors. 229-243
• Woojik Chun, Paul D. Amer: Improvements on UIO Sequence Generation and Partial UIO Sequences. 245-260

Session 2D: Conformance Testing

• Ufuk Celikkan, Rance Cleaveland: Computing Diagnostic Test for Incorrect Processes. 263-277
• Udo Bär, Jürgen M. Schneider: Automated Validation of TTCN Test Suites. 279-295

Invited Paper

• Jean Philippe Favreau, Dieter Hogrefe, Jan Kroon: Formal Methods in Conformance Testing: Status and Expectations. 299-316

Session 3A: Conformance Testing

• Jan Ellsberger, Finn Kristoffersen: Testability in the Context of SDL. 319-333
• Thomas Walter, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof: A Common Semantics Representation for SDL and TTCN. 335-346

Session 3B: Verification

• Gerard J. Holzmann, Patrice Godefroid, Didier Pirottin: Coverage Preserving Reduction Strategies for Reachability Analysis. 349-363
• Mohamed G. Gouda: The Two-Dimensional Window Protocol. 365-379

Session 3C: Conversion and Routing

• Kenneth L. Calvert: Module Composition and Refinement with Applications to Protocol Conversion. 383-397
• Cengiz Alaettinoglu, A. Udaya Shankar: Stepwise Assertional Design of Distance-Vector Routing Algorithms. 399-413