Skip to main content
SpringerLink
Log in
Book cover

Testing Software and Systems

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Burkhart Wolff

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fatiha Zaïdi

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: ICTSS 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Counting for Random Testing

    • Marie-Claude Gaudel
    Pages 1-8

  3. Formal Testing of Timed and Probabilistic Systems

    • Manuel Núñez
    Pages 9-14

  4. Improved Usage Model for Web Application Reliability Testing

    • Gregor v. Bochmann, Guy-Vincent Jourdan, Bo Wan
    Pages 15-31

  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-47

  6. Conformance Relations for Distributed Testing Based on CSP

    • Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons
    Pages 48-63

  7. Praspel: A Specification Language for Contract-Based Testing in PHP

    • Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman
    Pages 64-79

  8. Using Testing Techniques for Vulnerability Detection in C Programs

    • Amel Mammar, Ana Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca
    Pages 80-96

  9. Learning-Based Testing for Reactive Systems Using Term Rewriting Technology

    • Karl Meinke, Fei Niu
    Pages 97-114

  10. Monitoring Dynamical Signals While Testing Timed Aspects of a System

    • Goran Frehse, Kim G. Larsen, Marius Mikučionis, Brian Nielsen
    Pages 115-130

  11. Model-Based Testing of Industrial Transformational Systems

    • Petur Olsen, Johan Foederer, Jan Tretmans
    Pages 131-145

  12. 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-161

  13. Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs

    • Alexandre Petrenko, Nina Yevtushenko
    Pages 162-178

  14. Compositional Random Testing Using Extended Symbolic Transition Systems

    • Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa
    Pages 179-194

  15. An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services

    • Hiroyuki Shinbo, Toru Hasegawa
    Pages 195-208

  16. Assessing Test Adequacy for Black-Box Systems without Specifications

    • Neil Walkinshaw
    Pages 209-224

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Testing Software and Systems

Keywords

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 software systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures.

Editors and Affiliations

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

    Burkhart Wolff, Fatiha Zaïdi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation