Lian Yu Wei Zhao Xiangdong Fan Jun Zhu Exploring Topological Structure of Boolean Expressions for Test Data Selection. 267-274 2009 TASE http://dx.doi.org/10.1109/TASE.2009.52 conf/tase/2009 db/conf/tase/tase2009.html#YuZFZ09