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 /

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Forma...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Havelund, Klaus (Editor), Núñez, Manuel (Editor), Roşu, Grigore (Editor), Wolff, Burkhart (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Series:Lecture Notes in Computer Science, 4262
Subjects:
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Management information systems.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Online Access:Full Text via HEAL-Link
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.

Similar Items