Buch, Englisch, Band 4262, 255 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 417 g
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Buch, Englisch, Band 4262, 255 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 417 g
Reihe: Programming and Software Engineering
ISBN: 978-3-540-49699-1
Verlag: Springer Berlin Heidelberg
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
Weitere Infos & Material
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.