Abstract is missing.
- Confirming configurations in EFSMAlexandre Petrenko, Sergiy Boroday, Roland Groz. 5-24
- Remote testin can be as powerful as local testingClaude Jard, Thierry Jéron, Lénaick Tanguy, César Viho. 25-40
- Hit-or-Jump: An algorithm for embedded testing with applications to IN servicesAna R. Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi. 41-56
- Scalable and Object Oriented SDL State(chart)sBirger Møller-Pedersen, Dagbjørn Nogva. 59-73
- Prototyping Framework for SDL with Evolving SemanticsPeter Csurgay. 75-94
- Framework for Automatic SDL to C++ TranslationDirk Trossen, Christian Cseh, Roman Kogan. 95-115
- Stress Testing of Distributed Multimedia Software SystemsJian Zhang, Shing-Chi Cheung, Samuel T. Chanson. 119-133
- Fair Testing through Probabilistic TestingManuel Núñez, David Rupérez. 135-150
- A Formal Approach to Conformance Testing of Distributed Routing ProtocolsJun Bi, Jianping Wu. 151-163
- Deriving Activity Thread Implementations from Formal Descriptions Using Transition ReorderingPeter Langendörfer, Hartmut König. 169-184
- A Graphical Parallel Composition Operator for Process AlgebrasHubert Garavel, Mihaela Sighireanu. 185-202
- Guaranteeing liveness in an object calculus through behavioural typingElie Najm, Abdelkrim Nimour, Jean-Bernard Stefani. 203-221
- Black Box CheckingDoron Peled, Moshe Y. Vardi, Mihalis Yannakakis. 225-240
- An Optimizing Compiler for Efficient Model CheckingYifei Dong, C. R. Ramakrishnan. 241-256
- Exploiting Symmetry when Model-Checking SoftwarePatrice Godefroid. 257-275
- User-Friendly VerificationPao-Ann Hsiung, Farn Wang. 279-294
- Specification and Verification of Synchronous Hardware using LOTOSJi He, Kenneth J. Turner. 295-312
- Provably Correct Hardware Compilation using Timing DiagramsMichael Schenke, Michael Dossis. 313-331
- An enhanced model for testing asynchronous communicating systemsMyungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang. 337-356
- Interoperability Test Suite Derivation for the TCPSoonuk Seol, Myungchul Kim, Sungwon Kang, Yongbum Park, Younghan Choe. 357-376
- Coverage analysis for embedded testing and an applicationJinsong Zhu, Son T. Vuong. 377-386
- A Formal Description Technology: Graphics E-LOTOSWen Li, Ye Xinming, Zhiyong Liu. 389-400
- Global Timed Bisimulation: An IntroductionDavid de Frutos-Escrig, Natalia López, Manuel Núñez. 401-416
- Protocol Synthesis for Real-Time ApplicationsAhmed Khoumsi, Gregor von Bochmann, Rachida Dssouli. 417-433
- Verifying an infinite family of inductions simultaneously using data independence and FDRS. J. Creese, A. W. Roscoe. 437-452
- Specification and execution of tests using tMscIulian Ober, Alain Kerbrat. 453-468
- Model-Checking a Secure Gorup Communication Protocol: A Case StudyAlan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong. 469-478
- Software Model CheckingGerard J. Holzmann, Margaret H. Smith. 481-497