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
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 06 fev. 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 fev. 06 ] 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 fev. 06 ] 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 o DOI: 10.5220/0005372603200329 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
