jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation

Murat Karaorman, Parker Abercrombie. jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation. Formal Methods in System Design, 27(3):275-312, 2005. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: