Computer Communication Networks and Telecommunications

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

Editors: Nunez, Manuel, Baker, Paul, Merayo, Mercedes G. (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-05031-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-05030-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (19 chapters)

  • Testing Real-Time Systems Using TINA

    Adjir, Noureddine (et al.)

    Pages 1-15

  • A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems

    Bentakouk, Lina (et al.)

    Pages 16-32

  • Testing k-Safe Petri Nets

    Bochmann, Gregor (et al.)

    Pages 33-48

  • Implementing MSC Tests with Quiescence Observation

    Boroday, Sergiy (et al.)

    Pages 49-65

  • Testing Timed Finite State Machines with Guaranteed Fault Coverage

    El-Fakih, Khaled (et al.)

    Pages 66-80

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-05031-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-05030-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Testing of Software and Communication Systems
Book Subtitle
21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings
Editors
  • Manuel Nunez
  • Paul Baker
  • Mercedes G. Merayo
Series Title
Computer Communication Networks and Telecommunications
Series Volume
5826
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-642-05031-2
DOI
10.1007/978-3-642-05031-2
Softcover ISBN
978-3-642-05030-5
Edition Number
1
Number of Pages
XII, 247
Topics