Time for Networks: Mutation Testing for Timed Automata Networks

D Cortés, J Ortiz, D Basile, J Aranda… - Proceedings of the …, 2024 - dl.acm.org
Mutation Testing (MT) is a technique employed to assess the efficacy of tests by introducing
artificial faults, known as mutations, into the system. The goal is to evaluate how well the …