Paulo A. Nardi, Márcio Eduardo Delamaro, Luciano Baresi. Specifying automated oracles for Simulink models. In 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2013, Taipei, Taiwan, August 19-21, 2013. pages 330-333, IEEE, 2013. [doi]
Abstract is missing.