Specification and Error Pattern Based Program Monitoring (2001)
| Citations: | 6 - 4 self |
BibTeX
@MISC{Havelund01specificationand,
author = {Klaus Havelund and Scott Johnson and Grigore Rosu},
title = {Specification and Error Pattern Based Program Monitoring},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We briefly present Java PathExplorer (JPaX), a tool developed at NASA Ames for monitoring the execution of Java programs. JPaX can be used not only during program testing to reveal subtle errors, but also can be applied during operation to survey safety critical systems. The tool facilitates automated instrumentation of a program in order to properly observe its execution. The instrumentation can be either at the bytecode level or at the source level when the source code is available. JPaX is an instance of a more general project, called PathExplorer (PaX), which is a basis for experiments rather than a xed system, capable of monitoring various programming languages and experimenting with other logics and analysis techniques.
