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 BibTeX

Invited Talks

Wolfgang Grieskamp:
Multi-paradigmatic Model-Based Testing. 1-19
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX

Regular Papers

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse:
A Symbolic Framework for Model-Based Testing. 40-54
Electronic Edition (link) BibTeX
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier:
A Test Calculus Framework Applied to Network Security Policies. 55-69
Electronic Edition (link) BibTeX
Michiel van Osch:
Hybrid Input-Output Conformance and Test Generation. 70-84
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Cheng Li, Zhe Dang:
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems. 100-114
Electronic Edition (link) BibTeX
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
Model-Based Testing of Thin-Client Web Applications. 115-132
Electronic Edition (link) BibTeX
Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius:
Synthesis of Scenario Based Test Cases from B Models. 133-147
Electronic Edition (link) BibTeX
Moez Krichen, Stavros Tripakis:
State-Identification Problems for Finite-State Transducers. 148-162
Electronic Edition (link) BibTeX
Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar:
Deterministic Dynamic Monitors for Linear-Time Assertions. 163-177
Electronic Edition (link) BibTeX
Georgios E. Fainekos, George J. Pappas:
Robustness of Temporal Logic Specifications. 178-192
Electronic Edition (link) BibTeX
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. 193-208
Electronic Edition (link) BibTeX
Cormac Flanagan, Stephen N. Freund:
Dynamic Architecture Extraction. 209-224
Electronic Edition (link) BibTeX
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand:
Safety Property Driven Test Generation from. 225-239
Electronic Edition (link) BibTeX
Margus Veanes, Pritam Roy, Colin Campbell:
Online Testing with Reinforcement Learning. 240-253
Electronic Edition (link) BibTeX