Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors

Publication
Foundations of Software Engineering