Advertisement

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
Conference proceedings FATES 2007, TestCom 2007

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
  20. Stephan Schulz, Anthony Wiles, Steve Randall
    Pages 292-304
  21. Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko
    Pages 305-318
  22. Muzammil Shahbaz, Keqin Li, Roland Groz
    Pages 319-334
  23. Hasan Ural, Zhi Xu
    Pages 335-350
  24. Diana Vega, Ina Schieferdecker, George Din
    Pages 351-364
  25. Sergey Zelenov, Sophia Zelenova
    Pages 365-377
  26. Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp
    Pages E1-E1
  27. Back Matter

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
  • Buy this book on publisher's site