Table of contents

  1. Front Matter
  2. Symbolic Test Generation

    1. Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
      Pages 1-15
    2. Achim D. Brucker, Burkhart Wolff
      Pages 16-32
    3. David de Frutos Escrig, Carlos Gregorio Rodróguez
      Pages 33-48
  3. Testing Non-functional Properties

    1. Natalia López, Manuel Núñez, Ismael Rodríguez
      Pages 49-63
    2. Laura Brandán Briones, Ed Brinksma
      Pages 64-78
    3. Kim G. Larsen, Marius Mikucionis, Brian Nielsen
      Pages 79-94
  4. Test Development with Model Checking Techniques

    1. Hyoung Seok Hong, Hasan Ural
      Pages 110-124
    2. Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson
      Pages 125-139
    3. Thomas Arts, Koen Claessen, Hans Svensson
      Pages 140-154
  5. Test Optimization

    1. Alain Vouffo-Feudjio, Ina Schieferdecker
      Pages 170-179
    2. Antal Wu-Hen-Chang, D ung Le Viet, Gabor Batori, Roland Gecse, Gyula Csopaki
      Pages 180-194
    3. Kalpesh Kapoor, Jonathan P. Bowen
      Pages 195-209
    4. Hoijin Yoon, Eunhee Kim, Joo Young Seo, Byoungju Choi
      Pages 210-224
  6. Back Matter

About these proceedings


Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene?ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr´ eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di?erent countries were selected for presentation.


UML abstract state machines automata correct systems design correctness proofs finite state machines formal methods formal testing model checking optimization software testing systems analysis testing technologies testing tools

Editors and affiliations

  • Jens Grabowski
    • 1
  • Brian Nielsen
    • 2
  1. 1.University of GoettingenGermany
  2. 2.Department of Computer ScienceAalborg UniversityAalborgDenmark

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment