Optimizing monitoring of finite state properties through monitor compaction
Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum · 2013
Runtime monitoring has proven effective in detecting property violations, but it can incur high overhead when monitoring just a single property - particularly when the property relates multiple objects. In practice developers will likely monitor multiple properties in the same execution which will lead to even higher overhead.