5. FATES 2005:
Edinburgh,
UK
Wolfgang Grieskamp, Carsten Weise (Eds.):
Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3997 Springer 2006, ISBN 3-540-34454-3 
- 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
Last update Fri May 25 08:13:59 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
