This article gives an overview of the, monitoring oriented programming framework (MOP). In
MOP, runtime monitoring is supported and encouraged as a fundamental principle for …

Monitoring-Oriented Programming (MOP1)[21, 18, 22, 19] is a formal framework for software
development and analysis, in which the developer specifies desired properties using …

Smart contracts present new challenges for runtime verification techniques, due to features
such as immutability of the code and the notion of gas that must be paid for the execution of …

Abstract Evaluation methodology underpins all innovation in experimental computer
science. It requires relevant workloads, appropriate experimental design, and rigorous …

Java reflection has been widely used in a variety of applications and frameworks. It allows a
software system to inspect and change the behaviour of its classes, interfaces, methods, and …

Runtime verification can be used to find bugs early, during software development, by
monitoring test executions against formal specifications (specs). The quality of runtime …

Runtime verification (RV) is an approach to verification consisting in dynamically checking
that the event traces generated by single runs of a system under scrutiny (SUS) are …

A trace monitor observes an execution trace at runtime; when it recognises a specified
sequence of events, the monitor runs extra code. In the aspect-oriented programming …

This paper presents a static analysis of typestate-like temporal specifications of groups of
interacting objects, which are expressed using tracematches. Whereas typestate expresses …

Coping with software defects that occur in the post-deployment stage is a challenging
problem: bugs may occur only when the system uses a specific configuration and only under …