Conferences in DBLP

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

1. Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
   Test Generation Based on Symbolic Specifications. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:1-15 [Conf]
   
2. Achim D. Brucker, Burkhart Wolff
   Symbolic Test Case Generation for Primitive Recursive Functions. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:16-32 [Conf]
   
3. David de Frutos-Escrig, Carlos Gregorio-Rodríguez
   Preserving Contexts for Soft Conformance Relation. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:33-48 [Conf]
   
4. Natalia López, Manuel Núñez, Ismael Rodríguez
   Testing of Symbolic-Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:49-63 [Conf]
   
5. Laura Brandán Briones, Ed Brinksma
   A Test Generation Framework for quiescent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:64-78 [Conf]
   
6. Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
   Online Testing of Real-time Systems Using Uppaal. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:79-94 [Conf]
   
7. Behzad Bordbar, Kozo Okano
   Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:95-109 [Conf]
   
8. Hyoung Seok Hong, Hasan Ural
   Using Model Checking for Reducing the Cost of Test Generation. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:110-124 [Conf]
   
9. Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson
   Specifying and Generating Test Cases Using Observer Automata. [Citation Graph (0, 0)][DBLP]
   FATES, 2004, pp:125-139 [Conf]
   
10. Thomas Arts, Koen Claessen, Hans Svensson
    Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:140-154 [Conf]
    
11. Gaoyan Xie, Zhe Dang
    An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:155-169 [Conf]
    
12. Alain Vouffo-Feudjio, Ina Schieferdecker
    Test Patterns with TTCN-3. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:170-179 [Conf]
    
13. Antal Wu-Hen-Chang, Dung Le Viet, Gabor Batori, Roland Gecse, Gyula Csopaki
    High-Level Restructuring of TTCN-3 Test Data. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:180-194 [Conf]
    
14. Kalpesh Kapoor, Jonathan P. Bowen
    Ordering Mutants to Minimise Test Effort in Mutation Testing. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:195-209 [Conf]
    
15. Hoijin Yoon, Eunhee Kim, Joo Young Seo, Byoungju Choi
    Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:210-224 [Conf]