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

Abstract

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.