Conferences in DBLP

International Workshop on Formal Approaches to Testing of Software (fates)
2005 (conf/fates/2005)

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