related documents Evaluating model testing and model checking for finding requirements violations in Simulink models Conferences Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors Conferences