Specifying automated oracles for Simulink models (2013)
- Authors:
- USP affiliated authors: DELAMARO, MÁRCIO EDUARDO - ICMC ; NARDI, PAULO AUGUSTO - ICMC
- Unidade: ICMC
- DOI: 10.1109/RTCSA.2013.6732234
- Subjects: SISTEMAS EMBUTIDOS; VALIDAÇÃO DE MODELOS
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Piscataway
- Date published: 2013
- Source:
- Título: Proceedings
- Conference titles: IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 23 jan. 2026. -
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.6732234 -
NLM
Nardi PA, Delamaro ME, Baresi L. Specifying automated oracles for Simulink models [Internet]. Proceedings. 2013 ;[citado 2026 jan. 23 ] Available from: https://doi.org/10.1109/RTCSA.2013.6732234 -
Vancouver
Nardi PA, Delamaro ME, Baresi L. Specifying automated oracles for Simulink models [Internet]. Proceedings. 2013 ;[citado 2026 jan. 23 ] Available from: https://doi.org/10.1109/RTCSA.2013.6732234 - On test oracles for Simulink-like models
- A systematic mapping study on high-level language virtual machines
- Reducing manual efforts in equivalence analysis in mutation testing
- Assessing the influence of multiple test case selection on mutation experiments
- Uma investigação inicial sobre a correlação entre defeitos de software simulados por mutantes e avisos relatados por uma ferramenta de análise estática
- Test data generation techniques for mutation testing: a systematic mapping
- A proposal of an integrated approach of software development and testing to distributed teams
- Apoio à automatização de oráculos de teste para programas com interfaces gráficas
- Geração de dados de testes para sistemas autoadaptativos usando técnicas baseadas em buscas
- Mitigating the effects of equivalent mutants with mutant classification strategies
Informações sobre o DOI: 10.1109/RTCSA.2013.6732234 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
