Test oracles for simulink-like models

Luciano Baresi, Márcio Eduardo Delamaro, Paulo A. Nardi. Test oracles for simulink-like models. Automated Software Engineering, 24(2):369-391, 2017. [doi]

Abstract

Abstract is missing.