Researchers have developed a number of runtime verification tools that generate runtime
monitors in the form of AspectJ aspects. In this work, we present C lara, a novel framework to …

Clara is a novel static-analysis framework for partially evaluating finite-state runtime
monitors at compile time. Clara uses static typestate analyses to automatically convert any …

Finite-state properties account for an important class of program properties, typically related
to the order of operations invoked on objects. Many library implementations therefore …

A typestate property describes which operations are available on an object or a group of
inter-related objects, depending on this object's or group's internal state, the typestate …

Runtime verification is the discipline of analyzing program executions using rigorous
methods. The discipline covers such topics as specification-based monitoring, where single …

This paper presents jUnit RV as a tool extending the unit testing framework jUnit by runtime
verification capabilities. Roughly, jUnit RV provides a new annotation@ Monitors listing …

Runtime verification can effectively increase the reliability of software systems. In recent
years, parametric runtime verification has gained a lot of traction, with several systems …

Runtime monitoring has proven effective in detecting property violations, but it can incur high
overhead when monitoring just a single property-particularly when the property relates …

This tutorial presents an overview of the field referred as to runtime verification. Runtime
Verification is the study of algorithms, data structures, and tools focused on analyzing …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …