Monitoring Dynamical Signals While Testing Timed Aspects of a System

Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen. Monitoring Dynamical Signals While Testing Timed Aspects of a System. In Burkhart Wolff, Fatiha Zaïdi, editors, Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings. Volume 7019 of Lecture Notes in Computer Science, pages 115-130, Springer, 2011. [doi]

Abstract

Abstract is missing.