STCG: State-Aware Test Case Generation for Simulink Models.

Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang

Browse the full DAC paper archive.