6. FATES/RV 2006:
Seattle, WA, USA
Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (Eds.):
Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers.
Lecture Notes in Computer Science 4262 Springer 2006, ISBN 3-540-49699-8 
Invited Talks
- Wolfgang Grieskamp:
Multi-paradigmatic Model-Based Testing.
1-19
- 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.
20-39
Regular Papers
- Lars Frantzen, Jan Tretmans, Tim A. C. Willemse:
A Symbolic Framework for Model-Based Testing.
40-54
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier:
A Test Calculus Framework Applied to Network Security Policies.
55-69
- Michiel van Osch:
Hybrid Input-Output Conformance and Test Generation.
70-84
- Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain:
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.
85-99
- Cheng Li, Zhe Dang:
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems.
100-114
- Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
Model-Based Testing of Thin-Client Web Applications.
115-132
- Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius:
Synthesis of Scenario Based Test Cases from B Models.
133-147
- Moez Krichen, Stavros Tripakis:
State-Identification Problems for Finite-State Transducers.
148-162
- Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar:
Deterministic Dynamic Monitors for Linear-Time Assertions.
163-177
- Georgios E. Fainekos, George J. Pappas:
Robustness of Temporal Logic Specifications.
178-192
- Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.
193-208
- Cormac Flanagan, Stephen N. Freund:
Dynamic Architecture Extraction.
209-224
- Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand:
Safety Property Driven Test Generation from.
225-239
- Margus Veanes, Pritam Roy, Colin Campbell:
Online Testing with Reinforcement Learning.
240-253
Last update Fri May 24 02:33:26 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
