TY - RPRT TI - Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks AU - Federico Formica AU - Tony Fan AU - Akshay Rajhans AU - Vera Pantelic AU - Mark Lawford AU - Claudio Menghi PY - 2022 UR - https://arxiv.org/abs/2212.11589 ID - 2212.11589 ER -