An Approach to Decomposing Assertions into Java Codes.

Tong Li, Hongji Yang, Baowen Xu, Liang Shi

Browse the full IKE paper archive.