Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,943,450 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
AspectJ
Design marker
Dynamic program analysis
Formal verification
Expand
Broader (2)
Formal methods
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Runtime Verification of Expected Energy Consumption in Smartphones
Ana Rosario Espada
,
M. Gallardo
,
Alberto Salmerón
,
P. Merino
SPIN
2015
Corpus ID: 26249461
Smartphones connected to Internet should work properly for days without a reset. One of the most critical non-functional…
Expand
2014
2014
Parallelized Runtime Verification of First-order LTL Specifications
R. Medhat
,
Yogi Joshi
,
B. Bonakdarpour
,
S. Fischmeister
2014
Corpus ID: 16798844
Runtime verification is an effective automated method for specification-based offline testing and analysis as well as online…
Expand
2013
2013
A Simple and Efficient Framework for Detection of SQL Injection Attack
W. Win
,
Hnin Hnin Htun
2013
Corpus ID: 56040003
Web applications have become an integral part of the daily life. One of the most serious types of attack against web applications…
Expand
2013
2013
Methods for Reducing Monitoring Overhead in Runtime Verification
Chunhan Wu
2013
Corpus ID: 55559651
Runtime verification is a lightweight technique that serves to complement existing approaches, such as formal methods and testing…
Expand
2012
2012
A fault-location technique for Java implementations of algebraic specifications
Filipe Luís
,
I. Nunes
2012
Corpus ID: 55299926
Executing comprehensive test suits allows programmers to strengthen the confidence on their software systems. However, given some…
Expand
2011
2011
Active Program Analysis Using Rule-Based Modification and Aspectation
S. M. Babamir
2011
Corpus ID: 55468365
Active programs behave based on occurrence of events and therefore they facilitate capturing events and states. The active system…
Expand
2009
2009
Resource-Bounded Runtime Verification of Java Programs with Real-Time Properties
C. Colombo
,
Gordon J. Pace
,
G. Schneider
2009
Corpus ID: 14293626
Given the intractability of exhaustively verifying software, the use of runtime verification, to verify single execution paths at…
Expand
2008
2008
Focus on Isabelle : From Specification to Verification ?
M. Spichkova
2008
Corpus ID: 3138340
This approach introduces a coupling of a specification framework with a verification system. Given a system, represented in a…
Expand
2007
2007
07011 Executive Summary -- Runtime Verification
B. Finkbeiner
,
K. Havelund
,
Grigore Roşu
,
O. Sokolsky
Runtime Verification
2007
Corpus ID: 41011031
From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 A¢â‚¬EœRuntime VerificationA¢â‚¬â„¢ was held in the International…
Expand
2005
2005
Software safety: current status and future direction
P. Bhansali
SOEN
2005
Corpus ID: 7079060
This paper describes the current status of software safety in terms of research and existing standards. It highlights the…
Expand