目次

Invited Papers.- Software Testing Research and Practice.- Abstract State Processes.- Recent Advances in Refinement.- Partial Updates Exploration II.- Experiments with Test Case Generation and Runtime Analysis.- A Framework for Proving Contract-Equipped Classes.- Mobile UNITY Schemas for Agent Coordination.- UML and Concurrency.- Research Papers.- A Unified Formal Specification and Analysis of the New Java Memory Models.- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes.- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines.- The Hidden Computation Steps of Turbo Abstract State Machines.- Using Spin to Generate Tests from ASM Specifications.- Interfacing ASM with the MDG Tool.- ASMs versus Natural Semantics: A Comparison with New Insights.- Quantum Computing and Abstract State Machines.- Consistent Integration for Sequential Abstract State Machines.- Deciding the Verification Problem for Abstract State Machines.- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions.- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.- Extended Abstracts.- Using AsmL for Runtime Verification.- Modeling Information Services on the Basis of ASM Semantics.- Designing the Parlay Call-Control Using ASMs.- Test Case Generation from AsmL Specifications.- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education.- Using ASM Specifications for Compiler Testing.- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction.- AsmL Specification of a Ptolemy II Scheduler.- ASM Specification of Database Systems.- The Computable Kernel of ASM.- A Non-standard Approach to Operational Semantics for Timed Systems.- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines.