Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation.

Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro

Browse the full TASE paper archive.