Specifying automated oracles for Simulink models (2013)
Nardi, Paulo Augusto 
; Delamaro, Márcio Eduardo ; Baresi, Luciano
Source: Proceedings. Conference titles: IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. Unidade: ICMC
Subjects: SISTEMAS EMBUTIDOS, VALIDAÇÃO DE MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NARDI, Paulo Augusto e DELAMARO, Márcio Eduardo e BARESI, Luciano. Specifying automated oracles for Simulink models. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/RTCSA.2013.6732234. Acesso em: 20 nov. 2024.APA
Nardi, P. A., Delamaro, M. E., & Baresi, L. (2013). Specifying automated oracles for Simulink models. In Proceedings. Piscataway: IEEE. doi:10.1109/RTCSA.2013.6732234NLM
Nardi PA, Delamaro ME, Baresi L. Specifying automated oracles for Simulink models [Internet]. Proceedings. 2013 ;[citado 2024 nov. 20 ] Available from: https://doi.org/10.1109/RTCSA.2013.6732234Vancouver
Nardi PA, Delamaro ME, Baresi L. Specifying automated oracles for Simulink models [Internet]. Proceedings. 2013 ;[citado 2024 nov. 20 ] Available from: https://doi.org/10.1109/RTCSA.2013.6732234
