Testing Software and Systems
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
Editors: Wolff, Burkhart, Zaïdi, Fatiha (Eds.)
Free Preview- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
Buy this book
- 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.
- Table of contents (15 chapters)
-
-
Counting for Random Testing
Pages 1-8
-
Formal Testing of Timed and Probabilistic Systems
Pages 9-14
-
Improved Usage Model for Web Application Reliability Testing
Pages 15-31
-
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests
Pages 32-47
-
Conformance Relations for Distributed Testing Based on CSP
Pages 48-63
-
Table of contents (15 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Testing Software and Systems
- Book Subtitle
- 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
- Editors
-
- Burkhart Wolff
- Fatiha Zaïdi
- Series Title
- Programming and Software Engineering
- Series Volume
- 7019
- Copyright
- 2011
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- IFIP International Federation for Information Processing
- eBook ISBN
- 978-3-642-24580-0
- DOI
- 10.1007/978-3-642-24580-0
- Softcover ISBN
- 978-3-642-24579-4
- Edition Number
- 1
- Number of Pages
- X, 226
- Number of Illustrations
- 75 b/w illustrations
- Topics