jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java. - Parker Abercrombie; Murat Karaorman (RV@FLoC, 2002)

jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation. - Murat Karaorman; Parker Abercrombie (Formal Methods Syst. Des., 2005)