删除冗余拒绝:故障跟踪语义的最小完整测试套件| IEEE会议出版物| IEEE Xplore