Partially Evaluating Finite-State Runtime Monitors Ahead of Time

ACM Trans. Program. Lang. Syst., ArticleNo.7, 2012.

Cited by: 18|Bibtex|Views10|Links
EI
Keywords:
program locationruntime monitoringresidual monitorlarge-scale java programfull monitorMore(7+)

Abstract:

Finite-state properties account for an important class of program properties, typically related to the order of operations invoked on objects. Many library implementations therefore include manually written finite-state monitors to detect violations of finite-state properties at runtime. Researchers have recently proposed the explicit spe...More

Code:

Data:

Your rating :
0

 

Tags
Comments