↓ Skip to main content
What is this page? Embed badge

Testing of Communicating Systems

Overview of attention for book
Cover of 'Testing of Communicating Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Epistemology of Validation and Verification Testing
  3. Altmetric Badge
    Chapter 2 Passive Testing – A Constrained Invariant Checking Approach
  4. Altmetric Badge
    Chapter 3 Dependence Testing: Extending Data Flow Testing with Control Dependence
  5. Altmetric Badge
    Chapter 4 Comparing Bug Finding Tools with Reviews and Tests
  6. Altmetric Badge
    Chapter 5 Cross-Language Functional Testing for Middleware
  7. Altmetric Badge
    Chapter 6 Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams
  8. Altmetric Badge
    Chapter 7 Action Refinement in Conformance Testing
  9. Altmetric Badge
    Chapter 8 Multiplexing of Partially Ordered Events
  10. Altmetric Badge
    Chapter 9 Testing Communicating Systems: a Model, a Methodology, and a Tool
  11. Altmetric Badge
    Chapter 10 Coping with Nondeterminism in Network Protocol Testing
  12. Altmetric Badge
    Chapter 11 Eliminating Redundant Tests in a Checking Sequence
  13. Altmetric Badge
    Chapter 12 On FSM-Based Fault Diagnosis
  14. Altmetric Badge
    Chapter 13 State Identification Problems for Timed Automata
  15. Altmetric Badge
    Chapter 14 Timing Fault Models for Systems with Multiple Timers
  16. Altmetric Badge
    Chapter 15 An Expressive and Implementable Formal Framework for Testing Real-Time Systems
  17. Altmetric Badge
    Chapter 16 Firewall Conformance Testing
  18. Altmetric Badge
    Chapter 17 Test Generation for Interaction Detection in Feature-Rich Communication Systems
  19. Altmetric Badge
    Chapter 18 Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms
  20. Altmetric Badge
    Chapter 19 Detecting Trapdoors in Smart Cards Using Timing and Power Analysis
  21. Altmetric Badge
    Chapter 20 From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -
  22. Altmetric Badge
    Chapter 21 Using TTCN-3 for Testing Platform Independent Models
  23. Altmetric Badge
    Chapter 22 Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing
  24. Altmetric Badge
    Chapter 23 A Model-Based Approach for Robustness Testing
  25. Altmetric Badge
    Chapter 24 Content-Level Conformance Testing: An Information Mapping Case Study
  26. Altmetric Badge
    Chapter 25 Quiescence Management Improves Interoperability Testing
Attention for Chapter 5: Cross-Language Functional Testing for Middleware
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Cross-Language Functional Testing for Middleware
Chapter number 5
Book title
Testing of Communicating Systems
Published by
Springer, Berlin, Heidelberg, May 2005
DOI 10.1007/11430230_5
Book ISBNs
978-3-54-026054-7, 978-3-54-032076-0
Authors

A. Puder, L. Wang, Puder, A., Wang, L.

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.