Mapping formal results back to uml semi-formal model (2015)
- Authors:
- Autor USP: DELAMARO, MÁRCIO EDUARDO - ICMC
- Unidade: ICMC
- DOI: 10.5220/0005372603200329
- Subjects: SISTEMAS DE INFORMAÇÃO; ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Publisher: SciTePress
- Publisher place: Lisboa
- Date published: 2015
- Source:
- Título: Proceedings
- Conference titles: International Conference on Enterprise Information Systems - ICEIS 2015
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
PEREIRA, Vinícius e BARESI, Luciano e DELAMARO, Márcio Eduardo. Mapping formal results back to uml semi-formal model. 2015, Anais.. Lisboa: SciTePress, 2015. Disponível em: https://doi.org/10.5220/0005372603200329. Acesso em: 01 abr. 2026. -
APA
Pereira, V., Baresi, L., & Delamaro, M. E. (2015). Mapping formal results back to uml semi-formal model. In Proceedings. Lisboa: SciTePress. doi:10.5220/0005372603200329 -
NLM
Pereira V, Baresi L, Delamaro ME. Mapping formal results back to uml semi-formal model [Internet]. Proceedings. 2015 ;[citado 2026 abr. 01 ] Available from: https://doi.org/10.5220/0005372603200329 -
Vancouver
Pereira V, Baresi L, Delamaro ME. Mapping formal results back to uml semi-formal model [Internet]. Proceedings. 2015 ;[citado 2026 abr. 01 ] Available from: https://doi.org/10.5220/0005372603200329 - 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
- 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
