2005 | ||
---|---|---|
2 | EE | 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) |
2002 | ||
1 | EE | Parker Abercrombie, Murat Karaorman: jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java. Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
1 | Murat Karaorman | [1] [2] |