Get 40% off select print & eBooks in Engineering & Materials or 50% off eBooks in Medicine & Psychology!

Programming and Software Engineering

Tests and Proofs

5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Editors: Gogolla, Martin, Wolff, Burkhart (Eds.)

Free Preview
  • up-to-date results
  • fast track conference proceedings
  • state-of-the-art report
see more benefits

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-642-21768-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-642-21767-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 5th International Conference on Test and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.

The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning based testing, UML, OCL, specification-based testing, and network testing.

Table of contents (14 chapters)

Table of contents (14 chapters)
  • Checking Models, Proving Programs, and Testing Systems

    Pages 1-13

    Gaudel, Marie-Claude

  • Tests from Proofs

    Pages 14-14

    Godefroid, Patrice

  • Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs

    Pages 15-32

    Aguirre, Nazareno M. (et al.)

  • Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver

    Pages 33-50

    Bentakouk, Lina (et al.)

  • Association of Under-Approximation Techniques for Generating Tests from Models

    Pages 51-68

    Bué, Pierre-Christophe (et al.)

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-642-21768-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-642-21767-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Tests and Proofs
Book Subtitle
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
Editors
  • Martin Gogolla
  • Burkhart Wolff
Series Title
Programming and Software Engineering
Series Volume
6706
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-21768-5
DOI
10.1007/978-3-642-21768-5
Softcover ISBN
978-3-642-21767-8
Edition Number
1
Number of Pages
X, 205
Number of Illustrations
28 b/w illustrations, 20 illustrations in colour
Topics