Formal Methods and Testing

An Outcome of the FORTEST Network, Revised Selected Papers

  • Editors
  • Robert M. Hierons
  • Jonathan P. Bowen
  • Mark Harman

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

Table of contents

  1. Front Matter
  2. Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
    Pages 39-76
  3. Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou
    Pages 77-117
  4. Paul Ammann, Jeff Offutt, Wuzhi Xu
    Pages 118-156
  5. Jessica Chen, Robert M. Hierons, Hasan Ural
    Pages 157-183
  6. Kirill Bogdanov
    Pages 184-208
  7. Marie-Claude Gaudel, Pascale Le Gall
    Pages 209-239
  8. Elaine J. Weyuker
    Pages 271-291
  9. Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din
    Pages 292-319
  10. Mark Harman, André Baresel, David Binkley, Robert Hierons, Lin Hu, Bogdan Korel et al.
    Pages 320-344
  11. 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).


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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78916-1
  • Online ISBN 978-3-540-78917-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site