Skip to main content
SpringerLink
Log in
Book cover

Formal Approaches to Software Testing

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

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Wolfgang Grieskamp

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Carsten Weise

    1. Ericsson Deutschland GmbH, Herzogenrath, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FATES 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Proceedings FATES 2005

    1. Simulated Time for Testing Railway Interlockings with TTCN-3

      • Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
      Pages 1-15

    2. Model-Based Testing Through a GUI

      • Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara
      Pages 16-31

    3. Play to Test

      • Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
      Pages 32-46

    4. A Note on an Anomaly in Black-Box Testing

      • Antti Huima
      Pages 47-61

    5. A Novel Test Coverage Metric for Concurrently-Accessed Software Components

      • Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu
      Pages 62-71

    6. Adaptive Random Testing by Bisection and Localization

      • Johannes Mayer
      Pages 72-86

    7. Interactive Testing with HOL-TestGen

      • Achim D. Brucker, Burkhart Wolff
      Pages 87-102

    8. Conformance Testing Relations for Timed Systems

      • Manuel Núñez, Ismael Rodríguez
      Pages 103-117

    9. Conformance Tests as Checking Experiments for Partial Nondeterministic FSM

      • Alexandre Petrenko, Nina Yevtushenko
      Pages 118-133

    10. Calculating Probabilities of Real-Time Test Cases

      • Marcin JurdziÅ„ski, Doron Peled, Hongyang Qu
      Pages 134-151

    11. Time Unbalanced Partial Order

      • Doron Peled, Hongyang Qu
      Pages 152-169

    12. Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach

      • Gaoyan Xie, Zhe Dang
      Pages 170-186

    13. Automated Generation of Positive and Negative Tests for Parsers

      • Sergey Zelenov, Sophia Zelenova
      Pages 187-202

    14. Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

      • Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
      Pages 203-217

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Approaches to Software Testing

Keywords

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Wolfgang Grieskamp

  • Ericsson Deutschland GmbH, Herzogenrath, Germany

    Carsten Weise

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation