Specifying automated oracles for Simulink models.

Paulo Augusto Nardi, Mrcio Eduardo Delamaro, Luciano Baresi

Browse the full RTCSA paper archive.