ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java.

Yu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh

Browse the full APSEC paper archive.