ReP USP - Resultado da busca

Dissertação (Mestrado)
Improving model learning by inferring separating sequences from traces (2023)
Braz, Rafael dos Santos; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAZ, Rafael dos Santos. Improving model learning by inferring separating sequences from traces. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012024-173035/. Acesso em: 01 nov. 2024.
APA
Braz, R. dos S. (2023). Improving model learning by inferring separating sequences from traces (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012024-173035/
NLM
Braz R dos S. Improving model learning by inferring separating sequences from traces [Internet]. 2023 ;[citado 2024 nov. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012024-173035/
Vancouver
Braz R dos S. Improving model learning by inferring separating sequences from traces [Internet]. 2023 ;[citado 2024 nov. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012024-173035/
Tese (Doutorado)
Computational approaches for the discovery of significant genes in cancer (2021)
Cutigi, Jorge Francisco; Evangelista, Adriane Feijó (Orientador); Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: BIOINFORMÁTICA, MUTAÇÃO GENÉTICA, NEOPLASIAS, ONCOLOGIA, APRENDIZADO COMPUTACIONAL, CARCINOGÊNESE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CUTIGI, Jorge Francisco. Computational approaches for the discovery of significant genes in cancer. 2021. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-18082021-100555/. Acesso em: 01 nov. 2024.
APA
Cutigi, J. F. (2021). Computational approaches for the discovery of significant genes in cancer (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-18082021-100555/
NLM
Cutigi JF. Computational approaches for the discovery of significant genes in cancer [Internet]. 2021 ;[citado 2024 nov. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-18082021-100555/
Vancouver
Cutigi JF. Computational approaches for the discovery of significant genes in cancer [Internet]. 2021 ;[citado 2024 nov. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-18082021-100555/
Tese (Doutorado)
Learning finite state machine models of evolving systems: From evolution over time to variability in space (2020)
Damasceno, Carlos Diego Nascimento; Mousavi, Mohammad Reza (Orientador); Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DAMASCENO, Carlos Diego Nascimento. Learning finite state machine models of evolving systems: From evolution over time to variability in space. 2020. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-02092020-091958/. Acesso em: 01 nov. 2024.
APA
Damasceno, C. D. N. (2020). Learning finite state machine models of evolving systems: From evolution over time to variability in space (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-02092020-091958/
NLM
Damasceno CDN. Learning finite state machine models of evolving systems: From evolution over time to variability in space [Internet]. 2020 ;[citado 2024 nov. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-02092020-091958/
Vancouver
Damasceno CDN. Learning finite state machine models of evolving systems: From evolution over time to variability in space [Internet]. 2020 ;[citado 2024 nov. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-02092020-091958/
Tese (Doutorado)
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (2020)
Rocha, Mauricio Rêgo Mota da; Simão, Adenilso da Silva (Orientador) ; Sousa, Thiago Carvalho de (Orientador)
Unidade: ICMC
Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Mauricio Rêgo Mota da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML. 2020. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/. Acesso em: 01 nov. 2024.
APA
Rocha, M. R. M. da. (2020). Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
NLM
Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2024 nov. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
Vancouver
Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2024 nov. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
Tese (Doutorado)
Formal mutation testing in Circus process algebra (2018)
Alberto, Alex D. B; Gauldel, Marie-Caude Antoinette Renée (coorient); Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALBERTO, Alex D. B. Formal mutation testing in Circus process algebra. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/. Acesso em: 01 nov. 2024.
APA
Alberto, A. D. B. (2018). Formal mutation testing in Circus process algebra (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
NLM
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
Vancouver
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
Tese (Doutorado)
Cross-project defect prediction with meta-Learning (2017)
Porto, Faimison Rodrigues; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: QUALIDADE DE SOFTWARE, ENGENHARIA DE SOFTWARE, SOFTWARES, APRENDIZADO COMPUTACIONAL, LINGUAGEM DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PORTO, Faimison Rodrigues. Cross-project defect prediction with meta-Learning. 2017. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21032018-163840/. Acesso em: 01 nov. 2024.
APA
Porto, F. R. (2017). Cross-project defect prediction with meta-Learning (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21032018-163840/
NLM
Porto FR. Cross-project defect prediction with meta-Learning [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21032018-163840/
Vancouver
Porto FR. Cross-project defect prediction with meta-Learning [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21032018-163840/
Tese (Doutorado)
Automatic generation of configurable test-suites for software product lines (2017)
Fragal, Vanderson Hafemann; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE, ENGENHARIA DE SISTEMAS DE COMPUTAÇÃO, GESTÃO DE PROJETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRAGAL, Vanderson Hafemann. Automatic generation of configurable test-suites for software product lines. 2017. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012019-085746/. Acesso em: 01 nov. 2024.
APA
Fragal, V. H. (2017). Automatic generation of configurable test-suites for software product lines (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012019-085746/
NLM
Fragal VH. Automatic generation of configurable test-suites for software product lines [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012019-085746/
Vancouver
Fragal VH. Automatic generation of configurable test-suites for software product lines [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10012019-085746/
Tese (Doutorado)
Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem (2017)
Oliveira, Ricardo Ramos de; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: COMPUTAÇÃO EM NUVEM, SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Ricardo Ramos de. Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem. 2017. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/. Acesso em: 01 nov. 2024.
APA
Oliveira, R. R. de. (2017). Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/
NLM
Oliveira RR de. Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/
Vancouver
Oliveira RR de. Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/
Dissertação (Mestrado)
Sistema para testes de stress em uma carteira de opções de moedas (2017)
Mello, Moreno Siqueira e; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: CÂMBIO (ECONOMIA), TEMPO-REAL, CARTEIRA DE CÂMBIO, SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELLO, Moreno Siqueira e. Sistema para testes de stress em uma carteira de opções de moedas. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/. Acesso em: 01 nov. 2024.
APA
Mello, M. S. e. (2017). Sistema para testes de stress em uma carteira de opções de moedas (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/
NLM
Mello MS e. Sistema para testes de stress em uma carteira de opções de moedas [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/
Vancouver
Mello MS e. Sistema para testes de stress em uma carteira de opções de moedas [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/
Dissertação (Mestrado)
Precificação de opções exóticas utilizando CUDA (2017)
Calderaro, Felipe Boteon; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: NÚMEROS ALGÉBRICOS, MÉTODO DE MONTE CARLO, PROGRAMAÇÃO PARALELA, POLÍTICA DE PREÇO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CALDERARO, Felipe Boteon. Precificação de opções exóticas utilizando CUDA. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/. Acesso em: 01 nov. 2024.
APA
Calderaro, F. B. (2017). Precificação de opções exóticas utilizando CUDA (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/
NLM
Calderaro FB. Precificação de opções exóticas utilizando CUDA [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/
Vancouver
Calderaro FB. Precificação de opções exóticas utilizando CUDA [Internet]. 2017 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/
Tese (Doutorado)
Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída (2016)
Paiva, Sofia Larissa da Costa; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE, LINGUAGEM DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAIVA, Sofia Larissa da Costa. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída. 2016. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/. Acesso em: 01 nov. 2024.
APA
Paiva, S. L. da C. (2016). Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/
NLM
Paiva SL da C. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída [Internet]. 2016 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/
Vancouver
Paiva SL da C. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída [Internet]. 2016 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/
Dissertação (Mestrado)
Avaliação de atributos de testabilidade para sistemas de suporte à decisão (2016)
Geromini, Marcos Fernando; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GEROMINI, Marcos Fernando. Avaliação de atributos de testabilidade para sistemas de suporte à decisão. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/. Acesso em: 01 nov. 2024.
APA
Geromini, M. F. (2016). Avaliação de atributos de testabilidade para sistemas de suporte à decisão (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/
NLM
Geromini MF. Avaliação de atributos de testabilidade para sistemas de suporte à decisão [Internet]. 2016 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/
Vancouver
Geromini MF. Avaliação de atributos de testabilidade para sistemas de suporte à decisão [Internet]. 2016 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/
Dissertação (Mestrado)
Evaluating finite state machine based testing methods on RBAC systems (2016)
Damasceno, Carlos Diego Nascimento; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: SOFTWARES, SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DAMASCENO, Carlos Diego Nascimento. Evaluating finite state machine based testing methods on RBAC systems. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11112016-101158/. Acesso em: 01 nov. 2024.
APA
Damasceno, C. D. N. (2016). Evaluating finite state machine based testing methods on RBAC systems (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11112016-101158/
NLM
Damasceno CDN. Evaluating finite state machine based testing methods on RBAC systems [Internet]. 2016 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11112016-101158/
Vancouver
Damasceno CDN. Evaluating finite state machine based testing methods on RBAC systems [Internet]. 2016 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11112016-101158/
Dissertação (Mestrado)
Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML (2014)
Pinheiro, Pedro Victor Pontes; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, ARQUITETURA ORIENTADA A SERVIÇOS, UML, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHEIRO, Pedro Victor Pontes. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/. Acesso em: 01 nov. 2024.
APA
Pinheiro, P. V. P. (2014). Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
NLM
Pinheiro PVP. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML [Internet]. 2014 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
Vancouver
Pinheiro PVP. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML [Internet]. 2014 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
Tese (Doutorado)
Model based testing of service oriented applications (2013)
Endo, André Takeshi; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE (DESENVOLVIMENTO;MODELOS), GRAFOS ALEATÓRIOS (SEQUÊNCIA), WORLD WIDE WEB (SERVIÇOS), LINGUAGEM DE PROGRAMAÇÃO, ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ENDO, André Takeshi. Model based testing of service oriented applications. 2013. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/. Acesso em: 01 nov. 2024.
APA
Endo, A. T. (2013). Model based testing of service oriented applications (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/
NLM
Endo AT. Model based testing of service oriented applications [Internet]. 2013 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/
Vancouver
Endo AT. Model based testing of service oriented applications [Internet]. 2013 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/
Dissertação (Mestrado)
Estratégia para geração de sequencias de verificação para máquinas de estados finitos (2013)
Porto, Faimison Rodrigues; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SOFTWARES (TESTES), MÉTODO DOS ELEMENTOS FINITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PORTO, Faimison Rodrigues. Estratégia para geração de sequencias de verificação para máquinas de estados finitos. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/. Acesso em: 01 nov. 2024.
APA
Porto, F. R. (2013). Estratégia para geração de sequencias de verificação 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-10072013-164922/
NLM
Porto FR. Estratégia para geração de sequencias de verificação para máquinas de estados finitos [Internet]. 2013 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/
Vancouver
Porto FR. Estratégia para geração de sequencias de verificação para máquinas de estados finitos [Internet]. 2013 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/
Dissertação (Mestrado)
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados (2012)
Pinheiro, Arineiza Cristina; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, LINGUAGEM DE PROGRAMAÇÃO, TESTE E AVALIAÇÃO DE SOFTWARE, SISTEMAS EMBUTIDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHEIRO, Arineiza Cristina. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/. Acesso em: 01 nov. 2024.
APA
Pinheiro, A. C. (2012). Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
NLM
Pinheiro AC. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados [Internet]. 2012 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
Vancouver
Pinheiro AC. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados [Internet]. 2012 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
Tese (Livre Docência)
Contribuições para o teste de software (2011)
Simão, Adenilso da Silva
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, LINGUAGEM DE PROGRAMAÇÃO, 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. Contribuições para o teste de software. 2011. Tese (Livre Docência) – Universidade de São Paulo, São Carlos, 2011. . Acesso em: 01 nov. 2024.
APA
Simão, A. da S. (2011). Contribuições para o teste de software (Tese (Livre Docência). Universidade de São Paulo, São Carlos.
NLM
Simão A da S. Contribuições para o teste de software. 2011 ;[citado 2024 nov. 01 ]
Vancouver
Simão A da S. Contribuições para o teste de software. 2011 ;[citado 2024 nov. 01 ]
Dissertação (Mestrado)
Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos (2010)
Ribeiro, Paulo Henrique; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, MÉTODO DOS ELEMENTOS FINITOS, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Paulo Henrique. Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012011-144153/. Acesso em: 01 nov. 2024.
APA
Ribeiro, P. H. (2010). Uma estratégia para geração de seqüências de verificação 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-19012011-144153/
NLM
Ribeiro PH. Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos [Internet]. 2010 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012011-144153/
Vancouver
Ribeiro PH. Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos [Internet]. 2010 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012011-144153/
Dissertação (Mestrado)
Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos (2010)
Cutigi, Jorge Francisco; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: SOFTWARES (DESENVOLVIMENTO;TESTES), ENGENHARIA DE SOFTWARE, LINGUAGEM DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CUTIGI, Jorge Francisco. Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16082010-142539/. Acesso em: 01 nov. 2024.
APA
Cutigi, J. F. (2010). Uma estratêgia para redução de conjuntos de seqüências 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-16082010-142539/
NLM
Cutigi JF. Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos [Internet]. 2010 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16082010-142539/
Vancouver
Cutigi JF. Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos [Internet]. 2010 ;[citado 2024 nov. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16082010-142539/

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Funding Agencies