TY - RPRT TI - An Empirical Evaluation of White-box and Black-box Test Case Prioritization Techniques in CPSs Modeled in Simulink AU - Aitor Arrieta PY - 2025 UR - https://arxiv.org/abs/2504.10313 ID - 2504.10313 ER -