TY  - RPRT
TI  - Timed Model-Based Mutation Operators for Simulink Models
AU  - Jian Chen
AU  - Manar H. Alalfi
AU  - Thomas R. Dean
PY  - 2023
UR  - https://arxiv.org/abs/2301.00835
ID  - 2301.00835
ER  -