↓ Skip to main content

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 Testing of automata: from experiments to representations by means of fragments
  3. Altmetric Badge
    Chapter 2 TMN and Telecommunication Networks Testing
  4. Altmetric Badge
    Chapter 3 Conformance testing methodology of Internet protocols Internet application-layer protocol testing — the Hypertext Transfer Protocol
  5. Altmetric Badge
    Chapter 4 Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function
  6. Altmetric Badge
    Chapter 5 Factorized test generation for multi-input/output transition systems
  7. Altmetric Badge
    Chapter 6 Test Generation for Specifications Modeled by Input/Output Automata
  8. Altmetric Badge
    Chapter 7 Distinguishing tests for nondeterministic finite state machines
  9. Altmetric Badge
    Chapter 8 Evaluation of test coverage for embedded system testing
  10. Altmetric Badge
    Chapter 9 Test suite minimization for testing in context
  11. Altmetric Badge
    Chapter 10 Test Architectures for Distributed Systems — State of the Art and Beyond
  12. Altmetric Badge
    Chapter 11 Using partial-orders for detecting faults in concurrent systems
  13. Altmetric Badge
    Chapter 12 Conformance Testing of a Multimedia System Using PHACT
  14. Altmetric Badge
    Chapter 13 An industrial experiment in automatic generation of executable test suites for a cache coherency protocol
  15. Altmetric Badge
    Chapter 14 Autolink — Putting SDL-based test generation into practice
  16. Altmetric Badge
    Chapter 15 Testing Temporal Logic Properties in Distributed Systems
  17. Altmetric Badge
    Chapter 16 Programming service tests with TTCN
  18. Altmetric Badge
    Chapter 17 A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols
  19. Altmetric Badge
    Chapter 18 Testing and Test Generation: State of the Art and Future Expectations
  20. Altmetric Badge
    Chapter 19 Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol
  21. Altmetric Badge
    Chapter 20 Test Suite Migration Experiences for B-ISUP and B-MTP
  22. Altmetric Badge
    Chapter 21 Qualitative Notions of Testability
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 tweeter

Readers on

24 Mendeley
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.
Testing of Communicating Systems
Published by
Springer US, November 2013
DOI 10.1007/978-0-387-35381-4
978-1-4757-6703-2, 978-0-387-35381-4

Petrenko, Alexandre, Yevtushenko, Nina

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

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

Geographical breakdown

Country Count As %
Portugal 1 4%
Germany 1 4%
France 1 4%
Brazil 1 4%
Unknown 20 83%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 8 33%
Student > Master 8 33%
Researcher 2 8%
Other 1 4%
Professor 1 4%
Other 2 8%
Unknown 2 8%
Readers by discipline Count As %
Computer Science 18 75%
Engineering 3 13%
Business, Management and Accounting 1 4%
Unknown 2 8%