ReP USP - Resultado da busca

Relatorio tecnico
Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída (2014)
Paiva, Sofia Larissa da Costa; Simão, Adenilso da Silva
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAIVA, Sofia Larissa da Costa e SIMÃO, Adenilso da Silva. Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída. . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/d5e48b1f-93a6-40af-b239-d83e1689535f/Relat%C3%B3rios%20T%C3%A9cnicos%20396_2014.pdf. Acesso em: 19 jun. 2024. , 2014
APA
Paiva, S. L. da C., & Simão, A. da S. (2014). Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída. São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/d5e48b1f-93a6-40af-b239-d83e1689535f/Relat%C3%B3rios%20T%C3%A9cnicos%20396_2014.pdf
NLM
Paiva SL da C, Simão A da S. Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída [Internet]. 2014 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/d5e48b1f-93a6-40af-b239-d83e1689535f/Relat%C3%B3rios%20T%C3%A9cnicos%20396_2014.pdf
Vancouver
Paiva SL da C, Simão A da S. Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída [Internet]. 2014 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/d5e48b1f-93a6-40af-b239-d83e1689535f/Relat%C3%B3rios%20T%C3%A9cnicos%20396_2014.pdf
Relatorio tecnico
An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods (2012)
Endo, André Takeshi; Simão, Adenilso da Silva
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ENDO, André Takeshi e SIMÃO, Adenilso da Silva. An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods. . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/42295613-9677-4afc-a38c-67c298543dfa/Relat%C3%B3rios%20T%C3%A9cnicos_378_2012.pdf. Acesso em: 19 jun. 2024. , 2012
APA
Endo, A. T., & Simão, A. da S. (2012). An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods. São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/42295613-9677-4afc-a38c-67c298543dfa/Relat%C3%B3rios%20T%C3%A9cnicos_378_2012.pdf
NLM
Endo AT, Simão A da S. An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods [Internet]. 2012 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/42295613-9677-4afc-a38c-67c298543dfa/Relat%C3%B3rios%20T%C3%A9cnicos_378_2012.pdf
Vancouver
Endo AT, Simão A da S. An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods [Internet]. 2012 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/42295613-9677-4afc-a38c-67c298543dfa/Relat%C3%B3rios%20T%C3%A9cnicos_378_2012.pdf
Relatorio tecnico
JPlavisFSM: manual de instruções (2012)
Pinheiro, Arineiza Cristina; Simão, Adenilso da Silva
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHEIRO, Arineiza Cristina e SIMÃO, Adenilso da Silva. JPlavisFSM: manual de instruções. . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/2028c6cf-55ef-48d6-9a84-bac02a795aa1/Relat%C3%B3rios%20T%C3%A9cnicos_379_2012.pdf. Acesso em: 19 jun. 2024. , 2012
APA
Pinheiro, A. C., & Simão, A. da S. (2012). JPlavisFSM: manual de instruções. São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/2028c6cf-55ef-48d6-9a84-bac02a795aa1/Relat%C3%B3rios%20T%C3%A9cnicos_379_2012.pdf
NLM
Pinheiro AC, Simão A da S. JPlavisFSM: manual de instruções [Internet]. 2012 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/2028c6cf-55ef-48d6-9a84-bac02a795aa1/Relat%C3%B3rios%20T%C3%A9cnicos_379_2012.pdf
Vancouver
Pinheiro AC, Simão A da S. JPlavisFSM: manual de instruções [Internet]. 2012 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/2028c6cf-55ef-48d6-9a84-bac02a795aa1/Relat%C3%B3rios%20T%C3%A9cnicos_379_2012.pdf
Relatorio tecnico
Formal testing approaches for service-oriented architectures and web services: a systematic review (2010)
Endo, André Takeshi; Simão, Adenilso da Silva
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ENDO, André Takeshi e SIMÃO, Adenilso da Silva. Formal testing approaches for service-oriented architectures and web services: a systematic review. . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/759918a6-be63-4571-88a9-8a6ceda984f6/Relat%C3%B3rio%20T%C3%A9cnico_348_2010.pdf. Acesso em: 19 jun. 2024. , 2010
APA
Endo, A. T., & Simão, A. da S. (2010). Formal testing approaches for service-oriented architectures and web services: a systematic review. São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/759918a6-be63-4571-88a9-8a6ceda984f6/Relat%C3%B3rio%20T%C3%A9cnico_348_2010.pdf
NLM
Endo AT, Simão A da S. Formal testing approaches for service-oriented architectures and web services: a systematic review [Internet]. 2010 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/759918a6-be63-4571-88a9-8a6ceda984f6/Relat%C3%B3rio%20T%C3%A9cnico_348_2010.pdf
Vancouver
Endo AT, Simão A da S. Formal testing approaches for service-oriented architectures and web services: a systematic review [Internet]. 2010 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/759918a6-be63-4571-88a9-8a6ceda984f6/Relat%C3%B3rio%20T%C3%A9cnico_348_2010.pdf
Relatorio tecnico
Comments on "On minimizing the lengths of checking sequences" (2007)
Simão, Adenilso da Silva
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva. Comments on "On minimizing the lengths of checking sequences". . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/4005ce2a-abcd-4416-8b1d-47f180b6e90e/Relat%C3%B3rio%20T%C3%A9cnico_307_2007.pdf. Acesso em: 19 jun. 2024. , 2007
APA
Simão, A. da S. (2007). Comments on "On minimizing the lengths of checking sequences". São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/4005ce2a-abcd-4416-8b1d-47f180b6e90e/Relat%C3%B3rio%20T%C3%A9cnico_307_2007.pdf
NLM
Simão A da S. Comments on "On minimizing the lengths of checking sequences" [Internet]. 2007 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/4005ce2a-abcd-4416-8b1d-47f180b6e90e/Relat%C3%B3rio%20T%C3%A9cnico_307_2007.pdf
Vancouver
Simão A da S. Comments on "On minimizing the lengths of checking sequences" [Internet]. 2007 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/4005ce2a-abcd-4416-8b1d-47f180b6e90e/Relat%C3%B3rio%20T%C3%A9cnico_307_2007.pdf
Relatorio tecnico
Vali_sync: um módulo para instrumentação e execução de testes temporais em programas paralelos (2006)
Camillo, Mário Santos; Simão, Adenilso da Silva ; Souza, Simone do Rocio Senger de
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAMILLO, Mário Santos e SIMÃO, Adenilso da Silva e SOUZA, Simone do Rocio Senger de. Vali_sync: um módulo para instrumentação e execução de testes temporais em programas paralelos. . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/ad362f7a-85fe-4ce1-a49a-6773943cf03a/relatorio_288.pdf. Acesso em: 19 jun. 2024. , 2006
APA
Camillo, M. S., Simão, A. da S., & Souza, S. do R. S. de. (2006). Vali_sync: um módulo para instrumentação e execução de testes temporais em programas paralelos. São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/ad362f7a-85fe-4ce1-a49a-6773943cf03a/relatorio_288.pdf
NLM
Camillo MS, Simão A da S, Souza S do RS de. Vali_sync: um módulo para instrumentação e execução de testes temporais em programas paralelos [Internet]. 2006 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/ad362f7a-85fe-4ce1-a49a-6773943cf03a/relatorio_288.pdf
Vancouver
Camillo MS, Simão A da S, Souza S do RS de. Vali_sync: um módulo para instrumentação e execução de testes temporais em programas paralelos [Internet]. 2006 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/ad362f7a-85fe-4ce1-a49a-6773943cf03a/relatorio_288.pdf
Relatorio tecnico
Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais (2006)
Cutigi, Jorge Francisco; Simão, Adenilso da Silva
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CUTIGI, Jorge Francisco e SIMÃO, Adenilso da Silva. Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais. . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/9c279b04-0503-4d48-9efc-e462b9264fbc/relatorio_286.pdf. Acesso em: 19 jun. 2024. , 2006
APA
Cutigi, J. F., & Simão, A. da S. (2006). Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais. São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/9c279b04-0503-4d48-9efc-e462b9264fbc/relatorio_286.pdf
NLM
Cutigi JF, Simão A da S. Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais [Internet]. 2006 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/9c279b04-0503-4d48-9efc-e462b9264fbc/relatorio_286.pdf
Vancouver
Cutigi JF, Simão A da S. Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais [Internet]. 2006 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/9c279b04-0503-4d48-9efc-e462b9264fbc/relatorio_286.pdf
Relatorio tecnico
Software product instrumentation description (2002)
Simão, Adenilso da Silva ; Vincenzi, Auri Marcelo Rizzo; Maldonado, José Carlos; Santana, Antonio Carlos Lima
Unidade: ICMC
Assunto: TESTE E AVALIAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva et al. Software product instrumentation description. . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/0e546437-4fab-4b15-bea2-ad01dc88c974/relatorio_157.pdf. Acesso em: 19 jun. 2024. , 2002
APA
Simão, A. da S., Vincenzi, A. M. R., Maldonado, J. C., & Santana, A. C. L. (2002). Software product instrumentation description. São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/0e546437-4fab-4b15-bea2-ad01dc88c974/relatorio_157.pdf
NLM
Simão A da S, Vincenzi AMR, Maldonado JC, Santana ACL. Software product instrumentation description [Internet]. 2002 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/0e546437-4fab-4b15-bea2-ad01dc88c974/relatorio_157.pdf
Vancouver
Simão A da S, Vincenzi AMR, Maldonado JC, Santana ACL. Software product instrumentation description [Internet]. 2002 ;[citado 2024 jun. 19 ] Available from: https://repositorio.usp.br/directbitstream/0e546437-4fab-4b15-bea2-ad01dc88c974/relatorio_157.pdf
Trabalho de evento-resumo
Proteum-RS/PN: 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)
Source: Anais. Conference titles: Simpósio de Teses e Dissertações. 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: ferramenta para a validação de redes de Petri baseada na análise de mutantes. 2000, Anais.. São Carlos: ICMC-USP, 2000. . Acesso em: 19 jun. 2024.
APA
Simão, A. da S. (2000). Proteum-RS/PN: ferramenta para a validação de redes de Petri baseada na análise de mutantes. In Anais. São Carlos: ICMC-USP.
NLM
Simão A da S. Proteum-RS/PN: ferramenta para a validação de redes de Petri baseada na análise de mutantes. Anais. 2000 ;[citado 2024 jun. 19 ]
Vancouver
Simão A da S. Proteum-RS/PN: ferramenta para a validação de redes de Petri baseada na análise de mutantes. Anais. 2000 ;[citado 2024 jun. 19 ]

USP Schools

ReP

Filtros

Authors

Date published