From formal results to UML model: a MDA tracing approach (2016)
- Authors:
- Autor USP: DELAMARO, MÁRCIO EDUARDO - ICMC
- Unidade: ICMC
- Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
- Language: Inglês
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre, RS
- Date published: 2016
- Source:
- Título do periódico: Anais
- Conference titles: Workshop de Visualização, Evolução e Manutenção de Software - VEM
-
ABNT
PEREIRA, Vinícius e DURELLI, Rafael S. e DELAMARO, Márcio Eduardo. From formal results to UML model: a MDA tracing approach. 2016, Anais.. Porto Alegre, RS: SBC, 2016. Disponível em: http://cbsoft.org/articles/0000/1244/CBSoft2016-VEM.pdf. Acesso em: 24 abr. 2024. -
APA
Pereira, V., Durelli, R. S., & Delamaro, M. E. (2016). From formal results to UML model: a MDA tracing approach. In Anais. Porto Alegre, RS: SBC. Recuperado de http://cbsoft.org/articles/0000/1244/CBSoft2016-VEM.pdf -
NLM
Pereira V, Durelli RS, Delamaro ME. From formal results to UML model: a MDA tracing approach [Internet]. Anais. 2016 ;[citado 2024 abr. 24 ] Available from: http://cbsoft.org/articles/0000/1244/CBSoft2016-VEM.pdf -
Vancouver
Pereira V, Durelli RS, Delamaro ME. From formal results to UML model: a MDA tracing approach [Internet]. Anais. 2016 ;[citado 2024 abr. 24 ] Available from: http://cbsoft.org/articles/0000/1244/CBSoft2016-VEM.pdf - 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
- 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
- Criação de um pacote de experimentação para a avaliação de critérios de teste estruturais em produtos J2ME
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas