Get 40% off of select print and eBooks in Engineering & Materials Science!

Computer Communication Networks and Telecommunications

Testing of Communicating Systems

18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings

Editors: Uyar, M. Ümit, Duale, Ali Y., Fecko, Mariusz A. (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-34185-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-34184-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (23 chapters)

Table of contents (23 chapters)
  • Symbolic Execution Techniques for Test Purpose Definition

    Pages 1-18

    Gaston, Christophe (et al.)

  • Controllable Combinatorial Coverage in Grammar-Based Testing

    Pages 19-38

    Lämmel, Ralf (et al.)

  • A Logic for Assessing Sets of Heterogeneous Testing Hypotheses

    Pages 39-54

    Rodríguez, Ismael (et al.)

  • Bounded Sequence Testing from Non-deterministic Finite State Machines

    Pages 55-70

    Ipate, Florentin

  • LaTe, a Non-fully Deterministic Testing Language

    Pages 71-86

    Rosière, Emmanuel Donin (et al.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-34185-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-34184-0
  • 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 Communicating Systems
Book Subtitle
18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
Editors
  • M. Ümit Uyar
  • Ali Y. Duale
  • Mariusz A. Fecko
Series Title
Computer Communication Networks and Telecommunications
Series Volume
3964
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-540-34185-7
DOI
10.1007/11754008
Softcover ISBN
978-3-540-34184-0
Edition Number
1
Number of Pages
XI, 373
Topics