|
Conferences in DBLP
- Wolfgang Grieskamp
Multi-paradigmatic Model-Based Testing. [Citation Graph (0, 0)][DBLP] FATES/RV, 2006, pp:1-19 [Conf]
- 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]
- 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]
- 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]
- Michiel van Osch
Hybrid Input-Output Conformance and Test Generation. [Citation Graph (0, 0)][DBLP] FATES/RV, 2006, pp:70-84 [Conf]
- 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]
- 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]
- 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]
- 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]
- Moez Krichen, Stavros Tripakis
State-Identification Problems for Finite-State Transducers. [Citation Graph (0, 0)][DBLP] FATES/RV, 2006, pp:148-162 [Conf]
- 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]
- Georgios E. Fainekos, George J. Pappas
Robustness of Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP] FATES/RV, 2006, pp:178-192 [Conf]
- 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]
- Cormac Flanagan, Stephen N. Freund
Dynamic Architecture Extraction. [Citation Graph (0, 0)][DBLP] FATES/RV, 2006, pp:209-224 [Conf]
- 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]
- Margus Veanes, Pritam Roy, Colin Campbell
Online Testing with Reinforcement Learning. [Citation Graph (0, 0)][DBLP] FATES/RV, 2006, pp:240-253 [Conf]
|