Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro. Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation. In Philipp Rümmer, Zhilin Wu, editors, Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings. Volume 15841 of Lecture Notes in Computer Science, pages 343-360, Springer, 2025. [doi]
Abstract is missing.