STCG: State-Aware Test Case Generation for Simulink Models | IEEE Conference Publication | IEEE Xplore