Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong. Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. In Sung Y. Shin, José Carlos Maldonado, editors, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. pages 1573-1578, ACM, 2013. [doi]
Abstract is missing.