Abstract is missing.
- Formal Methods Applied to Software ProductionA. G. Fraser. 3-9
- Generating Conformance Test Sequences for Combined Control and Data Flow of Communication ProtocolsRaymond E. Miller, Sanjoy Paul. 13-27
- A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics ApproachChang-Jia Wang, Ming T. Liu. 29-43
- Testing Probabilistic and Nondeterministic ProcessesWang Yi, Kim Guldstrand Larsen. 47-61
- Testability of Formal SpecificationsS. P. van de Burgt, Jan Kroon, A. M. Peeters. 63-77
- Structuring Protocols Using Exceptions in a LOTOS ExtensionJuan Quemada, Arturo Azcorra. 81-96
- Formal Model of a High Speed Transport ProcotolGilbert M. Lundy, R. C. McArthur. 97-111
- On Modelling and Reasoning About Hybrid SystemsR. C. Sekar, Yow-Jian Lin, Sanjai Narain. 115-129
- A Queue Model Relating Synchronous and Asynchronous CommunicationJan Tretmans, Louis Verhaard. 131-145
- Protocol Development Success Stories: Part 1Harry Rudin. 149-160
- From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol DevelopmentClaus Dendorfer, Rainer Weber. 163-177
- Development of Satellite Communication Networks Based on LOTOSAngel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada. 179-192
- A Test Derivation Method Based on Exploiting Structure InformationRoelof Jan Velthuys, Jürgen M. Schneider, Georg Zörntlein. 195-209
- Automatic Test Generation for Protocol Data AspectsErik Kwast. 211-226
- Test Suite Generation from a FSM with a Given Type of Implementation ErrorsAlexandre Petrenko, Nina Yevtushenko. 229-243
- Improvements on UIO Sequence Generation and Partial UIO SequencesWoojik Chun, Paul D. Amer. 245-260
- Computing Diagnostic Test for Incorrect ProcessesUfuk Celikkan, Rance Cleaveland. 263-277
- Automated Validation of TTCN Test SuitesUdo Bär, Jürgen M. Schneider. 279-295
- Formal Methods in Conformance Testing: Status and ExpectationsJean Philippe Favreau, Dieter Hogrefe, Jan Kroon. 299-316
- Testability in the Context of SDLJan Ellsberger, Finn Kristoffersen. 319-333
- A Common Semantics Representation for SDL and TTCNThomas Walter, Jan Ellsberger, Finn Kristoffersen, Paul van den Merkhof. 335-346
- Coverage Preserving Reduction Strategies for Reachability AnalysisGerard J. Holzmann, Patrice Godefroid, Didier Pirottin. 349-363
- The Two-Dimensional Window ProtocolMohamed G. Gouda. 365-379
- Module Composition and Refinement with Applications to Protocol ConversionKenneth L. Calvert. 383-397
- Stepwise Assertional Design of Distance-Vector Routing AlgorithmsCengiz Alaettinoglu, A. Udaya Shankar. 399-413