ReP USP - Resultado da busca

Filtros : "VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE" "2018" Removido: "International Conference on Software Engineering and Formal Methods - SEFM" Limpar

Filtros

Sources
- produção científica (~1)
- teses e dissertações (~1)
Document Types
- tese (~1)
- trabalho de evento (~1)
Grau
- dissertação (mestrado) (~1)
USP Schools
- each (~1)
- ep (~1)
- icmc (~1)
Departament
- each-sin-86 (~1)
- icmc-ssc (~1)
Authors
- chaim, marcos lordello (~1)
- costa, rafael leme (~1)
- delamaro, márcio eduardo (~1)
- maldonado, josé carlos (~1)
- maruyama, newton (~1)
USP affiliated authors
- chaim, marcos lordello (~1)
- costa, rafael leme (~1)
- delamaro, márcio eduardo (~1)
- maldonado, josé carlos (~1)
Date published
- 2018 (~2)
Subjects
- verificação e validação de software (2)
- análise de mutantes (1)
- engenharia de software (1)
- qualidade de software (1)
- teste e avaliação de software (1)

Dissertação (Mestrado)
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo (2018)
Costa, Rafael Leme; Maruyama, Newton (Orientador)
Unidade: EP
Subjects: TRÁFEGO AÉREO, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Rafael Leme. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/. Acesso em: 01 dez. 2025.
APA
Costa, R. L. (2018). Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/
NLM
Costa RL. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2025 dez. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/
Vancouver
Costa RL. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2025 dez. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/
Trabalho de evento
Where are the minimal mutants? (2018)
Delamaro, Márcio Eduardo ; Chaim, Marcos Lordello ; Maldonado, José Carlos
Source: Proceedings. Conference titles: Simpósio Brasileiro de Engenharia de Software. Unidades: ICMC, EACH
Subjects: ENGENHARIA DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, QUALIDADE DE SOFTWARE, ANÁLISE DE MUTANTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELAMARO, Márcio Eduardo e CHAIM, Marcos Lordello e MALDONADO, José Carlos. Where are the minimal mutants? 2018, Anais.. New York, NY: ACM, 2018. Disponível em: https://doi.org/10.1145/3266237.3266241. Acesso em: 01 dez. 2025.
APA
Delamaro, M. E., Chaim, M. L., & Maldonado, J. C. (2018). Where are the minimal mutants? In Proceedings. New York, NY: ACM. doi:10.1145/3266237.3266241
NLM
Delamaro ME, Chaim ML, Maldonado JC. Where are the minimal mutants? [Internet]. Proceedings. 2018 ;[citado 2025 dez. 01 ] Available from: https://doi.org/10.1145/3266237.3266241
Vancouver
Delamaro ME, Chaim ML, Maldonado JC. Where are the minimal mutants? [Internet]. Proceedings. 2018 ;[citado 2025 dez. 01 ] Available from: https://doi.org/10.1145/3266237.3266241

Digital Library of Intellectual Production of Universidade de São Paulo 2012 - 2025