↓ Skip to main content
What is this page? Embed badge

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

Overview of attention for book
Cover of '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'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Multi-paradigmatic Model-Based Testing
  3. Altmetric Badge
    Chapter 2 Aspects for Trace Monitoring
  4. Altmetric Badge
    Chapter 3 A Symbolic Framework for Model-Based Testing
  5. Altmetric Badge
    Chapter 4 A Test Calculus Framework Applied to Network Security Policies
  6. Altmetric Badge
    Chapter 5 Hybrid Input-Output Conformance and Test Generation
  7. Altmetric Badge
    Chapter 6 Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement
  8. Altmetric Badge
    Chapter 7 Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
  9. Altmetric Badge
    Chapter 8 Model-Based Testing of Thin-Client Web Applications
  10. Altmetric Badge
    Chapter 9 Synthesis of Scenario Based Test Cases from B Models
  11. Altmetric Badge
    Chapter 10 State-Identification Problems for Finite-State Transducers
  12. Altmetric Badge
    Chapter 11 Deterministic Dynamic Monitors for Linear-Time Assertions
  13. Altmetric Badge
    Chapter 12 Robustness of Temporal Logic Specifications
  14. Altmetric Badge
    Chapter 13 Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets
  15. Altmetric Badge
    Chapter 14 Dynamic Architecture Extraction
  16. Altmetric Badge
    Chapter 15 Safety Property Driven Test Generation from JML Specifications
  17. Altmetric Badge
    Chapter 16 Online Testing with Reinforcement Learning
Attention for Chapter 13: Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
26 Mendeley
Summary Dimensions citations
So far, Dimensions has found 6 publications that cite this research output.

6

The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.