Conferences in DBLP

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

1. Wolfgang Grieskamp
   Multi-paradigmatic Model-Based Testing. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:1-19 [Conf]
   
2. Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere
   Aspects for Trace Monitoring. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:20-39 [Conf]
   
3. Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
   A Symbolic Framework for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:40-54 [Conf]
   
4. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
   A Test Calculus Framework Applied to Network Security Policies. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:55-69 [Conf]
   
5. Michiel van Osch
   Hybrid Input-Output Conformance and Test Generation. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:70-84 [Conf]
   
6. Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain
   Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:85-99 [Conf]
   
7. Cheng Li, Zhe Dang
   Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:100-114 [Conf]
   
8. Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten
   Model-Based Testing of Thin-Client Web Applications. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:115-132 [Conf]
   
9. Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius
   Synthesis of Scenario Based Test Cases from B Models. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:133-147 [Conf]
   
10. Moez Krichen, Stavros Tripakis
    State-Identification Problems for Finite-State Transducers. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:148-162 [Conf]
    
11. Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
    Deterministic Dynamic Monitors for Linear-Time Assertions. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:163-177 [Conf]
    
12. Georgios E. Fainekos, George J. Pappas
    Robustness of Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:178-192 [Conf]
    
13. Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
    Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:193-208 [Conf]
    
14. Cormac Flanagan, Stephen N. Freund
    Dynamic Architecture Extraction. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:209-224 [Conf]
    
15. Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand
    Safety Property Driven Test Generation from. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:225-239 [Conf]
    
16. Margus Veanes, Pritam Roy, Colin Campbell
    Online Testing with Reinforcement Learning. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:240-253 [Conf]