ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java - Cheng, Yu Chin; Chen, Chien-Tsun; Hsieh, Chin-Yun (14th Asia-Pacific Software Engineering Conference (APSEC'07), Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, 2007)