Krecorder: An Eclipse Plug-in Tool for Incremental Software Development. - Shaochun Xu; Xuhui Chen; Jianxin Mai (CCECE, 2006)