Clara: a framework for partially evaluating finite-state runtime monitors ahead of time

RV, pp. 183-197, 2010.

被引用49|引用|浏览11|来源
EI
关键词
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...更多

代码

数据

您的评分 :
0

 

标签
评论