W Chaaban, M Schwarz, B Batchuluun… - 2011 XXIII …, 2011 - ieeexplore.ieee.org
This paper is concerned with the design procedures of an automated testing tool, developed
in Matlab®/Simulink® environment, that performs software verification during runtime on a …