TY - RPRT TI - Mutation Testing of Simulink Cyber-Physical System Models: Challenges and Solutions in Practice AU - Murat Kavak AU - Onur Kilincceker AU - Serge Demeyer AU - Kevin Vandenbroucke AU - Halim Abdurrahman Ceylan PY - 2026 DO - 10.1145/3832783.3834529 UR - https://arxiv.org/abs/2608.24250 ID - 2608.24250 ER -