ReP USP - Resultado da busca

Artigo de periodico
Improving regression testing performance using the adaptive resonance theory-2A self-organising neural network architecture (2008)
Simão, Adenilso da Silva ; Mello, Rodrigo Fernandes de; Senger, Luciano José; Yang, Laurence Tianruo
Source: International Journal of Autonomous and Adaptive Communications Systems. Unidade: ICMC
Subjects: SISTEMAS DISTRIBUÍDOS, PROGRAMAÇÃO CONCORRENTE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva et al. Improving regression testing performance using the adaptive resonance theory-2A self-organising neural network architecture. International Journal of Autonomous and Adaptive Communications Systems, v. 1, n. 3, p. 370-385, 2008Tradução . . Disponível em: https://doi.org/10.1504/ijaacs.2008.019811. Acesso em: 01 nov. 2024.
APA
Simão, A. da S., Mello, R. F. de, Senger, L. J., & Yang, L. T. (2008). Improving regression testing performance using the adaptive resonance theory-2A self-organising neural network architecture. International Journal of Autonomous and Adaptive Communications Systems, 1( 3), 370-385. doi:10.1504/ijaacs.2008.019811
NLM
Simão A da S, Mello RF de, Senger LJ, Yang LT. Improving regression testing performance using the adaptive resonance theory-2A self-organising neural network architecture [Internet]. International Journal of Autonomous and Adaptive Communications Systems. 2008 ; 1( 3): 370-385.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1504/ijaacs.2008.019811
Vancouver
Simão A da S, Mello RF de, Senger LJ, Yang LT. Improving regression testing performance using the adaptive resonance theory-2A self-organising neural network architecture [Internet]. International Journal of Autonomous and Adaptive Communications Systems. 2008 ; 1( 3): 370-385.[citado 2024 nov. 01 ] Available from: https://doi.org/10.1504/ijaacs.2008.019811
Trabalho de evento
A tool for structural testing of MPI programs (2007)
Hausen, Alexandre Ceolin; Vergílio, Sílvia Regina; Souza, Simone do Rocio Senger de ; Souza, Paulo Sérgio Lopes de ; Simão, Adenilso da Silva
Source: Proceedings. Conference titles: IEEE Latin-American TestWorkshop - LATW. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, SISTEMAS DISTRIBUÍDOS, PROGRAMAÇÃO CONCORRENTE, TESTE E AVALIAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HAUSEN, Alexandre Ceolin et al. A tool for structural testing of MPI programs. 2007, Anais.. Cuzco: IEEE Computer Society, 2007. . Acesso em: 01 nov. 2024.
APA
Hausen, A. C., Vergílio, S. R., Souza, S. do R. S. de, Souza, P. S. L. de, & Simão, A. da S. (2007). A tool for structural testing of MPI programs. In Proceedings. Cuzco: IEEE Computer Society.
NLM
Hausen AC, Vergílio SR, Souza S do RS de, Souza PSL de, Simão A da S. A tool for structural testing of MPI programs. Proceedings. 2007 ;[citado 2024 nov. 01 ]
Vancouver
Hausen AC, Vergílio SR, Souza S do RS de, Souza PSL de, Simão A da S. A tool for structural testing of MPI programs. Proceedings. 2007 ;[citado 2024 nov. 01 ]
Trabalho de evento
Addressing separation of concerns in software engineering environments (2007)
Nakagawa, Elisa Yumi ; Simão, Adenilso da Silva ; Maldonado, José Carlos
Source: Proceedings. Conference titles: IASTED International Multi-Conference: Software Engineering - IASTED-SE. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, PROCESSO DE SOFTWARE, ARQUITETURA DE SOFTWARE, SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAGAWA, Elisa Yumi e SIMÃO, Adenilso da Silva e MALDONADO, José Carlos. Addressing separation of concerns in software engineering environments. 2007, Anais.. Anaheim, CA, EUA: Acta Press, 2007. . Acesso em: 01 nov. 2024.
APA
Nakagawa, E. Y., Simão, A. da S., & Maldonado, J. C. (2007). Addressing separation of concerns in software engineering environments. In Proceedings. Anaheim, CA, EUA: Acta Press.
NLM
Nakagawa EY, Simão A da S, Maldonado JC. Addressing separation of concerns in software engineering environments. Proceedings. 2007 ;[citado 2024 nov. 01 ]
Vancouver
Nakagawa EY, Simão A da S, Maldonado JC. Addressing separation of concerns in software engineering environments. Proceedings. 2007 ;[citado 2024 nov. 01 ]
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/4005ce2a-abcd-4416-8b1d-47f180b6e90e/Relat%C3%B3rio%20T%C3%A9cnico_307_2007.pdf
Trabalho de evento
Aplicação de teste estrutural para programas multithreads baseados em semáforos (2007)
Sarmanho, Felipe; Souza, Paulo Sérgio Lopes de ; Souza, Simone do Rocio Senger de ; Simão, Adenilso da Silva
Source: [Proceedings]. Conference titles: International Symposium on Computer Architecture and High Performance Computing. Unidade: ICMC
Subjects: SISTEMAS DISTRIBUÍDOS, PROGRAMAÇÃO CONCORRENTE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SARMANHO, Felipe et al. Aplicação de teste estrutural para programas multithreads baseados em semáforos. 2007, Anais.. Porto Alegre: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2007. . Acesso em: 01 nov. 2024.
APA
Sarmanho, F., Souza, P. S. L. de, Souza, S. do R. S. de, & Simão, A. da S. (2007). Aplicação de teste estrutural para programas multithreads baseados em semáforos. In [Proceedings]. Porto Alegre: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Sarmanho F, Souza PSL de, Souza S do RS de, Simão A da S. Aplicação de teste estrutural para programas multithreads baseados em semáforos. [Proceedings]. 2007 ;[citado 2024 nov. 01 ]
Vancouver
Sarmanho F, Souza PSL de, Souza S do RS de, Simão A da S. Aplicação de teste estrutural para programas multithreads baseados em semáforos. [Proceedings]. 2007 ;[citado 2024 nov. 01 ]
Artigo de periodico
Muta-Pro (2006)
Vincenzi, Auri Marcelo Rizzo; Simão, Adenilso da Silva ; Delamaro, Márcio Eduardo ; Maldonado, José Carlos
Source: Journal of the Brazilian Computer Society. 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
VINCENZI, Auri Marcelo Rizzo et al. Muta-Pro. Journal of the Brazilian Computer Society, v. 12, n. 3, p. 49-61, 2006Tradução . . Acesso em: 01 nov. 2024.
APA
Vincenzi, A. M. R., Simão, A. da S., Delamaro, M. E., & Maldonado, J. C. (2006). Muta-Pro. Journal of the Brazilian Computer Society, 12( 3), 49-61.
NLM
Vincenzi AMR, Simão A da S, Delamaro ME, Maldonado JC. Muta-Pro. Journal of the Brazilian Computer Society. 2006 ; 12( 3): 49-61.[citado 2024 nov. 01 ]
Vancouver
Vincenzi AMR, Simão A da S, Delamaro ME, Maldonado JC. Muta-Pro. Journal of the Brazilian Computer Society. 2006 ; 12( 3): 49-61.[citado 2024 nov. 01 ]
Trabalho de evento
ValiMPI (2006)
Hausen, Alexandre Ceolin; Vergílio, Sílvia Regina; Souza, Simone do Rocio Senger de ; Souza, Paulo Sérgio Lopes de ; Simão, Adenilso da Silva
Source: Anais. Conference titles: Simposio Brasileiro de Engenharia de Software. 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
HAUSEN, Alexandre Ceolin et al. ValiMPI. 2006, Anais.. Florianópolis: SBC, 2006. . Acesso em: 01 nov. 2024.
APA
Hausen, A. C., Vergílio, S. R., Souza, S. do R. S. de, Souza, P. S. L. de, & Simão, A. da S. (2006). ValiMPI. In Anais. Florianópolis: SBC.
NLM
Hausen AC, Vergílio SR, Souza S do RS de, Souza PSL de, Simão A da S. ValiMPI. Anais. 2006 ;[citado 2024 nov. 01 ]
Vancouver
Hausen AC, Vergílio SR, Souza S do RS de, Souza PSL de, Simão A da S. ValiMPI. Anais. 2006 ;[citado 2024 nov. 01 ]
Trabalho de evento
Conformance testing by model checking timed extended finite state machines (2006)
Bonifacio, Adilson L; Moura, Arnaldo Vieira; Simão, Adenilso da Silva ; Maldonado, José Carlos
Source: Proceedings. Conference titles: Brazilian Symposium on formal Methods. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BONIFACIO, Adilson L et al. Conformance testing by model checking timed extended finite state machines. 2006, Anais.. Natal: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2006. . Acesso em: 01 nov. 2024.
APA
Bonifacio, A. L., Moura, A. V., Simão, A. da S., & Maldonado, J. C. (2006). Conformance testing by model checking timed extended finite state machines. In Proceedings. Natal: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Bonifacio AL, Moura AV, Simão A da S, Maldonado JC. Conformance testing by model checking timed extended finite state machines. Proceedings. 2006 ;[citado 2024 nov. 01 ]
Vancouver
Bonifacio AL, Moura AV, Simão A da S, Maldonado JC. Conformance testing by model checking timed extended finite state machines. Proceedings. 2006 ;[citado 2024 nov. 01 ]
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/ad362f7a-85fe-4ce1-a49a-6773943cf03a/relatorio_288.pdf
Trabalho de evento
Multidisciplinaridade com o uso de jogos eletrônicos (2006)
Simão, Adenilso da Silva ; Sousa, Elaine Parros Machado de ; Monaco, Francisco José ; Martimiano, Luciana A. F.
Source: Anais. Conference titles: Congresso da SBC. Unidade: ICMC
Subjects: JOGOS ELETRÔNICOS, 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 et al. Multidisciplinaridade com o uso de jogos eletrônicos. 2006, Anais.. Campo Grande: SBC, 2006. . Acesso em: 01 nov. 2024.
APA
Simão, A. da S., Sousa, E. P. M. de, Monaco, F. J., & Martimiano, L. A. F. (2006). Multidisciplinaridade com o uso de jogos eletrônicos. In Anais. Campo Grande: SBC.
NLM
Simão A da S, Sousa EPM de, Monaco FJ, Martimiano LAF. Multidisciplinaridade com o uso de jogos eletrônicos. Anais. 2006 ;[citado 2024 nov. 01 ]
Vancouver
Simão A da S, Sousa EPM de, Monaco FJ, Martimiano LAF. Multidisciplinaridade com o uso de jogos eletrônicos. Anais. 2006 ;[citado 2024 nov. 01 ]
Trabalho de evento
A technique to reduce the test case suites for regression testing based on a self-organizing neural network architecture (2006)
Simão, Adenilso da Silva ; Mello, Rodrigo Fernandes de; Senger, Luciano José
Source: Proceedings. Conference titles: Annual International Computer Software and Applications Conference. 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 e MELLO, Rodrigo Fernandes de e SENGER, Luciano José. A technique to reduce the test case suites for regression testing based on a self-organizing neural network architecture. 2006, Anais.. [S.l.]: IEEE Computer Society, 2006. . Acesso em: 01 nov. 2024.
APA
Simão, A. da S., Mello, R. F. de, & Senger, L. J. (2006). A technique to reduce the test case suites for regression testing based on a self-organizing neural network architecture. In Proceedings. IEEE Computer Society.
NLM
Simão A da S, Mello RF de, Senger LJ. A technique to reduce the test case suites for regression testing based on a self-organizing neural network architecture. Proceedings. 2006 ;[citado 2024 nov. 01 ]
Vancouver
Simão A da S, Mello RF de, Senger LJ. A technique to reduce the test case suites for regression testing based on a self-organizing neural network architecture. Proceedings. 2006 ;[citado 2024 nov. 01 ]
Artigo de periodico
Muta-Pro: towards the definition of a mutation testing process (2006)
Vincenzi, Auri Marcelo Rizzo; Delamaro, Márcio Eduardo ; Simão, Adenilso da Silva ; Maldonado, José Carlos
Source: Journal of the Brazilian Computer Society. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VINCENZI, Auri Marcelo Rizzo et al. Muta-Pro: towards the definition of a mutation testing process. Journal of the Brazilian Computer Society, v. 12, n. 2, p. 49-61, 2006Tradução . . Disponível em: https://www.scielo.br/j/jbcos/i/2006.v12n2/. Acesso em: 01 nov. 2024.
APA
Vincenzi, A. M. R., Delamaro, M. E., Simão, A. da S., & Maldonado, J. C. (2006). Muta-Pro: towards the definition of a mutation testing process. Journal of the Brazilian Computer Society, 12( 2), 49-61. Recuperado de https://www.scielo.br/j/jbcos/i/2006.v12n2/
NLM
Vincenzi AMR, Delamaro ME, Simão A da S, Maldonado JC. Muta-Pro: towards the definition of a mutation testing process [Internet]. Journal of the Brazilian Computer Society. 2006 ; 12( 2): 49-61.[citado 2024 nov. 01 ] Available from: https://www.scielo.br/j/jbcos/i/2006.v12n2/
Vancouver
Vincenzi AMR, Delamaro ME, Simão A da S, Maldonado JC. Muta-Pro: towards the definition of a mutation testing process [Internet]. Journal of the Brazilian Computer Society. 2006 ; 12( 2): 49-61.[citado 2024 nov. 01 ] Available from: https://www.scielo.br/j/jbcos/i/2006.v12n2/
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: 01 nov. 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 nov. 01 ] 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 nov. 01 ] Available from: https://repositorio.usp.br/directbitstream/9c279b04-0503-4d48-9efc-e462b9264fbc/relatorio_286.pdf
Trabalho de evento
Desenvolvimento de jogos eletrônicos no ensino de computação: um caso de sucesso (2005)
Monaco, Francisco José ; Simão, Adenilso da Silva ; Sousa, Elaine Parros Machado de ; Martimiano, Luciana Andréia Fondazzi; Monaco, Fabíola
Source: Anais. Conference titles: Workshop de Jogos na Educação. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MONACO, Francisco José et al. Desenvolvimento de jogos eletrônicos no ensino de computação: um caso de sucesso. 2005, Anais.. [S.l.]: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2005. . Acesso em: 01 nov. 2024.
APA
Monaco, F. J., Simão, A. da S., Sousa, E. P. M. de, Martimiano, L. A. F., & Monaco, F. (2005). Desenvolvimento de jogos eletrônicos no ensino de computação: um caso de sucesso. In Anais. Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Monaco FJ, Simão A da S, Sousa EPM de, Martimiano LAF, Monaco F. Desenvolvimento de jogos eletrônicos no ensino de computação: um caso de sucesso. Anais. 2005 ;[citado 2024 nov. 01 ]
Vancouver
Monaco FJ, Simão A da S, Sousa EPM de, Martimiano LAF, Monaco F. Desenvolvimento de jogos eletrônicos no ensino de computação: um caso de sucesso. Anais. 2005 ;[citado 2024 nov. 01 ]
Trabalho de evento
Sim/CPN: a web-based simulator for coloured petri nets (2005)
Simão, Adenilso da Silva ; Maldonado, José Carlos
Source: Anais. Conference titles: Sessão de Ferramentas. 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 e MALDONADO, José Carlos. Sim/CPN: a web-based simulator for coloured petri nets. 2005, Anais.. [S.l.]: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2005. . Acesso em: 01 nov. 2024.
APA
Simão, A. da S., & Maldonado, J. C. (2005). Sim/CPN: a web-based simulator for coloured petri nets. In Anais. Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Simão A da S, Maldonado JC. Sim/CPN: a web-based simulator for coloured petri nets. Anais. 2005 ;[citado 2024 nov. 01 ]
Vancouver
Simão A da S, Maldonado JC. Sim/CPN: a web-based simulator for coloured petri nets. Anais. 2005 ;[citado 2024 nov. 01 ]
Trabalho de evento
ValiPar: a testing tool for message-passing parallel programs (2005)
Souza, Simone do Rocio Senger de ; Vergílio, Sílvia Regina; Souza, Paulo Sérgio Lopes de ; Simão, Adenilso da Silva ; Gonçalves, Thiago Blicosque; Lima, Alexandre de Melo; Hausen, Alexandre Ceolin
Source: Proceedings. Conference titles: International Conference on Software Engineering & Knowledge Engineering. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Simone do Rocio Senger de et al. ValiPar: a testing tool for message-passing parallel programs. 2005, Anais.. Illinois: UND/Tung Hai University, 2005. . Acesso em: 01 nov. 2024.
APA
Souza, S. do R. S. de, Vergílio, S. R., Souza, P. S. L. de, Simão, A. da S., Gonçalves, T. B., Lima, A. de M., & Hausen, A. C. (2005). ValiPar: a testing tool for message-passing parallel programs. In Proceedings. Illinois: UND/Tung Hai University.
NLM
Souza S do RS de, Vergílio SR, Souza PSL de, Simão A da S, Gonçalves TB, Lima A de M, Hausen AC. ValiPar: a testing tool for message-passing parallel programs. Proceedings. 2005 ;[citado 2024 nov. 01 ]
Vancouver
Souza S do RS de, Vergílio SR, Souza PSL de, Simão A da S, Gonçalves TB, Lima A de M, Hausen AC. ValiPar: a testing tool for message-passing parallel programs. Proceedings. 2005 ;[citado 2024 nov. 01 ]
Trabalho de evento
Plavis/FSM: an environment to integrate FSM-based testing tools (2005)
Simão, Adenilso da Silva ; Ambrósio, Ana Maria; Fabbri, Sandra Camargo Pinto Ferraz; Amaral, Ana Silva Martins Serra do Amaral; Martins, Eliane; Maldonado, José Carlos
Source: Anais. Conference titles: Sessão de Ferramentas. 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 et al. Plavis/FSM: an environment to integrate FSM-based testing tools. 2005, Anais.. [S.l.]: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2005. . Acesso em: 01 nov. 2024.
APA
Simão, A. da S., Ambrósio, A. M., Fabbri, S. C. P. F., Amaral, A. S. M. S. do A., Martins, E., & Maldonado, J. C. (2005). Plavis/FSM: an environment to integrate FSM-based testing tools. In Anais. Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Simão A da S, Ambrósio AM, Fabbri SCPF, Amaral ASMS do A, Martins E, Maldonado JC. Plavis/FSM: an environment to integrate FSM-based testing tools. Anais. 2005 ;[citado 2024 nov. 01 ]
Vancouver
Simão A da S, Ambrósio AM, Fabbri SCPF, Amaral ASMS do A, Martins E, Maldonado JC. Plavis/FSM: an environment to integrate FSM-based testing tools. Anais. 2005 ;[citado 2024 nov. 01 ]

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Source title

Publisher

Conference titles

Normalized affiliation

Non normalized affiliation