IEEE - Institute of Electrical and Electronics Engineers, Inc. - Runtime Verification with Multi-valued Formula Rewriting

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)

Author(s): Lin Zhao ; Tao Tang ; Jinzhao Wu ; Tianhua Xu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2010
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 25 August 2010
Page(s): 77 - 86
ISBN (Paper): 978-1-4244-7847-7
DOI: 10.1109/TASE.2010.13
Regular:

Runtime verification is a promising method that tries to bridge the gap between formal methods and traditional testing. In this paper, we present an improved runtime verification method via... View More

Advertisement