Timed Model-Based Mutation Operators for Simulink Models.

Jian Chen, Manar H. Alalfi, Thomas R. Dean

Browse the full ICST paper archive.