Skip to main content
SpringerLink
Log in
Book cover

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

Overview

Editors:
  1. Ferhat Khendek

    1. Electrical and Computer Engineering Department, Concordia University, Montréal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rachida Dssouli

    1. Concordia Institute for Information Systems Engineering, Montreal, Canada

    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 3502)

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

Included in the following conference series:

Conference proceedings info: TestCom 2005.

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

Access this book

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  2. The Epistemology of Validation and Verification Testing

    • T. S. E. Maibaum
    Pages 1-8

  3. Passive Testing – A Constrained Invariant Checking Approach

    • Behrouz Tork Ladani, Baptiste Alcalde, Ana Cavalli
    Pages 9-22

  4. Dependence Testing: Extending Data Flow Testing with Control Dependence

    • Hyoung Seok Hong, Hasan Ural
    Pages 23-39

  5. Comparing Bug Finding Tools with Reviews and Tests

    • Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger
    Pages 40-55

  6. Cross-Language Functional Testing for Middleware

    • A. Puder, L. Wang
    Pages 56-68

  7. Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams

    • Huaizhong Li, C. Peng Lam
    Pages 69-80

  8. Action Refinement in Conformance Testing

    • Machiel van der Bijl, Arend Rensink, Jan Tretmans
    Pages 81-96

  9. Multiplexing of Partially Ordered Events

    • Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
    Pages 97-110

  10. Testing Communicating Systems: a Model, a Methodology, and a Tool

    • Ismaïl Berrada, Richard Castanet, Patrick Félix
    Pages 111-128

  11. Coping with Nondeterminism in Network Protocol Testing

    • R. E. Miller, D. -L. Chen, D. Lee, R. Hao
    Pages 129-145

  12. Eliminating Redundant Tests in a Checking Sequence

    • Jessica Chen, Robert M. Hierons, Hasan Ural, Husnu Yenigun
    Pages 146-158

  13. On FSM-Based Fault Diagnosis

    • Zoltán Pap, Gyula Csopaki, Sarolta Dibuz
    Pages 159-174

  14. State Identification Problems for Timed Automata

    • Moez Krichen, Stavros Tripakis
    Pages 175-191

  15. Timing Fault Models for Systems with Multiple Timers

    • M. Ümit Uyar, Yu Wang, Samrat S. Batth, Adriana Wise, M. A. Fecko
    Pages 192-208

  16. An Expressive and Implementable Formal Framework for Testing Real-Time Systems

    • Moez Krichen, Stavros Tripakis
    Pages 209-225

  17. Firewall Conformance Testing

    • Diana Senn, David Basin, Germano Caronni
    Pages 226-241

  18. Test Generation for Interaction Detection in Feature-Rich Communication Systems

    • Caixia Chi, Ruibing Hao
    Pages 242-257

  19. Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms

    • Keqin Li, David Lee
    Pages 258-274

  20. Detecting Trapdoors in Smart Cards Using Timing and Power Analysis

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

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation