Mop: an efficient and generic runtime verification framework

By Feng Chen, Grigore Roşu. Conference on Object-Oriented Programming Systems, Languages, and Applications, 2007

413 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/3b515ca722dc016e1bb1a422b338757f36e9134b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Martin Leucker
2. Christian Schallhart

In Computational Theory and Mathematics

1. Martin Leucker
2. Christian Schallhart

Citations in the corpus

• A brief account of runtime verification (2009, positive): “Monitoring-Oriented Programming (MOP) [18], proposed by Feng and Rosu, is a software development methodology, in which the developer specifies desired properties using a variety of (freely definable) specification formalisms, along with code to execute when properties are violated or validated.”