Skip to main content
  • Conference proceedings
  • © 2009

Testing of Software and Communication Systems

21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings

Conference proceedings info: FATES 2009, TestCom 2009.

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-05031-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)

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

Table of contents (19 papers)

  1. Front Matter

  2. Regular Papers

    1. Testing Real-Time Systems Using TINA

      • Noureddine Adjir, Pierre De Saqui-Sannes, Kamel Mustapha Rahmouni
      Pages 1-15Open Access
    2. A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems

      • Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi
      Pages 16-32Open Access
    3. Testing k-Safe Petri Nets

      • Gregor von Bochmann, Guy-Vincent Jourdan
      Pages 33-48Open Access
    4. Implementing MSC Tests with Quiescence Observation

      • Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
      Pages 49-65Open Access
    5. Testing Timed Finite State Machines with Guaranteed Fault Coverage

      • Khaled El-Fakih, Nina Yevtushenko, Hacene Fouchal
      Pages 66-80Open Access
    6. Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs

      • Qiang Guo, John Derrick, Neil Walkinshaw
      Pages 81-96Open Access
    7. Interaction Coverage Meets Path Coverage by SMT Constraint Solving

      • Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen
      Pages 97-112Open Access
    8. Automatic Testing of Access Control for Security Properties

      • Hervé Marchand, Jérémy Dubreil, Thierry Jéron
      Pages 113-128Open Access
    9. Generating Reduced Tests for FSMs with Extra States

      • Adenilso Simão, Alexandre Petrenko, Nina Yevtushenko
      Pages 129-145Open Access
    10. An Approach for Test Selection for EFSMs Using a Theorem Prover

      • Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltan Pap
      Pages 146-162Open Access
    11. TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks

      • Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu et al.
      Pages 163-178Open Access
    12. Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models

      • Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge et al.
      Pages 179-194Open Access
    13. Analyzing Response Inconsistencies in Test Suites

      • Benjamin Zeiss, Jens Grabowski
      Pages 195-210Open Access
  3. Short Papers

    1. Model-Based Testing of Web Applications Using NModel

      • Juhan Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
      Pages 211-216Open Access
    2. Observability and Controllability Issues in Conformance Testing of Web Service Compositions

      • Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Cavalli
      Pages 217-222Open Access
    3. OConGraX – Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems

      • Paulo R. F. Nunes, Simone Hanazumi, Ana C. V. de Melo
      Pages 229-234Open Access
    4. Debugging into Examples

      • Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld
      Pages 235-240Open Access
    5. Structural Analysis of Large TTCN-3 Projects

      • Kristóf Szabados
      Pages 241-246Open Access

Other Volumes

  1. Testing of Software and Communication Systems

    21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

About this book

This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009.

The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.

Keywords

  • Constraint
  • Debugging
  • Erlang
  • TTCN-3
  • Web Services
  • automatic testing
  • conformance testing
  • functional testing
  • model
  • model checking
  • model-based testing
  • requirements engineering
  • selection
  • software engineering
  • testing

Editors and Affiliations

  • Universidad Complutense de Madrid, Madrid, Spain

    Manuel Núñez, Mercedes G. Merayo

  • Motorola’s Corporate Software Excellence Team, Basingstoke, Hampshire, UK

    Paul Baker

Bibliographic Information

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-05031-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)