Testing of Communicating Systems

17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings

  • Ferhat Khendek
  • Rachida Dssouli
Conference proceedings TestCom 2005

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

Table of contents

  1. Front Matter
  2. Behrouz Tork Ladani, Baptiste Alcalde, Ana Cavalli
    Pages 9-22
  3. Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger
    Pages 40-55
  4. A. Puder, L. Wang
    Pages 56-68
  5. Machiel van der Bijl, Arend Rensink, Jan Tretmans
    Pages 81-96
  6. Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
    Pages 97-110
  7. Ismaïl Berrada, Richard Castanet, Patrick Félix
    Pages 111-128
  8. R. E. Miller, D. -L. Chen, D. Lee, R. Hao
    Pages 129-145
  9. Jessica Chen, Robert M. Hierons, Hasan Ural, Husnu Yenigun
    Pages 146-158
  10. Zoltán Pap, Gyula Csopaki, Sarolta Dibuz
    Pages 159-174
  11. Moez Krichen, Stavros Tripakis
    Pages 175-191
  12. M. Ümit Uyar, Yu Wang, Samrat S. Batth, Adriana Wise, M. A. Fecko
    Pages 192-208
  13. Diana Senn, David Basin, Germano Caronni
    Pages 226-241
  14. Jung Youp Lee, Seok Won Jung, Jongin Lim
    Pages 275-288
  15. Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din
    Pages 289-303
  16. Gabor Batori, Domonkos Asztalos
    Pages 304-317
  17. Annie Floch, Frédéric Roudaut, Ariel Sabiguero, César Viho
    Pages 318-332
  18. Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
    Pages 333-348
  19. Boonserm Kulvatunyou, Nenad Ivezic, Albert T. Jones
    Pages 349-364
  20. Alexandra Desmoulin, César Viho
    Pages 365-379
  21. Back Matter

About these proceedings


Middleware Smart Card TTCN UML UMTS Unified Modeling Language (UML) algorithms communicating systems testing computer communication systems data flow testing software testing systems testing systems validation systems verification telecommunications

Editors and affiliations

  • Ferhat Khendek
    • 1
  • Rachida Dssouli
    • 2
  1. 1.Electrical and Computer Engineering DepartmentConcordia UniversityMontréalCanada
  2. 2.Concordia Institute for Information Systems EngineeringMontrealCanada

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-26054-7
  • Online ISBN 978-3-540-32076-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment