IEEE - Institute of Electrical and Electronics Engineers, Inc. - Instrumentation of intermediate code for runtime verification

Proceedings. 28th Annual NASA Goddard Software Engineering Workshop

Author(s): A.Q. Gates ; O. Mondragon ; M. Payne ; S. Roach
Sponsor(s): IEEE Comput. Soc. Tech. Council of Software Eng. (TCSE)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2003
Conference Location: Greenbelt, MD, USA, USA
Conference Date: 3 December 2003
Page Count: 6
Page(s): 66 - 71
ISBN (Paper): 0-7695-2064-2
DOI: 10.1109/SEW.2003.1270727
Regular:

Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program execution. The... View More

Advertisement