Software testing research and practice -- Abstratc 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 schemes for agent coordination -- UML and concurrency -- 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 AS 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 equential 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 -- Using AsmL for runtime verification -- Modeling information services on the basis of ASM semantics -- Design the parlay call-control using ASMs -- Test case generation from AsmL specifications -- Teching 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 -- SM specification of database systems -- The computable kernel of ASM -- A non-standard approach to operational semantics -- Parallelism versus nondeterminism: on the semantics of abstract state machines

1. Machine theory -- Congresses