Jerry Gao Wrihang Roberto Liang Radhika Chhabra Ramyashree Swamyo Ma Xiang Building Testable Components - a Systematic Approach and Its Experimental Study. 715-722 2008 SEKE conf/seke/2008 db/conf/seke/seke2008.html#GaoLCSX08