Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers

  • Alexandre Petrenko
  • Andreas Ulrich
Conference proceedings FATES 2003

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

Table of contents

  1. Front Matter
  2. Program Testing and Analysis

    1. Benjamin Tyler, Neelam Soundarajan
      Pages 1-14
    2. Alper Sen, Vijay K. Garg
      Pages 15-29
    3. Reiner Hähnle, Angela Wallenburg
      Pages 30-41
    4. Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
      Pages 42-59
  3. Test Theory and Test Derivation Algorithms

    1. Machiel van der Bijl, Arend Rensink, Jan Tretmans
      Pages 86-100
    2. Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
      Pages 114-130
    3. Ahmed Khoumsi, Thierry Jéron, Hervé Marchand
      Pages 131-146
    4. Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
      Pages 147-163
    5. Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
      Pages 164-177
    6. Olaf Henniger, Miao Lu, Hasan Ural
      Pages 178-191
  4. Test Methods and Test Tools

    1. Harm M. A. van Beek, Sjouke Mauw
      Pages 205-222
    2. Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
      Pages 252-266
  5. Back Matter

About these proceedings


Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.


JUnit Unified Modeling Language (UML) algorithm algorithms correct sytems design efficient testing formal methods genetic algorithms real-time systems analysis testing testing technologies testing tools theorem proving timed automata

Editors and affiliations

  • Alexandre Petrenko
    • 1
  • Andreas Ulrich
    • 2
  1. 1.CRIMCanada
  2. 2.Siemens AGCorporate Research & Technologies CT SE 1MunichGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20894-5
  • Online ISBN 978-3-540-24617-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site