© 2011

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
Conference proceedings ICTSS 2011

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


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.


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

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment