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