An Approach to Decomposing Assertions into Java Codes. - Li, Tong; Yang, Hongji; Xu, Baowen; Shi, Liang (2005)