12. IWTCS 1999: Budapest, Hungary

@proceedings{DBLP:conf/pts/1999,
  editor    = {Gyula Csopaki and
               Sarolta Dibuz and
               Katalin Tarnay},
  title     = {Testing of Communicating Systems: Method and Applications, IFIP
               TC6 12$^{\mbox{th}}$ International Workshop on Testing Communicating Systems, September
               1-3, 1999, Budapest, Hungary},
  booktitle = {IWTCS},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {147},
  year      = {1999},
  isbn      = {0-7923-8581-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Ana R. Cavalli: Different Approaches to Protocol and Service Testing. 3-18 BibTeX
• Jens Grabowski, Dieter Hogrefe: Towards the Third Edition of TTCN. 19-30 BibTeX
• Colin Willcock: New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax. 31-42 BibTeX

Testability

• Bernd Baumgarten, Olaf Henniger: Testability with Unbounded Testing Strategies. 43-60 BibTeX

Testing Distributed Systems

• Theofanis Vassiliou-Gioles, Ina Schieferdecker, Marc Born, Mario Winkler, Mang Li: Configuration and Execution Support for Distributed Tests. 61-76 BibTeX
• Mohammed Benattou, Leo Cacciari, Régis Pasini, Omar Rafiq: Principles and Tools for Testing Open Distributed Systems. 77-92 BibTeX
• Andreas Ulrich, Hartmut König: Architectures for Testing Distributed Systems. 93-108 BibTeX
• Maria Törö: Decision on Tester Configuration for Multiparty Testing. 109-130 BibTeX

New Fields of Protocol Testing

• Ji He, Kenneth J. Turner: Protocol-Inspired Hardware Testing. 131-148 BibTeX
• Roland Gecse, Péter Krémer: Automated Test of TCP Congestion Control Algorithms. 149-166 BibTeX

Test Generation Methods

• Marco Hollenberg: Test Templates for Test Generation. 167-178 BibTeX
• Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink: Formal Test Automation: A Simple Experiment. 179-196 BibTeX
• Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli: Generating Test Cases for a Timed I/O Automaton Model. 197-214 BibTeX
• I. Koufareva, Alexandre Petrenko, Nina Yevtushenko: Test Generation Driven by User-defined Fault Models. 215-236 BibTeX

Test Optimization

• Nina Yevtushenko, Ana R. Cavalli, Ricardo Anido: Test Suite Minimization for Embedded Nondeterministic Finite State Machines. 237-250 BibTeX
• Tibor Csöndes, Balázs Kotnyek: Automated Test Case Selection Based on Subpurposes. 251-266 BibTeX
• Yongbum Park, Myungchul Kim, Sungwon Kang: Conformance Testing of Multiprotocol IUTs. 267-286 BibTeX

New Areas for Testing

• Jan de Meer, Son T. Vuong: The Challenge of QoS Verification. 287-298 BibTeX
• Robert L. Probert, Alan W. Williams: Fast Functional Test Generation Using an SDL Model. 299-316 BibTeX
• Peter Csurgay, Mazen Malek: Performance Testing at Early Design Phases. 317-330 BibTeX

Test Practice

• Sungwon Kang, Youngsoo Seo, Deukyoon Kang, Mijeong Hong, Junhwan Yang, Ilkook Koh, Jaehwi Shin, Sangjo Yoo, Myungchul Kim: Development and Application of ATM Protocol Conformance Test System. 331-346 BibTeX
• Marjeta Frey-Pucko, Monika Kapus-Kolar, Roman Novak: Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL. 347-362 BibTeX
• Rafal Artych, Krzysztof M. Brzezinski: External Conformance Requirements: Concepts, Methods and Tools. 363-378 BibTeX
• Juhani Latvakoski, H. Honka: Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems. 379-394 BibTeX