Advertisement

Testing of Communicating Systems

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

  • M. Ümit Uyar
  • Ali Y. Duale
  • Mariusz A. Fecko
Conference proceedings TestCom 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3964)

Table of contents

  1. Front Matter
  2. Session I: Testing Theory and Foundations

    1. Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
      Pages 1-18
    2. Ralf Lämmel, Wolfram Schulte
      Pages 19-38
    3. Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
      Pages 39-54
  3. Session II: Testing Non-deterministic and Probabilistic Systems

    1. Emmanuel Donin de Rosière, Claude Jard, Benoît Parreaux
      Pages 71-86
    2. Luis F. Llana-Díaz, Manuel Núñez, Ismael Rodríguez
      Pages 87-102
  4. Session III: Testing Internet and Industrial Systems

    1. ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi
      Pages 103-117
    2. Abdelghani Benharref, Rachida Dssouli, Roch Glitho, Mohamed Adel Serhani
      Pages 118-133
    3. Ana Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener
      Pages 134-148
  5. Session IV: TTCN-3

    1. Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki
      Pages 149-160
    2. Andreas Johan Nyberg
      Pages 161-176
    3. George Din, Sorin Tolea, Ina Schieferdecker
      Pages 177-196
  6. Session V: Compositional and Distributed Testing

    1. Mahadevan Subramaniam, Zoltán Pap
      Pages 197-212
    2. Jessica Chen, Hasan Ural
      Pages 213-226
    3. Reinhard Gotzhein, Ferhat Khendek
      Pages 227-244
  7. Session VI: FSM-Based Testing and Diagnosis

    1. Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
      Pages 245-258
    2. M. Cihan Yalcin, Husnu Yenigun
      Pages 259-273
    3. Hasan Ural, Fan Zhang
      Pages 274-288
  8. Session VII: Timed Systems

    1. Ismaïl Berrada, Richard Castanet, Patrick Félix, Aziz Salah
      Pages 289-305
    2. Rachid Bouaziz, Ousmane Koné
      Pages 306-323
    3. Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, Beihang Tian
      Pages 324-340
  9. Session VIII: Testing for Security

    1. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
      Pages 341-356
  10. Back Matter

About these proceedings

Keywords

Monitor Session Symbol communicating systems testing communication computer communication systems data flow testing distributed testing interoperability network protocol testing next generation networking security testing software testing systems systems testing

Editors and affiliations

  • M. Ümit Uyar
    • 1
  • Ali Y. Duale
    • 2
  • Mariusz A. Fecko
    • 3
  1. 1.Electrical Engineering DepartmentThe City College of The City University of New YorkNew York, NYUSA
  2. 2.IBM, Systems Assurance Kernel (SAK), Poughkeepsie,NYUSA
  3. 3.Applied ResearchTelcordia Technologies Inc.Piscataway, NJUSA

Bibliographic information

  • DOI https://doi.org/10.1007/11754008
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34184-0
  • Online ISBN 978-3-540-34185-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site