Testing Real-Time Systems With Runtime Enforcement

This paper enables the testing of real-time systems through runtime enforcement that can realize different test scenarios with specific internal timed behaviors.
—Tulika Mitra, National University of Singapore

—Jürgen Teich, University of Erlangen-Nürnberg

—Lothar Thiele, Swiss Federal Institute of Technology, Zurich