TY  - RPRT
TI  - Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
AU  - Andrea Manini
AU  - Matteo Rossi
AU  - Pierluigi San Pietro
PY  - 2025
UR  - https://arxiv.org/abs/2503.04589
ID  - 2503.04589
ER  -