Testing of Software and Communicating Systems

19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

  • Editors
  • Alexandre Petrenko
  • Margus Veanes
  • Jan Tretmans
  • Wolfgang Grieskamp

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

Table of contents

  1. Front Matter
  2. Antti Huima
    Pages 1-12
  3. Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch Glitho
    Pages 13-27
  4. David Cebrián, Valentín Valero, Fernando Cuartero
    Pages 28-40
  5. Camille Constant, Bertrand Jeannet, Thierry Jéron
    Pages 41-57
  6. Alexandra Desmoulin, César Viho
    Pages 58-73
  7. Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson
    Pages 74-89
  8. Alain Faivre, Christophe Gaston, Pascale Le Gall
    Pages 90-106
  9. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
    Pages 107-122
  10. Cyril Grepet, Stephane Maag
    Pages 123-137
  11. Maxim Gromov, Tim A. C. Willemse
    Pages 138-154
  12. László Gönczy, Reiko Heckel, Dániel Varró
    Pages 155-170
  13. Stefan Haar, Claude Jard, Guy-Vincent Jourdan
    Pages 171-185
  14. Tamás Horváth, Tibor Sulyán
    Pages 186-198
  15. Luiz Kawakami, André Knabben, Douglas Rechia, Denise Bastos, Otavio Pereira, Ricardo Pereira e Silva et al.
    Pages 199-211
  16. Helmut Neukirchen, Martin Bisanz
    Pages 228-243
  17. Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh
    Pages 244-259
  18. Przemyslaw Plesowicz, Mieczyslaw Metzger
    Pages 260-275
  19. Sebastian Schmerl, Hartmut Koenig
    Pages 276-291

About these proceedings

Keywords

Middleware Routing Session Symbol TCP/IP algorithm algorithms automata communication functional testing graph transformation interoperability network-based feedback real time systems security testing

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73066-8
  • Copyright Information IFIP International Federation for Information Processing 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73065-1
  • Online ISBN 978-3-540-73066-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book