Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna 0001. Error Finding in Real-Time Systems using Mutants of Temporal Properties. In 40th International Conference of the Chilean Computer Science Society, SCCC 2021, La Serena, Chile, November 15-19, 2021. pages 1-8, IEEE, 2021. [doi]
Abstract is missing.