Systematic mapping: formalization of uml semantics using temporal logic (2015)
- Autores:
- Autor USP: DELAMARO, MÁRCIO EDUARDO - ICMC
- Unidade: ICMC
- DOI: 10.5220/0005468704860493
- Assuntos: SISTEMAS DE INFORMAÇÃO; ENGENHARIA DE SOFTWARE
- Idioma: Inglês
- Imprenta:
- Editora: SciTePress
- Local: Lisboa
- Data de publicação: 2015
- Fonte:
- Título do periódico: Proceedings
- Nome do evento: International Conference on Enterprise Information Systems - ICEIS 2015
- Este periódico é de assinatura
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: hybrid
- Licença: cc-by-nc-nd
-
ABNT
PEREIRA, Vinícius e DELAMARO, Márcio Eduardo. Systematic mapping: formalization of uml semantics using temporal logic. 2015, Anais.. Lisboa: SciTePress, 2015. Disponível em: https://doi.org/10.5220/0005468704860493. Acesso em: 19 abr. 2024. -
APA
Pereira, V., & Delamaro, M. E. (2015). Systematic mapping: formalization of uml semantics using temporal logic. In Proceedings. Lisboa: SciTePress. doi:10.5220/0005468704860493 -
NLM
Pereira V, Delamaro ME. Systematic mapping: formalization of uml semantics using temporal logic [Internet]. Proceedings. 2015 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.5220/0005468704860493 -
Vancouver
Pereira V, Delamaro ME. Systematic mapping: formalization of uml semantics using temporal logic [Internet]. Proceedings. 2015 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.5220/0005468704860493 - Mutação de interface: um critério de adequação interprocedimental para o teste de integração
- Experimental evaluation of SDL and One-Op mutation for C
- Establishing theoretical minimal sets of mutants
- From formal results to UML model: a MDA tracing approach
- Reducing the cost of mutation testing using the semantic size of mutant
- Proteum/FL: a tool for localizing faults using mutation analysis
- An integrated approach of software development and test processes to distributed teams
- Avaliação da qualidade de oráculos de teste utilizando mutação
- Proteum - um ambiente de teste baseado na analise de mutantes
- Designing deletion mutation operators
Informações sobre o DOI: 10.5220/0005468704860493 (Fonte: oaDOI API)
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
