SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models. - Manel Tekaya; Mohamed Taha Bennani; Nedra Ebdelli; Samir Ben Ahmed (FORTE, 2016)