An overview of the MOP runtime verification framework
PON Meredith, D **, D Griffith, F Chen… - International Journal on …, 2012 - Springer
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 …
MOP, runtime monitoring is supported and encouraged as a fundamental principle for …
Mop: an efficient and generic runtime verification framework
F Chen, G Roşu - Proceedings of the 22nd annual ACM SIGPLAN …, 2007 - dl.acm.org
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 …
development and analysis, in which the developer specifies desired properties using …
A contextual approach towards more accurate duplicate bug report detection
A Alipour, A Hindle, E Stroulia - 2013 10th Working Conference …, 2013 - ieeexplore.ieee.org
Bug-tracking and issue-tracking systems tend to be populated with bugs, issues, or tickets
written by a wide variety of bug reporters, with different levels of training and knowledge …
written by a wide variety of bug reporters, with different levels of training and knowledge …
LARVA---safer monitoring of real-time java programs (Tool Paper)
The use of runtime verification, as a lightweight approach to guarantee properties of
systems, has been increasingly employed on real-life software. In this paper, we present the …
systems, has been increasingly employed on real-life software. In this paper, we present the …
[HTML][HTML] Uncertainty in runtime verification: A survey
Runtime Verification can be defined as a collection of formal methods for studying the
dynamic evaluation of execution traces against formal specifications. Aside from creating a …
dynamic evaluation of execution traces against formal specifications. Aside from creating a …
Rule-based runtime verification revisited
K Havelund - International Journal on Software Tools for Technology …, 2015 - Springer
Runtime verification (RV) consists in part of checking execution traces against user-provided
formalized specifications. Throughout the last decade many new systems have emerged …
formalized specifications. Throughout the last decade many new systems have emerged …
JavaMOP: Efficient parametric runtime monitoring framework
D **, PON Meredith, C Lee… - 2012 34th International …, 2012 - ieeexplore.ieee.org
Runtime monitoring is a technique usable in all phases of the software development cycle,
from initial testing, to debugging, to actually maintaining proper function in production code …
from initial testing, to debugging, to actually maintaining proper function in production code …
Dynamic event-based runtime monitoring of real-time and contextual properties
Given the intractability of exhaustively verifying software, the use of runtime-verification, to
verify single execution paths at runtime, is becoming popular. Although the use of runtime …
verify single execution paths at runtime, is becoming popular. Although the use of runtime …
RV-Monitor: Efficient parametric runtime verification with simultaneous properties
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 …
years, parametric runtime verification has gained a lot of traction, with several systems …
A staged static program analysis to improve the performance of runtime monitoring
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of
events occurs during program execution. Our work is based on tracematches, an extension …
events occurs during program execution. Our work is based on tracematches, an extension …