Testing Software and Systems

23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

  • Burkhart Wolff
  • Fatiha Zaïdi

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

Table of contents

  1. Front Matter
  2. Marie-Claude Gaudel
    Pages 1-8
  3. Gregor v. Bochmann, Guy-Vincent Jourdan, Bo Wan
    Pages 15-31
  4. Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
    Pages 32-47
  5. Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons
    Pages 48-63
  6. Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman
    Pages 64-79
  7. Amel Mammar, Ana Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca
    Pages 80-96
  8. Goran Frehse, Kim G. Larsen, Marius Mikučionis, Brian Nielsen
    Pages 115-130
  9. Petur Olsen, Johan Foederer, Jan Tretmans
    Pages 131-145
  10. Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda et al.
    Pages 146-161
  11. Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa
    Pages 179-194
  12. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing sofware systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures.

Keywords

dynamic code analysis formal specifications interoperability testing usage models vulnerabilities detection

Editors and affiliations

  • Burkhart Wolff
    • 1
  • Fatiha Zaïdi
    • 1
  1. 1.Université Paris-Sud, LRI UMR 8623 CNRSOrsay CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-24580-0
  • Copyright Information IFIP International Federation for Information Processing 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-24579-4
  • Online ISBN 978-3-642-24580-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book