Tong Li, Hongji Yang, Baowen Xu, Liang Shi. An Approach to Decomposing Assertions into Java Codes. In Hamid R. Arabnia, Rose Joshua, editors, Proceedings of The 2005 International Conference on Information and Knowledge Engineering, IKE 2005, Las Vegas, Nevada, USA, June 20-23, 2005. pages 185-191, CSREA Press, 2005.
Abstract is missing.