Exploring topological structure of Boolean expressions for test data selectionYu LianZhao Weiet al.2009TASE 2009