ReP USP - Resultado da busca

Dissertação (Mestrado)
Minimização de conjuntos de casos de teste para máquinas de estados finitos (2008)
Mello Neto, Lúcio Felippe de; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, TEMPO-REAL (SISTEMAS), ENGENHARIA DE SOFTWARE, MECÂNICA DOS FLUÍDOS COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELLO NETO, Lúcio Felippe de. Minimização de conjuntos de casos de teste para máquinas de estados finitos. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/. Acesso em: 22 jun. 2024.
APA
Mello Neto, L. F. de. (2008). Minimização de conjuntos de casos de teste para máquinas de estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/
NLM
Mello Neto LF de. Minimização de conjuntos de casos de teste para máquinas de estados finitos [Internet]. 2008 ;[citado 2024 jun. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/
Vancouver
Mello Neto LF de. Minimização de conjuntos de casos de teste para máquinas de estados finitos [Internet]. 2008 ;[citado 2024 jun. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/
Dissertação (Mestrado)
Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos (2008)
Endo, André Takeshi; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: WEB SITES (SERVIÇOS;COMPOSIÇÃO;TESTES), REDES DE PETRI (MÉTODOS), TESTE E AVALIAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ENDO, André Takeshi. Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21052008-111500/. Acesso em: 22 jun. 2024.
APA
Endo, A. T. (2008). Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21052008-111500/
NLM
Endo AT. Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos [Internet]. 2008 ;[citado 2024 jun. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21052008-111500/
Vancouver
Endo AT. Teste de composição de web services: uma estratégia baseada em um modelo de teste de programas paralelos [Internet]. 2008 ;[citado 2024 jun. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21052008-111500/
Tese (Doutorado)
Aplicaçao da análise de mutantes no contexto do teste e validação de redes de Petri coloridas (2004)
Simão, Adenilso da Silva ; Maldonado, José Carlos (Orientador)
Unidade: ICMC
Subjects: REDES DE PETRI (TÉCNICAS), TESTE E AVALIAÇÃO DE SOFTWARE, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva. Aplicaçao da análise de mutantes no contexto do teste e validação de redes de Petri coloridas. 2004. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13042005-152434/. Acesso em: 22 jun. 2024.
APA
Simão, A. da S. (2004). Aplicaçao da análise de mutantes no contexto do teste e validação de redes de Petri coloridas (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13042005-152434/
NLM
Simão A da S. Aplicaçao da análise de mutantes no contexto do teste e validação de redes de Petri coloridas [Internet]. 2004 ;[citado 2024 jun. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13042005-152434/
Vancouver
Simão A da S. Aplicaçao da análise de mutantes no contexto do teste e validação de redes de Petri coloridas [Internet]. 2004 ;[citado 2024 jun. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-13042005-152434/
Dissertação (Mestrado)
Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes (2000)
Simão, Adenilso da Silva ; Maldonado, José Carlos (Orientador)
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva. Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes. 2000. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2000. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/. Acesso em: 22 jun. 2024.
APA
Simão, A. da S. (2000). Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/
NLM
Simão A da S. Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes [Internet]. 2000 ;[citado 2024 jun. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/
Vancouver
Simão A da S. Proteum-RS/PN: uma ferramenta para a validação de Redes de Petri baseada na análise de mutantes [Internet]. 2000 ;[citado 2024 jun. 22 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/

USP Schools

ReP

Filtros

Subjects