Maciej Gazda和Robert M.Hierons：删除冗余拒绝：故障跟踪语义的最小完整测试套件。(2021) conf/lics/GazdaH21公司 10.1109/许可证5226.4021.94700737 删除冗余拒绝：故障跟踪语义的最小完整测试套件。 2 马西耶·加兹达 1 罗伯特·海伦斯 2 1月13日 低收入国家 低收入国家 2021 2021 dblp记录“conf/lics/GazdaH21”的RDF数据的来源信息 2021-10-14T09:50:17+0200