default search action
11. IWTCS 1998: Tomsk, Russia
- Alexandre Petrenko, Nina Yevtushenko:
Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia. IFIP Conference Proceedings 131, Kluwer 1998, ISBN 0-412-84430-3
Past and Present of Research on Automata Testing
- Igor S. Grunsky:
Testing of Automata: From Experiments to Representations by Means of Fragments. IWTCS 1998: 3-14
New Areas for Testing
- Mahamat Guiagoussou, Michel Kadoch:
TMN and Telecommunication Networks Testing. IWTCS 1998: 17-34 - Roland Gecse:
Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing - the Hypertext Transfer Protocol. IWTCS 1998: 35-48 - Tomohiko Ogishi, Akira Idoue, Toshihiko Kato, Kenji Suzuki:
Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function. IWTCS 1998: 49-64
Test Generation
- Ed Brinksma, Lex Heerink, Jan Tretmans:
Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS 1998: 67-82 - Q. M. Tan, Alexandre Petrenko:
Test Generation for Specifications Modeled by Input/Output Automata. IWTCS 1998: 83-100 - Sergiy Boroday:
Distinguishing Tests for Nondeterministic Finite State Machines. IWTCS 1998: 101-108
Testing in Context
- Jinsong Zhu, Son T. Vuong, Samuel T. Chanson:
Evaluation of Test Coverage for Embedded System Testing. IWTCS 1998: 111-126 - Nina Yevtushenko, Ana R. Cavalli, Luiz A. Paula Lima Jr.:
Test Suite Minimization for Testing in Context. IWTCS 1998: 127-146
Test Architectures and Concurrent Systems
- Thomas Walter, Ina Schieferdecker, Jens Grabowski:
Test Architectures for Distributed Systems: State of the Art and Beyond. IWTCS 1998: 149-174 - Alexandre Petrenko, Andreas Ulrich, V. Chapenko:
Using Partial-Orders for Detecting Faults in Concurrent Systems. IWTCS 1998: 175-190
Industrial Applications
- Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel:
Conformance Testing of a Multimedia System Using PHACT. IWTCS 1998: 193-210 - Hakim Kahlouche, César Viho, Massimo Zendri:
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. IWTCS 1998: 211-226 - Michael Schmitt, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe:
Autolink - Putting SDL-Based Test Generation Into Practice. IWTCS 1998: 227-244
Testing of Distributed Systems
- Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux:
Testing Temporal Logic Properties in Distributed Systems. IWTCS 1998: 247-258 - M. Anlauf:
Programming Service Tests with TTCN. IWTCS 1998: 259-274 - C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico:
A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. IWTCS 1998: 275-290
Testing from the Industrial Perspective
- Anders Ek:
Testing and Test Generation: State of the Art and Future Expectations. IWTCS 1998: 293-306 - Jaehwi Shin, Sungwon Kang:
Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol. IWTCS 1998: 307-326 - C. Desroches, Mang Li, Stephan Pietsch, Axel Rennoch, Ina Schieferdecker, Theofanis Vassiliou-Gioles:
Test Suite Migration Experiences for B-ISUP and B-MTP. IWTCS 1998: 327-342
Testability
- Bernd Baumgarten, H. Wiland:
Qualitative Notions of Testability. IWTCS 1998: 345-360
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.