Mutant subsumption graphs (2014)
- Authors:
- Autor USP: DELAMARO, MÁRCIO EDUARDO - ICMC
- Unidade: ICMC
- DOI: 10.1109/ICSTW.2014.20
- Subjects: SISTEMAS DE INFORMAÇÃO; ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Publisher: IEEE Computer Society
- Publisher place: Los Alamitos, California
- Date published: 2014
- ISBN: 9780769551944
- Source:
- Título: Proceedings
- Conference titles: IEEE International Conference on Software Testing, Verification, and Validation Workshops - ICSTW
- Status:
- Artigo possui versão em acesso aberto em repositório (Green Open Access)
- Versão do Documento:
- Versão submetida (Pré-print)
- Acessar versão aberta:
-
ABNT
KURTZ, Bob et al. Mutant subsumption graphs. 2014, Anais.. Los Alamitos, California: IEEE Computer Society, 2014. Disponível em: https://doi.org/10.1109/ICSTW.2014.20. Acesso em: 01 abr. 2026. -
APA
Kurtz, B., Ammann, P., Delamaro, M. E., Offutt, J., & Deng, L. (2014). Mutant subsumption graphs. In Proceedings. Los Alamitos, California: IEEE Computer Society. doi:10.1109/ICSTW.2014.20 -
NLM
Kurtz B, Ammann P, Delamaro ME, Offutt J, Deng L. Mutant subsumption graphs [Internet]. Proceedings. 2014 ;[citado 2026 abr. 01 ] Available from: https://doi.org/10.1109/ICSTW.2014.20 -
Vancouver
Kurtz B, Ammann P, Delamaro ME, Offutt J, Deng L. Mutant subsumption graphs [Internet]. Proceedings. 2014 ;[citado 2026 abr. 01 ] Available from: https://doi.org/10.1109/ICSTW.2014.20 - 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
- 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
- Automatização de oráculos de teste para o processamento de imagens médicas de modelos tridimensionais
- An experimental comparison of edge, edge-pair, and prime path criteria
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
