Building Testable Components - a Systematic Approach and Its Experimental Study. - Jerry Gao 002; Wrihang Roberto Liang; Radhika Chhabra; Ramyashree Swamyo; Ma Xiang (SEKE, 2008)