Clara: a framework for partially evaluating finite-state runtime monitors ahead of time
RV, pp. 183-197, 2010.
program locationresidual monitorruntime monitoringresidual runtime monitorfull monitor更多(7+)
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present CLARA, a novel framework to statically optimize such monitoring aspects with respect to a given program under test. CLARA uses a sequence of increasingly precise static analyses to autom...更多