JavaMOP Experiments

From FSL
Jump to: navigation, search

One critical issue in runtime verification is the monitoring overhead caused by monitors. We have evaluated the performance of the monitoring code generated by JavaMOP using the Dacapo benchmark and many monitoring-intensive properties (most of them are listed below in the online interface). Our evaluation shows that JavaMOP generates very efficient monitoring code, as can be seen below.

in Garbage Collection for Monitoring Parametric Properties, PLDI'11

in Efficient Formalism-Independent Monitoring of Parametric Properties, ASE'09

in Efficient Monitoring of Parametric Context-Free Patterns, ASE'08

Personal tools