ReP USP - Resultado da busca

Trabalho de evento
A generalized model-based test generation method (2008)
Bonifácio, Adilson Luiz; Moura, Arnaldo Vieira; Simão, Adenilso da Silva
Source: Proceedings. Conference titles: IEEE International Conference on Software Engineering and Formal Methods. 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
BONIFÁCIO, Adilson Luiz e MOURA, Arnaldo Vieira e SIMÃO, Adenilso da Silva. A generalized model-based test generation method. 2008, Anais.. Los Alamitos: IEEE Computer Society, 2008. Disponível em: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008'. Acesso em: 05 out. 2024.
APA
Bonifácio, A. L., Moura, A. V., & Simão, A. da S. (2008). A generalized model-based test generation method. In Proceedings. Los Alamitos: IEEE Computer Society. Recuperado de http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008'
NLM
Bonifácio AL, Moura AV, Simão A da S. A generalized model-based test generation method [Internet]. Proceedings. 2008 ;[citado 2024 out. 05 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008'
Vancouver
Bonifácio AL, Moura AV, Simão A da S. A generalized model-based test generation method [Internet]. Proceedings. 2008 ;[citado 2024 out. 05 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4685779&isYear=2008'
Trabalho de evento-anais periodico
ValiPVM - a graphical tool for structural testing of PVM programs (2008)
Souza, Paulo Sérgio Lopes de ; Sawabe, Eduardo T.; Simão, Adenilso da Silva ; Vergílio, Sílvia Regina; Souza, Simone do Rocio Senger de
Source: Lecture Notes in Computer Science. Conference titles: European PVM/MPI User's Group Meeting. 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
SOUZA, Paulo Sérgio Lopes de et al. ValiPVM - a graphical tool for structural testing of PVM programs. Lecture Notes in Computer Science. Heidelberger: Springer. Disponível em: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf. Acesso em: 05 out. 2024. , 2008
APA
Souza, P. S. L. de, Sawabe, E. T., Simão, A. da S., Vergílio, S. R., & Souza, S. do R. S. de. (2008). ValiPVM - a graphical tool for structural testing of PVM programs. Lecture Notes in Computer Science. Heidelberger: Springer. Recuperado de http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
NLM
Souza PSL de, Sawabe ET, Simão A da S, Vergílio SR, Souza S do RS de. ValiPVM - a graphical tool for structural testing of PVM programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5205 257-264.[citado 2024 out. 05 ] Available from: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
Vancouver
Souza PSL de, Sawabe ET, Simão A da S, Vergílio SR, Souza S do RS de. ValiPVM - a graphical tool for structural testing of PVM programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5205 257-264.[citado 2024 out. 05 ] Available from: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
Artigo de periodico
Towards deriving test sequences by model checking (2008)
Bonifácio, Adilson Luiz; Moura, Arnaldo Vieira; Simão, Adenilso da Silva ; Maldonado, José Carlos
Source: Eletronic Notes in Theoretical Computer Science. 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
BONIFÁCIO, Adilson Luiz et al. Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science, v. 195, p. 21-40, 2008Tradução . . Acesso em: 05 out. 2024.
APA
Bonifácio, A. L., Moura, A. V., Simão, A. da S., & Maldonado, J. C. (2008). Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science, 195, 21-40.
NLM
Bonifácio AL, Moura AV, Simão A da S, Maldonado JC. Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science. 2008 ; 195 21-40.[citado 2024 out. 05 ]
Vancouver
Bonifácio AL, Moura AV, Simão A da S, Maldonado JC. Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science. 2008 ; 195 21-40.[citado 2024 out. 05 ]
Trabalho de evento-anais periodico
Generating checking sequences for partial finite state machines (2008)
Simão, Adenilso da Silva ; Petrenko, Alexandre
Source: Lecture Notes in Computer Science. Conference titles: International Conference, TestCom 2008 - IFIP TC6/WG 6.1. 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 PETRENKO, Alexandre. Generating checking sequences for partial finite state machines. Lecture Notes in Computer Science. Berlin: Springer. Disponível em: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0. Acesso em: 05 out. 2024. , 2008
APA
Simão, A. da S., & Petrenko, A. (2008). Generating checking sequences for partial finite state machines. Lecture Notes in Computer Science. Berlin: Springer. Recuperado de http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
NLM
Simão A da S, Petrenko A. Generating checking sequences for partial finite state machines [Internet]. Lecture Notes in Computer Science. 2008 ; 5047 153-168.[citado 2024 out. 05 ] Available from: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
Vancouver
Simão A da S, Petrenko A. Generating checking sequences for partial finite state machines [Internet]. Lecture Notes in Computer Science. 2008 ; 5047 153-168.[citado 2024 out. 05 ] Available from: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
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: 05 out. 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 out. 05 ] 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 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-18062008-135859/
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: 05 out. 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 out. 05 ] 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 out. 05 ] Available from: https://doi.org/10.1504/ijaacs.2008.019811
Trabalho de evento-anais periodico
Structural testing for semaphore-based multithread programs (2008)
Sarmanho, Felipe S.; Souza, Paulo Sérgio Lopes de ; Souza, Simone do Rocio Senger de ; Simão, Adenilso da Silva
Source: Lecture Notes in Computer Science. Conference titles: International Conference in Computer Science. 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
SARMANHO, Felipe S. et al. Structural testing for semaphore-based multithread programs. Lecture Notes in Computer Science. Heidelberger: Springer. Disponível em: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf. Acesso em: 05 out. 2024. , 2008
APA
Sarmanho, F. S., Souza, P. S. L. de, Souza, S. do R. S. de, & Simão, A. da S. (2008). Structural testing for semaphore-based multithread programs. Lecture Notes in Computer Science. Heidelberger: Springer. Recuperado de http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf
NLM
Sarmanho FS, Souza PSL de, Souza S do RS de, Simão A da S. Structural testing for semaphore-based multithread programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5101 337-346.[citado 2024 out. 05 ] Available from: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf
Vancouver
Sarmanho FS, Souza PSL de, Souza S do RS de, Simão A da S. Structural testing for semaphore-based multithread programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5101 337-346.[citado 2024 out. 05 ] Available from: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf
Trabalho de evento
Web services composition testing: a strategy based on structural testing of parallel programs (2008)
Endo, André Takeshi; Simão, Adenilso da Silva ; Souza, Simone do Rocio Senger de ; Souza, Paulo Sérgio Lopes de
Source: Proceedings. Conference titles: Testing: academic and industrial conference practice and research techniques. 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 et al. Web services composition testing: a strategy based on structural testing of parallel programs. 2008, Anais.. Los Alamitos: IEEE, 2008. Disponível em: http://ieeexplore.ieee.org/stamp/stamp.do?arnumber=4670295&isnumber=4670285. Acesso em: 05 out. 2024.
APA
Endo, A. T., Simão, A. da S., Souza, S. do R. S. de, & Souza, P. S. L. de. (2008). Web services composition testing: a strategy based on structural testing of parallel programs. In Proceedings. Los Alamitos: IEEE. Recuperado de http://ieeexplore.ieee.org/stamp/stamp.do?arnumber=4670295&isnumber=4670285
NLM
Endo AT, Simão A da S, Souza S do RS de, Souza PSL de. Web services composition testing: a strategy based on structural testing of parallel programs [Internet]. Proceedings. 2008 ;[citado 2024 out. 05 ] Available from: http://ieeexplore.ieee.org/stamp/stamp.do?arnumber=4670295&isnumber=4670285
Vancouver
Endo AT, Simão A da S, Souza S do RS de, Souza PSL de. Web services composition testing: a strategy based on structural testing of parallel programs [Internet]. Proceedings. 2008 ;[citado 2024 out. 05 ] Available from: http://ieeexplore.ieee.org/stamp/stamp.do?arnumber=4670295&isnumber=4670285
Artigo de periodico
Structural testing criteria for message-passing parallel programs (2008)
Souza, Simone do Rocio Senger de ; Vergilio, S. R.; Souza, Paulo Sérgio Lopes de ; Simão, Adenilso da Silva ; Hausen, A. C.
Source: Concurrency and Computation: Practice and Experience. 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
SOUZA, Simone do Rocio Senger de et al. Structural testing criteria for message-passing parallel programs. Concurrency and Computation: Practice and Experience, v. 20, n. 16, p. 1893-1916, 2008Tradução . . Disponível em: https://doi.org/10.1002/cpe.1297. Acesso em: 05 out. 2024.
APA
Souza, S. do R. S. de, Vergilio, S. R., Souza, P. S. L. de, Simão, A. da S., & Hausen, A. C. (2008). Structural testing criteria for message-passing parallel programs. Concurrency and Computation: Practice and Experience, 20( 16), 1893-1916. doi:10.1002/cpe.1297
NLM
Souza S do RS de, Vergilio SR, Souza PSL de, Simão A da S, Hausen AC. Structural testing criteria for message-passing parallel programs [Internet]. Concurrency and Computation: Practice and Experience. 2008 ; 20( 16): 1893-1916.[citado 2024 out. 05 ] Available from: https://doi.org/10.1002/cpe.1297
Vancouver
Souza S do RS de, Vergilio SR, Souza PSL de, Simão A da S, Hausen AC. Structural testing criteria for message-passing parallel programs [Internet]. Concurrency and Computation: Practice and Experience. 2008 ; 20( 16): 1893-1916.[citado 2024 out. 05 ] Available from: https://doi.org/10.1002/cpe.1297
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: 05 out. 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 out. 05 ] 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 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-21052008-111500/

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Source title

Conference titles