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

Keywords

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

  • DOI https://doi.org/10.1007/11759744
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34454-4
  • Online ISBN 978-3-540-34455-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book