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

Published in: DAC (2023)

Keyphrases

real time
databases
control system
fault detection
test case generation
genetic algorithm
cooperative
object oriented