Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

  • Wolfgang Grieskamp
  • Carsten Weise
Conference proceedings FATES 2005

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

Table of contents

  1. Front Matter
  2. Proceedings FATES 2005

    1. Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
      Pages 1-15
    2. Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara
      Pages 16-31
    3. Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
      Pages 32-46
    4. Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu
      Pages 62-71
    5. Achim D. Brucker, Burkhart Wolff
      Pages 87-102
    6. Manuel Núñez, Ismael Rodríguez
      Pages 103-117
    7. Alexandre Petrenko, Nina Yevtushenko
      Pages 118-133
    8. Marcin Jurdziński, Doron Peled, Hongyang Qu
      Pages 134-151
    9. Doron Peled, Hongyang Qu
      Pages 152-169
    10. Sergey Zelenov, Sophia Zelenova
      Pages 187-202
    11. Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
      Pages 203-217
  3. Back Matter

About these proceedings


Markov chains Resolution abstract state machines automata constraint resolution correct systems design correctness proofs finite state machines formal methods formal testing interactive testing model checking real-time testing theorem proving

Editors and affiliations

  • Wolfgang Grieskamp
    • 1
  • Carsten Weise
    • 2
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.Ericsson Deutschland GmbHHerzogenrathGermany

Bibliographic information

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