Garbage collection for monitoring parametric properties
暂无分享,去创建一个
[1] Matthew B. Dwyer,et al. Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? , 2010, RV.
[2] Grigore Rosu,et al. Java-MOP: A Monitoring Oriented Programming Environment for Java , 2005, TACAS.
[3] Grigore Rosu,et al. Efficient Monitoring of Parametric Context-Free Patterns , 2008, ASE.
[4] Grigore Rosu,et al. Parametric Trace Slicing and Monitoring , 2009, TACAS.
[5] L.A. Smith,et al. A Parallel Java Grande Benchmark Suite , 2001, ACM/IEEE SC 2001 Conference (SC'01).
[6] Grigore Rosu,et al. Efficient Formalism-Independent Monitoring of Parametric Properties , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
[7] Volker Stolz,et al. Tracechecks: Defining Semantic Interfaces with Temporal Logic , 2006, SC@ETAPS.
[8] Grigore Rosu,et al. Dependent advice: a general approach to optimizing history-based aspects , 2009, AOSD '09.
[9] Ondrej Lhoták,et al. A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring , 2007, ECOOP.
[10] Volker Stolz,et al. Temporal Assertions using AspectJ , 2006, Electron. Notes Theor. Comput. Sci..
[11] Úlfar Erlingsson,et al. IRM enforcement of Java stack inspection , 2000, Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000.
[12] Ondrej Lhoták,et al. abc : An Extensible AspectJ Compiler , 2006, LNCS Trans. Aspect Oriented Softw. Dev..
[13] Howard Barringer,et al. Rule Systems for Run-time Monitoring: from Eagle to RuleR , 2010, J. Log. Comput..
[14] Grigore Rosu,et al. Mop: an efficient and generic runtime verification framework , 2007, OOPSLA.
[15] Pavel Avgustinov. Trace monitoring with free variables , 2009 .
[16] Marcelo d'Amorim,et al. Event-based runtime verification of java programs , 2005, ACM SIGSOFT Softw. Eng. Notes.
[17] Eran Yahav,et al. QVM: an efficient runtime for detecting defects in deployed systems , 2008, OOPSLA '08.
[18] Howard Barringer,et al. Rule Systems for Run-Time Monitoring: From Eagleto RuleR , 2007, RV.
[19] Ondrej Lhoták,et al. Adding trace matching with free variables to AspectJ , 2005, OOPSLA '05.
[20] Oege de Moor,et al. Making trace monitors feasible , 2007, OOPSLA.
[21] Robert E. Strom,et al. Typestate: A programming language concept for enhancing software reliability , 1986, IEEE Transactions on Software Engineering.
[22] Eric Bodden,et al. Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time , 2010, RV.
[23] Kevin W. Hamlen,et al. Aspect-oriented in-lined reference monitors , 2008, PLAS '08.
[24] Amer Diwan,et al. The DaCapo benchmarks: java benchmarking development and analysis , 2006, OOPSLA '06.
[25] Benjamin Livshits,et al. Finding application errors and security flaws using PQL: a program query language , 2005, OOPSLA '05.
[26] Alexander Aiken,et al. Relational queries over program traces , 2005, OOPSLA '05.
[27] William G. Griswold,et al. An Overview of AspectJ , 2001, ECOOP.