International Journal on Software Tools for Technology Transfer

An overview of the MOP runtime verification framework
Introduction to the special section on runtime verification
Runtime verification of concurrency-specific correctness criteria
Software monitoring with controllable overhead
The Clara framework for hybrid typestate analysis
What can you verify and enforce at runtime?