Skip to main content
  • Conference proceedings
  • © 2007

Testing of Software and Communicating Systems

19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings

Conference proceedings info: FATES 2007, TestCom 2007.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (26 papers)

  1. Front Matter

  2. Implementing Conformiq Qtronic

    • Antti Huima
    Pages 1-12
  3. New Approach for EFSM-Based Passive Testing of Web Services

    • Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch Glitho
    Pages 13-27
  4. Automation of Avionic Systems Testing

    • David Cebrián, Valentín Valero, Fernando Cuartero
    Pages 28-40
  5. Automatic Test Generation from Interprocedural Specifications

    • Camille Constant, Bertrand Jeannet, Thierry Jéron
    Pages 41-57
  6. A New Method for Interoperability Test Generation

    • Alexandra Desmoulin, César Viho
    Pages 58-73
  7. Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware

    • Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson
    Pages 74-89
  8. Symbolic Model Based Testing for Component Oriented Systems

    • Alain Faivre, Christophe Gaston, Pascale Le Gall
    Pages 90-106
  9. A Compositional Testing Framework Driven by Partial Specifications

    • Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
    Pages 107-122
  10. Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols

    • Cyril Grepet, Stephane Maag
    Pages 123-137
  11. Testing and Model-Checking Techniques for Diagnosis

    • Maxim Gromov, Tim A. C. Willemse
    Pages 138-154
  12. Model-Based Testing of Service Infrastructure Components

    • László Gönczy, Reiko Heckel, Dániel Varró
    Pages 155-170
  13. Testing Input/Output Partial Order Automata

    • Stefan Haar, Claude Jard, Guy-Vincent Jourdan
    Pages 171-185
  14. A Framework for Testing AIS Implementations

    • Tamás Horváth, Tibor Sulyán
    Pages 186-198
  15. An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones

    • Luiz Kawakami, André Knabben, Douglas Rechia, Denise Bastos, Otavio Pereira, Ricardo Pereira e Silva et al.
    Pages 199-211
  16. Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites

    • Helmut Neukirchen, Martin Bisanz
    Pages 228-243
  17. A Bounded Incremental Test Generation Algorithm for Finite State Machines

    • Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh
    Pages 244-259
  18. Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control

    • Przemyslaw Plesowicz, Mieczyslaw Metzger
    Pages 260-275
  19. Towards Systematic Signature Testing

    • Sebastian Schmerl, Hartmut Koenig
    Pages 276-291

Other Volumes

  1. Testing of Software and Communicating Systems

Keywords

  • Middleware
  • Routing
  • Session
  • Symbol
  • TCP/IP
  • algorithm
  • algorithms
  • automata
  • communication
  • functional testing
  • graph transformation
  • interoperability
  • network-based feedback
  • real time systems
  • security testing

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions