Automatização de oráculos de teste para o processamento de imagens médicas de modelos tridimensionais (2016)
- Authors:
- Autor USP: DELAMARO, MÁRCIO EDUARDO - ICMC
- Unidade: ICMC
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Keywords: teste de software; oráculos de teste; redes vasculares sintéticas tridimensionais
- Language: Inglês
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre, RS
- Date published: 2016
- Source:
- Título: Anais
- Conference titles: Workshop de Teses e Dissertações do CBSoft - WTDSoft 2016
-
ABNT
COSTA JÚNIOR, Misael e DURELLI, Rafael S. e DELAMARO, Márcio Eduardo. Automatização de oráculos de teste para o processamento de imagens médicas de modelos tridimensionais. 2016, Anais.. Porto Alegre, RS: SBC, 2016. Disponível em: http://cbsoft.org/articles/0000/1243/CBSoft2016-WTDSoft.pdf. Acesso em: 07 fev. 2026. -
APA
Costa Júnior, M., Durelli, R. S., & Delamaro, M. E. (2016). Automatização de oráculos de teste para o processamento de imagens médicas de modelos tridimensionais. In Anais. Porto Alegre, RS: SBC. Recuperado de http://cbsoft.org/articles/0000/1243/CBSoft2016-WTDSoft.pdf -
NLM
Costa Júnior M, Durelli RS, Delamaro ME. Automatização de oráculos de teste para o processamento de imagens médicas de modelos tridimensionais [Internet]. Anais. 2016 ;[citado 2026 fev. 07 ] Available from: http://cbsoft.org/articles/0000/1243/CBSoft2016-WTDSoft.pdf -
Vancouver
Costa Júnior M, Durelli RS, Delamaro ME. Automatização de oráculos de teste para o processamento de imagens médicas de modelos tridimensionais [Internet]. Anais. 2016 ;[citado 2026 fev. 07 ] Available from: http://cbsoft.org/articles/0000/1243/CBSoft2016-WTDSoft.pdf - What to expect of predicates: an empirical analysis of predicates in real world programs
- Proteum - um ambiente de teste baseado na analise de mutantes
- Criação de um pacote de experimentação para a avaliação de critérios de teste estruturais em produtos J2ME
- ATMM uma ferramenta para gerenciamento de métricas de teste no contexto de métodos ágeis
- Mutant subsumption graphs
- Designing deletion mutation operators
- Strong mutation-based test data generation using hill climbing
- Mapping formal results back to uml semi-formal model
- A viability study of an integrated approach of software development and test to distributed teams
- An experimental comparison of edge, edge-pair, and prime path criteria
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
