Optimal Test Case Generation for Simulink Models Using Slicing. - Zhenying Jiang; Xiao Wu; Zeqian Dong; Ming Mu (QRS Companion, 2017)