Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study.
SAC '13: SAC '13 Coimbra Portugal March, 2013(2013)
摘要
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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络