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: 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: 10 nov. 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 nov. 10 ] 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 nov. 10 ] Available from: http://cbsoft.org/articles/0000/1244/CBSoft2016-VEM.pdf - 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
- Mutação de interface: um critério de adequação interprocedimental para o teste de integração
- A systematic mapping study on high-level language virtual machines
- What to expect of predicates: an empirical analysis of predicates in real world programs
- Uma investigação inicial sobre a correlação entre defeitos de software simulados por mutantes e avisos relatados por uma ferramenta de análise estática
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
