5. FATES 2005: Edinburgh, UK

• Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova:
  Simulated Time for Testing Railway Interlockings with TTCN-3. 1-15
  
• Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara:
  Model-Based Testing Through a GUI. 16-31
  
• Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes:
  Play to Test. 32-46
  
• Antti Huima:
  A Note on an Anomaly in Black-Box Testing. 47-61
  
• Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu:
  A Novel Test Coverage Metric for Concurrently-Accessed Software Components. 62-71
  
• Johannes Mayer:
  Adaptive Random Testing by Bisection and Localization. 72-86
  
• Achim D. Brucker, Burkhart Wolff:
  Interactive Testing with HOL-TestGen. 87-102
  
• Manuel Núñez, Ismael Rodríguez:
  Conformance Testing Relations for Timed Systems. 103-117
  
• Alexandre Petrenko, Nina Yevtushenko:
  Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. 118-133
  
• Marcin Jurdzinski, Doron Peled, Hongyang Qu:
  Calculating Probabilities of Real-Time Test Cases. 134-151
  
• Doron Peled, Hongyang Qu:
  Time Unbalanced Partial Order. 152-169
  
• Gaoyan Xie, Zhe Dang:
  Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach. 170-186
  
• Sergey V. Zelenov, Sophia A. Zelenova:
  Automated Generation of Positive and Negative Tests for Parsers. 187-202
  
• Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre:
  Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. 203-217