default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. FATES/RV 2006: Seattle, WA, USA
- Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff:
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-Peep 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-04 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
