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

Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong

Browse the full SAC paper archive.