Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

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
  • © 2007

Overview

Editors:
  1. Alexandre Petrenko
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Margus Veanes
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jan Tretmans
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Wolfgang Grieskamp
    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 4581)

Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)

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

Access this book

Log in via an institution
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

Keywords

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  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. Model Based Testing of an Embedded Session and Transport Protocol

    • Vesa Luukkala, Ian Oliver
    Pages 212-227

  17. Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites

    • Helmut Neukirchen, Martin Bisanz
    Pages 228-243

  18. 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

  19. Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control

    • Przemyslaw Plesowicz, Mieczyslaw Metzger
    Pages 260-275

  20. Towards Systematic Signature Testing

    • Sebastian Schmerl, Hartmut Koenig
    Pages 276-291
Back to top

Other volumes

  1. Testing of Software and Communicating Systems

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation