Programming and Software Engineering

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Editors: Hierons, Robert M., Bowen, Jonathan P., Harman, Mark (Eds.)

Buy this book

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

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).

Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).

Table of contents (12 chapters)

  • Model Based Testing with Labelled Transition Systems

    Tretmans, Jan

    Pages 1-38

  • Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

    Veanes, Margus (et al.)

    Pages 39-76

  • Testing Real-Time Systems Using UPPAAL

    Hessel, Anders (et al.)

    Pages 77-117

  • Coverage Criteria for State Based Specifications

    Ammann, Paul (et al.)

    Pages 118-156

  • Testing in the Distributed Test Architecture

    Chen, Jessica (et al.)

    Pages 157-183

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-78917-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-78916-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
Formal Methods and Testing
Book Subtitle
An Outcome of the FORTEST Network. Revised Selected Papers
Editors
  • Robert M. Hierons
  • Jonathan P. Bowen
  • Mark Harman
Series Title
Programming and Software Engineering
Series Volume
4949
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-78917-8
DOI
10.1007/978-3-540-78917-8
Softcover ISBN
978-3-540-78916-1
Edition Number
1
Number of Pages
XIII, 370
Topics