Test oracles for simulink-like models

Luciano Baresi, Marcio Delamaro, Paulo Nardi
2016 Automated Software Engineering : An International Journal  
doi:10.1007/s10515-016-0207-9 fatcat:d436nlhag5hpxmplx4m344fuz4