Yu Chin Cheng Chien-Tsun Chen Chin-Yun Hsieh ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java. 502-509 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.55 db/conf/apsec/apsec2007.html#ChengCH07