Skip to main content
SpringerLink
Log in

Testing of Communicating Systems

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

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. M. Ümit Uyar

    1. Electrical Engineering Department, The City College of The City University of New York, New York, NY, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ali Y. Duale

    1. IBM, Systems Assurance Kernel (SAK), Poughkeepsie,, NY, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mariusz A. Fecko

    1. Applied Research, Telcordia Technologies Inc., Piscataway, NJ, USA

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

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

Included in the following conference series:

Conference proceedings info: TestCom 2006.

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 (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Session I: Testing Theory and Foundations

    1. Symbolic Execution Techniques for Test Purpose Definition

      • Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
      Pages 1-18

    2. Controllable Combinatorial Coverage in Grammar-Based Testing

      • Ralf Lämmel, Wolfram Schulte
      Pages 19-38

    3. A Logic for Assessing Sets of Heterogeneous Testing Hypotheses

      • Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
      Pages 39-54

  3. Session II: Testing Non-deterministic and Probabilistic Systems

    1. Bounded Sequence Testing from Non-deterministic Finite State Machines

      • Florentin Ipate
      Pages 55-70

    2. LaTe, a Non-fully Deterministic Testing Language

      • Emmanuel Donin de Rosière, Claude Jard, Benoît Parreaux
      Pages 71-86

    3. Customized Testing for Probabilistic Systems

      • Luis F. Llana-Díaz, Manuel Núñez, Ismael Rodríguez
      Pages 87-102

  4. Session III: Testing Internet and Industrial Systems

    1. Generating Test Cases for Web Services Using Extended Finite State Machine

      • ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi
      Pages 103-117

    2. Towards the Testing of Composed Web Services in 3rd Generation Networks

      • Abdelghani Benharref, Rachida Dssouli, Roch Glitho, Mohamed Adel Serhani
      Pages 118-133

    3. Application of Two Test Generation Tools to an Industrial Case Study

      • Ana Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener
      Pages 134-148

  5. Session IV: TTCN-3

    1. Performance Analysis of Concurrent PCOs in TTCN-3

      • Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki
      Pages 149-160

    2. Use of TTCN-3 for Software Module Testing

      • Andreas Johan Nyberg
      Pages 161-176

    3. Distributed Load Tests with TTCN-3

      • George Din, Sorin Tolea, Ina Schieferdecker
      Pages 177-196

  6. Session V: Compositional and Distributed Testing

    1. Analyzing the Impact of Protocol Changes on Tests

      • Mahadevan Subramaniam, Zoltán Pap
      Pages 197-212

    2. Detecting Observability Problems in Distributed Testing

      • Jessica Chen, Hasan Ural
      Pages 213-226

    3. Compositional Testing of Communication Systems

      • Reinhard Gotzhein, Ferhat Khendek
      Pages 227-244

  7. Session VI: FSM-Based Testing and Diagnosis

    1. FSM Test Translation Through Context

      • Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
      Pages 245-258

    2. Using Distinguishing and UIO Sequences Together in a Checking Sequence

      • M. Cihan Yalcin, Husnu Yenigun
      Pages 259-273

    3. Reducing the Lengths of Checking Sequences by Overlapping

      • Hasan Ural, Fan Zhang
      Pages 274-288

  8. Session VII: Timed Systems

    1. Test Case Minimization for Real-Time Systems Using Timed Bound Traces

      • Ismaïl Berrada, Richard Castanet, Patrick Félix, Aziz Salah
      Pages 289-305
Back to top

Keywords

Editors and Affiliations

  • Electrical Engineering Department, The City College of The City University of New York, New York, NY, USA

    M. Ümit Uyar

  • IBM, Systems Assurance Kernel (SAK), Poughkeepsie,, NY, USA

    Ali Y. Duale

  • Applied Research, Telcordia Technologies Inc., Piscataway, NJ, USA

    Mariusz A. Fecko

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation