Skip to main content
  • Conference proceedings
  • © 2005

Testing of Communicating Systems

17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings

Conference proceedings info: TestCom 2005.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

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

Table of contents (25 papers)

  1. Front Matter

  2. Passive Testing – A Constrained Invariant Checking Approach

    • Behrouz Tork Ladani, Baptiste Alcalde, Ana Cavalli
    Pages 9-22
  3. Comparing Bug Finding Tools with Reviews and Tests

    • Stefan Wagner, Jan JĂ¼rjens, Claudia Koller, Peter Trischberger
    Pages 40-55
  4. Cross-Language Functional Testing for Middleware

    • A. Puder, L. Wang
    Pages 56-68
  5. Action Refinement in Conformance Testing

    • Machiel van der Bijl, Arend Rensink, Jan Tretmans
    Pages 81-96
  6. Multiplexing of Partially Ordered Events

    • Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
    Pages 97-110
  7. Testing Communicating Systems: a Model, a Methodology, and a Tool

    • IsmaĂ¯l Berrada, Richard Castanet, Patrick FĂ©lix
    Pages 111-128
  8. Coping with Nondeterminism in Network Protocol Testing

    • R. E. Miller, D. -L. Chen, D. Lee, R. Hao
    Pages 129-145
  9. Eliminating Redundant Tests in a Checking Sequence

    • Jessica Chen, Robert M. Hierons, Hasan Ural, Husnu Yenigun
    Pages 146-158
  10. On FSM-Based Fault Diagnosis

    • ZoltĂ¡n Pap, Gyula Csopaki, Sarolta Dibuz
    Pages 159-174
  11. State Identification Problems for Timed Automata

    • Moez Krichen, Stavros Tripakis
    Pages 175-191
  12. Timing Fault Models for Systems with Multiple Timers

    • M. Ăœmit Uyar, Yu Wang, Samrat S. Batth, Adriana Wise, M. A. Fecko
    Pages 192-208
  13. Firewall Conformance Testing

    • Diana Senn, David Basin, Germano Caronni
    Pages 226-241
  14. Detecting Trapdoors in Smart Cards Using Timing and Power Analysis

    • Jung Youp Lee, Seok Won Jung, Jongin Lim
    Pages 275-288

Editors and Affiliations

  • Electrical and Computer Engineering Department, Concordia University, MontrĂ©al, Canada

    Ferhat Khendek

  • Concordia Institute for Information Systems Engineering, Montreal, Canada

    Rachida Dssouli

Bibliographic Information

  • Book Title: Testing of Communicating Systems

  • Book Subtitle: 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings

  • Editors: Ferhat Khendek, Rachida Dssouli

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b136676

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: IFIP International Federation for Information Processing 2005

  • Softcover ISBN: 978-3-540-26054-7Published: 23 May 2005

  • eBook ISBN: 978-3-540-32076-0Published: 10 May 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 380

  • Topics: Software Engineering, Computer Communication Networks

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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