Exploring Topological Structure of Boolean Expressions for Test Data Selection. - Lian Yu; Wei Zhao 003; Xiangdong Fan; Jun Zhu (TASE, 2009)