Specifying automated oracles for Simulink models

2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications ◽

10.1109/rtcsa.2013.6732234 ◽

2013 ◽

Cited By ~ 3

Author(s):

Paulo A. Nardi ◽

Marcio E. Delamaro ◽

Luciano Baresi

Download Full-text