比较通用布尔规范的基于故障的测试策略| IEEE会议出版物| IEEE Xplore