Benchmarks used in the experiments are reported here
É. André, P. Arcaini, A. Gargantini, and M. Radavelli. Repairing Timed Automata Clock Guards through Abstraction and Testing. In Proceedings of the 13th International Conference on Tests and Proofs (TAP 2019). [doi]