12. IWTCS 1999: Budapest, Hungary
Gyula Csopaki, Sarolta Dibuz, Katalin Tarnay (Eds.): Testing of Communicating Systems: Method and Applications, IFIP TC6 12th International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary. Kluwer 1999 IFIP Conference Proceedings ISBN 0-7923-8581-0
Invited Talks
- Ana R. Cavalli: Different Approaches to Protocol and Service Testing. 3-18
- Colin Willcock: New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax. 31-42
Testability
Testing Distributed Systems
- Theofanis Vassiliou-Gioles, Ina Schieferdecker, Marc Born, Mario Winkler, Mang Li: Configuration and Execution Support for Distributed Tests. 61-76
- Mohammed Benattou, Leo Cacciari, Régis Pasini, Omar Rafiq: Principles and Tools for Testing Open Distributed Systems. 77-92
- Maria Törö: Decision on Tester Configuration for Multiparty Testing. 109-130
New Fields of Protocol Testing
Test Generation Methods
- Marco Hollenberg: Test Templates for Test Generation. 167-178
- 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
- Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli: Generating Test Cases for a Timed I/O Automaton Model. 197-214
- I. Koufareva, Alexandre Petrenko, Nina Yevtushenko: Test Generation Driven by User-defined Fault Models. 215-236
Test Optimization
- Nina Yevtushenko, Ana R. Cavalli, Ricardo Anido: Test Suite Minimization for Embedded Nondeterministic Finite State Machines. 237-250
New Areas for Testing
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
- Marjeta Frey-Pucko, Monika Kapus-Kolar, Roman Novak: Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL. 347-362
- Rafal Artych, Krzysztof M. Brzezinski: External Conformance Requirements: Concepts, Methods and Tools. 363-378
- Juhani Latvakoski, H. Honka: Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems. 379-394
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team