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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Havelund, Klaus (Επιμελητής έκδοσης), Núñez, Manuel (Επιμελητής έκδοσης), Roşu, Grigore (Επιμελητής έκδοσης), Wolff, Burkhart (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4262
• Θέματα: 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.

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

Πίνακας περιεχομένων:

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