Due to the competitiveness of the computing industry, software developers are pressured to
quickly deliver new code releases. At the same time, operators are expected to update and …

Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which
is important for building sophisticated, aspect-based software engineering tools, such as …

Runtime verification aims to check whether an application executes its behaviour as
specified. Thereby the active execution trace of an application is checked in terms of the …

Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires
proper means for scoping aspects. Scoping issues are particularly crucial in a distributed …

Many profilers for virtual execution environments, such as the Java virtual machine (JVM),
are implemented with low‐level bytecode instrumentation techniques, which is tedious, error …

Dynamic updates to running programs improve development productivity and reduce
downtime of long-running applications. This feature is however severely limited in current …

Large, complex, rapidly evolving pieces of software such as operating systems are
notoriously difficult to prove correct. Developers instead describe expected behaviour …

Stateful aspects can react to the trace of a program execution; they can support modular
implementations of several crosscutting concerns like error detection, security, event …

In this paper we present a generic, mirror-based debugging architecture that supports
runtime visibility and traceability of aspect oriented (AO) software systems. Runtime visibility …

Many software-engineering tools for the Java Virtual Machine that perform some form of
dynamic program analysis, such as profilers or debuggers, are implemented with low-level …