Preface. Part One: Past and Present of Research on Automata Testing. 1. Testing of Automata: From Experiments to Representations by Means of Fragments; I. S. Grunsky. Part Two: New Areas for Testing. 2. TMN and Telecommunication Networks Testing; M. Guiagoussou M. Kadoch. 3. Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing - the Hypertext Transfer Protocol; R. Gescse. 4. Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function; T. Ogishi et al. Part Three: Test Generation. 5. Factorized Test Generation for Multi-Input/Output Transition Systems; E. Brinksma et al. 6. Test Generation for Specifications Modeled by Input/Output Automata; Q. M. Tan A. Petrenko. 7. Distinguishing Tests for Nondeterministic Finite State Machines; S. Yu. Boroday. Part Four: Testing in Context. 8. Evaluation of Test Coverage for Embedded System Testing; J. Zhu et al. 9. Test Suite Minimization for Testing in Context; N. Yevtushenko et al. Part Five: Test Architectures and Concurrent Systems. 10. Test Architectures for Distributed Systems: State of the Art and Beyond; T. Walter et al. 11. Using Partial-Orders for Detecting Faults in Concurrent Systems; A. Petrenko et al. Part Six: Industrial Applications. 12. Conformance Testing of a Multimedia System Using PHACT; L. M. G. Feijs et al. 13. An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol;H. Kahlouche et al. 14. Autolink &endash; Putting SDL-Based Test Generation Into Practice; M. Schmitt et al. Part Seven: Testing of Distributed Systems. 15. Testing Temporal Logic Properties in Distributed Systems; F. Dietrich et al. 16. Programming Service Tests with TTCN; M. Anlauf. 17. A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols; C. Bourhfir et al. Part Eight: Testing from the Industrial Perspective. 18. Testing and Test Generation: State of the Art and Future Expectations; A. Ek. 19. Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol; J. Shin S. Kang. 20. Test Suite Migration Experiences for B-ISUP and B-MTP; C. Desroches et al. Part Nine: Testability. 21. Qualitative Notions of Testability; B. Baumgarten H. Wiland. Index of Contributors. Language: English