Skip to main content
SpringerLink
Log in
Book cover

Testing of Communicating Systems

16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Roland Groz

    1. Grenoble Computer Science Lab, LIG, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert M. Hierons

    1. Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2978)

Included in the following conference series:

Conference proceedings info: TestCom 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Implementation of an Open Source Toolset for CCM Components and Systems Testing

    • Harold Batteram, Wim Hellenthal, Willem Romijn, Andreas Hoffmann, Axel Rennoch, Alain Vouffo
    Pages 1-16

  3. A Multi-service and Multi-protocol Validation Platform – Experimentation Results

    • Ana Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet et al.
    Pages 17-32

  4. From Design to Test with UML

    • Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen, Holger Pals
    Pages 33-49

  5. BCMP Performance Test with TTCN-3 Mobile Node Emulator

    • Sarolta Dibuz, Tibor Szabó, Zsolt Torpis
    Pages 50-59

  6. FSM Based Interoperability Testing Methods for Multi Stimuli Model

    • Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko
    Pages 60-75

  7. On Testing Partially Specified IOTS through Lossless Queues

    • Jia Le Huo, Alexandre Petrenko
    Pages 76-94

  8. Testing Multi Input/Output Transition System with All-Observer

    • Zhongjie Li, Jianping Wu, Xia Yin
    Pages 95-111

  9. Soip Over Satellite Testing – TIM Experience

    • Giulio Maggiore, Letterio Pirrone, Gaethan Donlap Kouang, Federico Piovan, Biagio Ricco Galluzzo
    Pages 112-127

  10. Generation of Optimized Testsuites for UML Statecharts with Time

    • Tilo Mücke, Michaela Huhn
    Pages 128-143

  11. Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing

    • Helmut Neukirchen, Zhen Ru Dai, Jens Grabowski
    Pages 144-159

  12. From Safety Verification to Safety Testing

    • Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet
    Pages 160-176

  13. Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols

    • Stephan Schulz
    Pages 177-192

  14. Mutation Testing Applied to Validate SDL Specifications

    • Tatiana Sugeta, José Carlos Maldonado, W. Eric Wong
    Pages 193-208

  15. Execution of External Applications using TTCN-3

    • Theofanis Vassiliou-Gioles, George Din, Ina Schieferdecker
    Pages 209-223

  16. Back Matter

    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Grenoble Computer Science Lab, LIG, France

    Roland Groz

  • Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex, United Kingdom

    Robert M. Hierons

Bibliographic Information

  • Book Title: Testing of Communicating Systems

  • Book Subtitle: 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings

  • Editors: Roland Groz, Robert M. Hierons

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b95741

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 2004

  • Softcover ISBN: 978-3-540-21219-5Published: 02 March 2004

  • eBook ISBN: 978-3-540-24704-3Published: 20 February 2004

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 226

  • Topics: Software Engineering, Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation