Aspect-Oriented Test Case Generation from Matlab/Simulink Models. - Manel Tekaya; Mohamed Taha Bennani; Mohamed Abidi Alagui; Samir Ben Ahmed (DepCoS-RELCOMEX, 2015)