Methods and apparatus for monitoring program execution
作者： Robert W. O'Callahan , Simon Goldsmith
DOI:
关键词:
摘要: A technique for monitoring an execution of a program is provided. At least one relational query constructed and compiled into instrumentation. The instrumentation incorporated the or more results are output from as executes.
lens.org 参考文章(17)
Simon Goldsmith, Robert O'Callahan, Alex Aiken, Light-Weight Instrumentation From Relational Queries Over Program Traces Defense Technical Information Center. ,(2004) , 10.21236/ADA603315
John W. Starner, Some examples using the interval data type in the relational database model Reliable Computing. ,vol. 2, pp. 373- 381 ,(1996) , 10.1007/BF02389897
Raimondas Lencevicius, Urs Hölzle, Ambuj K. Singh, Dynamic Query-Based Debugging european conference on object oriented programming. pp. 135- 160 ,(1999) , 10.1007/3-540-48743-3_7
Moonjoo Kim, Sampath K. Kannan, Insup Lee, Information extraction for run-time formal analysis ,(2001)
David Notkin, Michael Dean Ernst, Dynamically discovering likely program invariants University of Washington. ,(2000)
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby, Expressing checkable properties of dynamic systems: the Bandera Specification Language International Journal on Software Tools for Technology Transfer. ,vol. 4, pp. 34- 56 ,(2002) , 10.1007/S100090200075
Oleg Sokolsky, Moonjoo Kim, Sampath Kannan, Mahesh Viswanathan, Insup Lee, Runtime Assurance Based On Formal Specifications parallel and distributed processing techniques and applications. pp. 279- 287 ,(1999)
Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold, An Overview of AspectJ ECOOP 2001 — Object-Oriented Programming. pp. 327- 354 ,(2001) , 10.1007/3-540-45337-7_18
Klaus Havelund, Grigore Roşu, Synthesizing Monitors for Safety Properties tools and algorithms for construction and analysis of systems. pp. 342- 356 ,(2002) , 10.1007/3-540-46002-0_24
Raimondas Lencevicius, Urs Hölzle, Ambuj K. Singh, Query-based debugging of object-oriented programs conference on object-oriented programming systems, languages, and applications. ,vol. 32, pp. 304- 317 ,(1997) , 10.1145/263698.263752