马西耶·加兹达 罗伯特·海伦斯 删除冗余拒绝：故障跟踪语义的最小完整测试套件。 1-13 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470737 conf/lics/2021 db/conf/lics/lics2021.html#GazdaH21