Partially Evaluating Finite-State Runtime Monitors Ahead of Time
ACM Trans. Program. Lang. Syst., ArticleNo.7, 2012.
program locationruntime monitoringresidual monitorlarge-scale java programfull monitorMore(7+)
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
Full Text (Upload PDF)
PPT (Upload PPT)