Test Generation for Simulink Models

UTRC, 2015-2016

Project funded by UTRC, Ireland.

Investigator: Thao Dang