hybrid systems, using the international standard 'Formal Methods in Conformance
Testing'FMCT. We propose a novel test coverage measure for these systems, which is
defined using the star discrepancy notion. This coverage measure is used to quantify the
validation 'completeness'. It is also used to guide input stimulus generation by identifying the
portions of the system behaviors that are not adequately examined. We then propose a test …