Skip to main content
  • Book
  • © 2008

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4949)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (12 chapters)

  1. Front Matter

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

    • Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
    Pages 39-76
  3. Testing Real-Time Systems Using UPPAAL

    • Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou
    Pages 77-117
  4. Coverage Criteria for State Based Specifications

    • Paul Ammann, Jeff Offutt, Wuzhi Xu
    Pages 118-156
  5. Testing in the Distributed Test Architecture

    • Jessica Chen, Robert M. Hierons, Hasan Ural
    Pages 157-183
  6. Testing from X-Machine Specifications

    • Kirill Bogdanov
    Pages 184-208
  7. Testing Data Types Implementations from Algebraic Specifications

    • Marie-Claude Gaudel, Pascale Le Gall
    Pages 209-239
  8. Comparing the Effectiveness of Testing Techniques

    • Elaine J. Weyuker
    Pages 271-291
  9. The Test Technology TTCN-3

    • Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din
    Pages 292-319
  10. Testability Transformation – Program Transformation to Improve Testability

    • Mark Harman, André Baresel, David Binkley, Robert Hierons, Lin Hu, Bogdan Korel et al.
    Pages 320-344
  11. Modelling the Effects of Combining Diverse Software Fault Detection Techniques

    • Bev Littlewood, Peter Popov, Lorenzo Strigini, Nick Shryane
    Pages 345-366
  12. Back Matter

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

Keywords

  • Markov decision process
  • Scala
  • abstract state machines
  • algebraic specifications
  • automated testing
  • controllability
  • correct systems design
  • correctness proofs
  • fault detection
  • finite state machines
  • formal methods
  • formal testing
  • model-based testing
  • modeling
  • software testing

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions