Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study


We introduce SAGA, a general framework that combines monitoring and run-time assertion checking. SAGA integrates both data-flow and control flow properties of Java classes and interfaces in a single formalism. We evaluate the framework by conducting an industrial case study.

In Proc. 28th Symposium on Applied Computing (SAC’13). © ACM Press 2013.