. . . . . 《Maciej Gazda和Robert M.Hierons：删除冗余拒绝：故障跟踪语义的最小完整测试套件》（2021）。 . . _：ID_f923737ea073da8246cd36acd42b6603。_：ID_f923737ea073da8246cd36acd42b6603 ._：ID_f923737ea073da8246cd36acd42b6603 ._：ID_f923737ea073da8246cd36acd42b6603“conf/lics/GazdaH21”。 _：ID_9b075fce7e75067fc86444c42b108376。_：ID_9b075fce7e75067fc86444c42b108376 ._：ID_9b075fce7e75067fc86444c42b108376 ._：ID_9b075fce7e75067fc86444c42b108376“10.1109/LICS52264.2021.9470737”。 “删除冗余拒绝：故障跟踪语义的最小完整测试套件。”。 . . . "2"^^. _：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_1。_：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_1 ._：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_1“Maciej Gazda”。_：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_1 ._：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_1"1"^^._：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_1 . _：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_2。_：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_2 ._：信号_0f978b3bf02d5fc65d414e6a23e4eb47_2“罗伯特·M·海伦斯”。_：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_2 ._：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_2 ._：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_2"2"^^._：Sig_0f978b3bf02d5fc65d414e6a23e4eb47_2 . . . . "1-13" . “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录‘conf/lics/GazdaH21’的RDF数据的起源信息”。 . . . “2021-10-14T09:50:17+0200”。