First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
De som köpt den här boken har ofta också köpt Sound and Recording av Francis Rumsey (häftad).
Köp båda 2 för 1618 krInvited Talks.- Multi-paradigmatic Model-Based Testing.- Aspects for Trace Monitoring.- Regular Papers.- A Symbolic Framework for Model-Based Testing.- A Test Calculus Framework Applied to Network Security Policies.- Hybrid Input-Output Conformance and Test Generation.- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.- Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems.- Model-Based Testing of Thin-Client Web Applications.- Synthesis of Scenario Based Test Cases from B Models.- State-Identification Problems for Finite-State Transducers.- Deterministic Dynamic Monitors for Linear-Time Assertions.- Robustness of Temporal Logic Specifications.- Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.- Dynamic Architecture Extraction.- Safety Property Driven Test Generation from JML Specifications.- Online Testing with Reinforcement Learning.