12. PSTV 1992:
Lake Buena Vista, Florida, USA
Richard J. Linn Jr., M. Ümit Uyar (Eds.):
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.
IFIP Transactions C-8 North-Holland 1992, ISBN 0-444-89874-3
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
Session 1C:
Specification
Session 1D:
Specification
Invited Paper
- Harry Rudin:
Protocol Development Success Stories: Part 1.
149-160

Session 2A:
Implementation
Session 2B:
Conformance Testing
Session 2C:
Testing Theory
Session 2D:
Conformance Testing
Invited Paper
Session 3A:
Conformance Testing
Session 3B:
Verification
Session 3C:
Conversion and Routing
Last update Fri May 24 15:19:24 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page