Runtime verification

Known as: Runtime validation, Verification 
Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Runtime verification is a monitoring technique to gain assurance about well-being of a program at run time. Most existing… (More)
Is this relevant?
2013
2013
The goal of runtime verification is to monitor the behavior of a system to check its conformance to a set of desirable logical… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
We present Adaptive Runtime Verification (ARV), a new approach to runtime verification in which overhead control, runtime… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2011
2011
The goal of runtime verification is to monitor the behavior of a system to check its conformance to a set of desirable logical… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification… (More)
  • figure 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a… (More)
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Monitoring-Oriented Programming (MOP1) [21, 18, 22, 19] is a formal framework for software development and analysis, in which the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Software testing is typically an ad-hoc process where human testers manually write test inputs and descriptions of expected test… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We present a rule-based framework for defining and implementing finite trace monitoring logics, including future and past time… (More)
Is this relevant?