11. IWTCS 1998: Tomsk, Russia

Alexandre Petrenko, Nina Yevtushenko (Eds.): 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 BibTeX

@proceedings{DBLP:conf/pts/1998,
  editor    = {Alexandre Petrenko and
               Nina Yevtushenko},
  title     = {Testing of Communicating Systems, IFIP TC6 11th International
               Workshop on Testing Communicating Systems (IWTCS), August 31
               - September 2, 1998, Tomsk, Russia},
  booktitle = {IWTCS},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {131},
  year      = {1998},
  isbn      = {0-412-84430-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Past and Present of Research on Automata Testing

I. S. Grunsky: Testing of Automata: From Experiments to Representations by Means of Fragments. 3-14 BibTeX

New Areas for Testing

Mahamat Guiagoussou, Michel Kadoch: TMN and Telecommunication Networks Testing. 17-34 BibTeX
Roland Gecse: Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing - the Hypertext Transfer Protocol. 35-48 BibTeX
Tomohiko Ogishi, Akira Idoue, Toshihiko Kato, Kenji Suzuki: Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function. 49-64 BibTeX

Test Generation

Ed Brinksma, Lex Heerink, Jan Tretmans: Factorized Test Generation for Multi-Input/Output Transition Systems. 67-82 BibTeX
Q. M. Tan, Alexandre Petrenko: Test Generation for Specifications Modeled by Input/Output Automata. 83-100 BibTeX
Sergiy Boroday: Distinguishing Tests for Nondeterministic Finite State Machines. 101-108 BibTeX

Testing in Context

Jinsong Zhu, Son T. Vuong, Samuel T. Chanson: Evaluation of Test Coverage for Embedded System Testing. 111-126 BibTeX
Nina Yevtushenko, Ana R. Cavalli, Luiz A. Paula Lima Jr.: Test Suite Minimization for Testing in Context. 127-146 BibTeX

Test Architectures and Concurrent Systems

Thomas Walter, Ina Schieferdecker, Jens Grabowski: Test Architectures for Distributed Systems: State of the Art and Beyond. 149-174 BibTeX
Alexandre Petrenko, Andreas Ulrich, V. Chapenko: Using Partial-Orders for Detecting Faults in Concurrent Systems. 175-190 BibTeX

Industrial Applications

Loe M. G. Feijs, Frans A. C. Meijs, Jean R. Moonen, Jos van Wamel: Conformance Testing of a Multimedia System Using PHACT. 193-210 BibTeX
Hakim Kahlouche, César Viho, Massimo Zendri: An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. 211-226 BibTeX
Michael Schmitt II, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe: Autolink - Putting SDL-Based Test Generation Into Practice. 227-244 BibTeX

Testing of Distributed Systems

Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, Jean-Pierre Hubaux: Testing Temporal Logic Properties in Distributed Systems. 247-258 BibTeX
M. Anlauf: Programming Service Tests with TTCN. 259-274 BibTeX
C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico: A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. 275-290 BibTeX

Testing from the Industrial Perspective

Anders Ek: Testing and Test Generation: State of the Art and Future Expectations. 293-306 BibTeX
J. Shin, S. Kang: Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol. 307-326 BibTeX
C. Desroches, Mang Li, Stephan Pietsch, Axel Rennoch, Ina Schieferdecker, Theofanis Vassiliou-Gioles: Test Suite Migration Experiences for B-ISUP and B-MTP. 327-342 BibTeX

Testability

Bernd Baumgarten, H. Wiland: Qualitative Notions of Testability. 345-360 BibTeX