Programming and Software Engineering

Testing Software and Systems

25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Editors: Yenigün, Hüsnü, Yilmaz, Cemal, Ulrich, Andreas (Eds.)

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
see more benefits

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-642-41707-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $108.00
price for USA
  • ISBN 978-3-642-41706-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2013, held in Istanbul, Turkey, in November 2013. The 17 revised full papers presented together with 3 short papers were carefully selected from 68 submissions. The papers are organized in topical sections on model-based testing, testing timed and concurrent systems, test suite selection and effort estimation, tools and languages, and debugging.

Table of contents (20 chapters)

  • Using Logic Coverage to Improve Testing Function Block Diagrams

    Enoiu, Eduard Paul (et al.)

    Pages 1-16

  • Automatic Grammar-Based Test Generation

    Guo, Hai-Feng (et al.)

    Pages 17-32

  • Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines

    Kushik, Natalia (et al.)

    Pages 33-48

  • Exhaustive Model-Based Equivalence Class Testing

    Huang, Wen-ling (et al.)

    Pages 49-64

  • Remote Testing of Timed Specifications

    David, Alexandre (et al.)

    Pages 65-81

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-642-41707-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $108.00
price for USA
  • ISBN 978-3-642-41706-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Testing Software and Systems
Book Subtitle
25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Editors
  • Hüsnü Yenigün
  • Cemal Yilmaz
  • Andreas Ulrich
Series Title
Programming and Software Engineering
Series Volume
8254
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-642-41707-8
DOI
10.1007/978-3-642-41707-8
Softcover ISBN
978-3-642-41706-1
Edition Number
1
Number of Pages
XIV, 291
Number of Illustrations and Tables
84 b/w illustrations
Topics