Skip to main content
  • Conference proceedings
  • © 2011

Testing Software and Systems

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

  • State-of-the-art research

  • Fast-track conference proceedings

  • Unique visibility

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): ICTSS: IFIP International Conference on Testing Software and Systems

Conference proceedings info: ICTSS 2011.

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-24580-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  2. Counting for Random Testing

    • Marie-Claude Gaudel
    Pages 1-8Open Access
  3. Formal Testing of Timed and Probabilistic Systems

    • Manuel Núñez
    Pages 9-14Open Access
  4. Improved Usage Model for Web Application Reliability Testing

    • Gregor v. Bochmann, Guy-Vincent Jourdan, Bo Wan
    Pages 15-31Open Access
  5. Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests

    • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
    Pages 32-47Open Access
  6. Conformance Relations for Distributed Testing Based on CSP

    • Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons
    Pages 48-63Open Access
  7. Praspel: A Specification Language for Contract-Based Testing in PHP

    • Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman
    Pages 64-79Open Access
  8. Using Testing Techniques for Vulnerability Detection in C Programs

    • Amel Mammar, Ana Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca
    Pages 80-96Open Access
  9. Monitoring Dynamical Signals While Testing Timed Aspects of a System

    • Goran Frehse, Kim G. Larsen, Marius Mikučionis, Brian Nielsen
    Pages 115-130Open Access
  10. Model-Based Testing of Industrial Transformational Systems

    • Petur Olsen, Johan Foederer, Jan Tretmans
    Pages 131-145Open Access
  11. A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain

    • Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda et al.
    Pages 146-161Open Access
  12. Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

    • Alexandre Petrenko, Nina Yevtushenko
    Pages 162-178Open Access
  13. Compositional Random Testing Using Extended Symbolic Transition Systems

    • Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa
    Pages 179-194Open Access
  14. Back Matter

Other Volumes

  1. Testing Software and Systems

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

About this book

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

  • Université Paris-Sud, LRI UMR 8623 CNRS, Orsay Cedex, France

    Burkhart Wolff, Fatiha Zaïdi

Bibliographic Information

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-24580-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)