ReP USP - Resultado da busca

Artigo de periodico
A holistic approach to model-based testing of Web service compositions (2014)
Belli, Fevzi; Endo, André Takeshi; Simão, Adenilso da Silva
Source: Software, Practice and Experience. 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
BELLI, Fevzi e ENDO, André Takeshi e SIMÃO, Adenilso da Silva. A holistic approach to model-based testing of Web service compositions. Software, Practice and Experience, v. 44, n. 2, p. 201-234, 2014Tradução . . Disponível em: https://doi.org/10.1002/spe.2161. Acesso em: 30 set. 2024.
APA
Belli, F., Endo, A. T., & Simão, A. da S. (2014). A holistic approach to model-based testing of Web service compositions. Software, Practice and Experience, 44( 2), 201-234. doi:10.1002/spe.2161
NLM
Belli F, Endo AT, Simão A da S. A holistic approach to model-based testing of Web service compositions [Internet]. Software, Practice and Experience. 2014 ; 44( 2): 201-234.[citado 2024 set. 30 ] Available from: https://doi.org/10.1002/spe.2161
Vancouver
Belli F, Endo AT, Simão A da S. A holistic approach to model-based testing of Web service compositions [Internet]. Software, Practice and Experience. 2014 ; 44( 2): 201-234.[citado 2024 set. 30 ] Available from: https://doi.org/10.1002/spe.2161
Artigo de periodico
A practical approach for testing timed deterministic finite state machines with single clock (2014)
El-Fakih, Khaled; Yevtushenko, Nina; Simão, Adenilso da Silva
Source: Science of Computer Programming. 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
EL-FAKIH, Khaled e YEVTUSHENKO, Nina e SIMÃO, Adenilso da Silva. A practical approach for testing timed deterministic finite state machines with single clock. Science of Computer Programming, v. 80, p. 343-355, 2014Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2013.09.008. Acesso em: 30 set. 2024.
APA
El-Fakih, K., Yevtushenko, N., & Simão, A. da S. (2014). A practical approach for testing timed deterministic finite state machines with single clock. Science of Computer Programming, 80, 343-355. doi:10.1016/j.scico.2013.09.008
NLM
El-Fakih K, Yevtushenko N, Simão A da S. A practical approach for testing timed deterministic finite state machines with single clock [Internet]. Science of Computer Programming. 2014 ; 80 343-355.[citado 2024 set. 30 ] Available from: https://doi.org/10.1016/j.scico.2013.09.008
Vancouver
El-Fakih K, Yevtushenko N, Simão A da S. A practical approach for testing timed deterministic finite state machines with single clock [Internet]. Science of Computer Programming. 2014 ; 80 343-355.[citado 2024 set. 30 ] Available from: https://doi.org/10.1016/j.scico.2013.09.008
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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
Patente
Test method and test apparatus for testing a distributed system (2014)
Petrenko, Alexandre; Simão, Adenilso da Silva ; Ulrich, Andreas
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
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e ULRICH, Andreas. Test method and test apparatus for testing a distributed system. . Genebra: Patent Cooperation Treaty (PCT); World Intellectual Property Organization (WIPO). Disponível em: https://doi.org/10.1007/s00165-015-0350-2. Acesso em: 30 set. 2024. , 2014
APA
Petrenko, A., Simão, A. da S., & Ulrich, A. (2014). Test method and test apparatus for testing a distributed system. Genebra: Patent Cooperation Treaty (PCT); World Intellectual Property Organization (WIPO). doi:10.1007/s00165-015-0350-2
NLM
Petrenko A, Simão A da S, Ulrich A. Test method and test apparatus for testing a distributed system [Internet]. 2014 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
Vancouver
Petrenko A, Simão A da S, Ulrich A. Test method and test apparatus for testing a distributed system [Internet]. 2014 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/s00165-015-0350-2
Trabalho de evento
On studying the effectiveness of extended finite state machine based test selection criteria (2014)
El-Fakih, Khaled; Simão, Adenilso da Silva ; Jadoon, Noshad; Maldonado, José Carlos
Source: Proceedings. Conference titles: IEEE International Conference on Software Testing, Verification, and Validation Workshops - ICSTW 2014. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
EL-FAKIH, Khaled et al. On studying the effectiveness of extended finite state machine based test selection criteria. 2014, Anais.. Los Alamitos, California: IEEE, 2014. Disponível em: https://doi.org/10.1109/ICSTW.2014.25. Acesso em: 30 set. 2024.
APA
El-Fakih, K., Simão, A. da S., Jadoon, N., & Maldonado, J. C. (2014). On studying the effectiveness of extended finite state machine based test selection criteria. In Proceedings. Los Alamitos, California: IEEE. doi:10.1109/ICSTW.2014.25
NLM
El-Fakih K, Simão A da S, Jadoon N, Maldonado JC. On studying the effectiveness of extended finite state machine based test selection criteria [Internet]. Proceedings. 2014 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.1109/ICSTW.2014.25
Vancouver
El-Fakih K, Simão A da S, Jadoon N, Maldonado JC. On studying the effectiveness of extended finite state machine based test selection criteria [Internet]. Proceedings. 2014 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.1109/ICSTW.2014.25
Trabalho de evento
Uma revisão sistemática em teste de segurança baseado em modelos (2014)
Damasceno, Carlos Diego Nascimento; Delamaro, Márcio Eduardo ; Simão, Adenilso da Silva
Source: Proceedings. Conference titles: Brazilian Workshop on Systematic and Automated Software Testing - SAST 2014. 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
DAMASCENO, Carlos Diego Nascimento e DELAMARO, Márcio Eduardo e SIMÃO, Adenilso da Silva. Uma revisão sistemática em teste de segurança baseado em modelos. 2014, Anais.. Porto Alegre, RS: SBC, 2014. Disponível em: http://www.ic.ufal.br/evento/cbsoft2014/anais/sast_v1_p.pdf. Acesso em: 30 set. 2024.
APA
Damasceno, C. D. N., Delamaro, M. E., & Simão, A. da S. (2014). Uma revisão sistemática em teste de segurança baseado em modelos. In Proceedings. Porto Alegre, RS: SBC. Recuperado de http://www.ic.ufal.br/evento/cbsoft2014/anais/sast_v1_p.pdf
NLM
Damasceno CDN, Delamaro ME, Simão A da S. Uma revisão sistemática em teste de segurança baseado em modelos [Internet]. Proceedings. 2014 ;[citado 2024 set. 30 ] Available from: http://www.ic.ufal.br/evento/cbsoft2014/anais/sast_v1_p.pdf
Vancouver
Damasceno CDN, Delamaro ME, Simão A da S. Uma revisão sistemática em teste de segurança baseado em modelos [Internet]. Proceedings. 2014 ;[citado 2024 set. 30 ] Available from: http://www.ic.ufal.br/evento/cbsoft2014/anais/sast_v1_p.pdf
Trabalho de evento
Generating complete and finite test suite for ioco: is it possible? (2014)
Simão, Adenilso da Silva ; Petrenko, Alexandre
Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: Workshop on Model-Based Testing. 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 complete and finite test suite for ioco: is it possible? 2014, Anais.. Dübendorf, Suiça: Open Publishing Association, 2014. Disponível em: https://doi.org/10.4204/EPTCS.141. Acesso em: 30 set. 2024.
APA
Simão, A. da S., & Petrenko, A. (2014). Generating complete and finite test suite for ioco: is it possible? In Electronic Proceedings in Theoretical Computer Science. Dübendorf, Suiça: Open Publishing Association. doi:10.4204/EPTCS.141
NLM
Simão A da S, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.4204/EPTCS.141
Vancouver
Simão A da S, Petrenko A. Generating complete and finite test suite for ioco: is it possible? [Internet]. Electronic Proceedings in Theoretical Computer Science. 2014 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.4204/EPTCS.141
Parte de monografia/livro-apres/pref/posf
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)... [Prefácio] (2014)
Simão, Adenilso da Silva ; Morgan, Carroll
Source: Science of Computer Programming. 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 MORGAN, Carroll. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio]. Science of Computer Programming. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.scico.2014.02.004. Acesso em: 30 set. 2024. , 2014
APA
Simão, A. da S., & Morgan, C. (2014). Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio]. Science of Computer Programming. Amsterdam: Elsevier. doi:10.1016/j.scico.2014.02.004
NLM
Simão A da S, Morgan C. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio] [Internet]. Science of Computer Programming. 2014 ; 92 85.[citado 2024 set. 30 ] Available from: https://doi.org/10.1016/j.scico.2014.02.004
Vancouver
Simão A da S, Morgan C. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio] [Internet]. Science of Computer Programming. 2014 ; 92 85.[citado 2024 set. 30 ] Available from: https://doi.org/10.1016/j.scico.2014.02.004
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: 30 set. 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 set. 30 ] 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 set. 30 ] Available from: https://repositorio.usp.br/directbitstream/d5e48b1f-93a6-40af-b239-d83e1689535f/Relat%C3%B3rios%20T%C3%A9cnicos%20396_2014.pdf

USP Schools

ReP

Filtros

Document Types

Authors

Publisher

Indexado em