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

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

Paperback(2006)

$99.00
Choose Expedited Shipping at checkout for guaranteed delivery by Wednesday, January 23

Product Details

ISBN-13: 9783540496991
Publisher: Springer Berlin Heidelberg
Publication date: 01/19/2007
Series: Lecture Notes in Computer Science , #4262
Edition description: 2006
Pages: 255
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Invited 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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews