Runtime error detection

Known as: Run-time checking

Runtime error detection is a software verification method that analyzes a software application as it is executes and reports defects that are…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

One of the most attractive features of untyped languages for programmers is the flexibility in term creation and manipulation…

2017

2014

Run-time assertion checking is one of the useful techniques for detecting faults, and can be applied during any program execution…

2012

Currently, security checks on Java Card applets are performed by a static verification process before executing an applet. A…

2007

of the PhD Thesis

2007

One of the goals of program verification is to show that a program conforms to a specification written in a formal logic…

2004

Speculative execution, such as control speculation or data speculation, is an effective way to improve program performance. Using…

2004

Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the…

1998

Introduction Embedded systems are like normal desktop systems in that they have functional requirements, that is, functions that…

1996

The authors discuss issues in designing run-time mechanisms for enhancing the dependability of safely-critical systems. Such…