ReP USP - Resultado da busca

Trabalho de evento
Improving model learning by inferring separating sequences from traces (2023)
Braz, Rafael dos Santos ; Simão, Adenilso da Silva ; Groz, Roland ; Oriat, Catherine
Fonte: Proceedings. Nome do evento: IEEE International Conference on Software Testing, Verification and Validation Workshops - ICSTW. Unidades: STI, ICMC
Assuntos: ESTUDO DE CASO, ALGORITMOS, APRENDIZAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAZ, Rafael dos Santos et al. Improving model learning by inferring separating sequences from traces. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ICSTW58534.2023.00020. Acesso em: 03 jun. 2024.
APA
Braz, R. dos S., Simão, A. da S., Groz, R., & Oriat, C. (2023). Improving model learning by inferring separating sequences from traces. In Proceedings. Piscataway: IEEE. doi:10.1109/ICSTW58534.2023.00020
NLM
Braz R dos S, Simão A da S, Groz R, Oriat C. Improving model learning by inferring separating sequences from traces [Internet]. Proceedings. 2023 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/ICSTW58534.2023.00020
Vancouver
Braz R dos S, Simão A da S, Groz R, Oriat C. Improving model learning by inferring separating sequences from traces [Internet]. Proceedings. 2023 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/ICSTW58534.2023.00020
Trabalho de evento
Generating reduced tests for FSMs using a search-based testing approach (2019)
Ramada, Mariana Soller ; Lima, Telma Woerle de ; Simão, Adenilso da Silva ; Soares, Anderson da Silva
Fonte: Proceedings. Nome do evento: International Conference on Tools with Artificial Intelligence - ICTAI. Unidade: ICMC
Assuntos: FALHAS COMPUTACIONAIS, TESTE E AVALIAÇÃO DE SOFTWARE, ALGORITMOS GENÉTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RAMADA, Mariana Soller et al. Generating reduced tests for FSMs using a search-based testing approach. 2019, Anais.. Piscataway: IEEE, 2019. Disponível em: https://doi.org/10.1109/ICTAI.2019.00063. Acesso em: 03 jun. 2024.
APA
Ramada, M. S., Lima, T. W. de, Simão, A. da S., & Soares, A. da S. (2019). Generating reduced tests for FSMs using a search-based testing approach. In Proceedings. Piscataway: IEEE. doi:10.1109/ICTAI.2019.00063
NLM
Ramada MS, Lima TW de, Simão A da S, Soares A da S. Generating reduced tests for FSMs using a search-based testing approach [Internet]. Proceedings. 2019 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/ICTAI.2019.00063
Vancouver
Ramada MS, Lima TW de, Simão A da S, Soares A da S. Generating reduced tests for FSMs using a search-based testing approach [Internet]. Proceedings. 2019 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/ICTAI.2019.00063
Trabalho de evento
Impact of the vendor lock-in problem on testing as a service (TaaS) (2017)
Oliveira, Ricardo Ramos de; Martins, Rafael Messias; Simão, Adenilso da Silva
Fonte: IEEE Software. Nome do evento: IEEE International Conference on Cloud Engineering - IC2E. Unidade: ICMC
Assuntos: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE, COMPUTAÇÃO EM NUVEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Ricardo Ramos de e MARTINS, Rafael Messias e SIMÃO, Adenilso da Silva. Impact of the vendor lock-in problem on testing as a service (TaaS). 2017, Anais.. Piscataway, NJ: IEEE, 2017. Disponível em: https://doi.org/10.1109/IC2E.2017.30. Acesso em: 03 jun. 2024.
APA
Oliveira, R. R. de, Martins, R. M., & Simão, A. da S. (2017). Impact of the vendor lock-in problem on testing as a service (TaaS). In IEEE Software. Piscataway, NJ: IEEE. doi:10.1109/IC2E.2017.30
NLM
Oliveira RR de, Martins RM, Simão A da S. Impact of the vendor lock-in problem on testing as a service (TaaS) [Internet]. IEEE Software. 2017 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/IC2E.2017.30
Vancouver
Oliveira RR de, Martins RM, Simão A da S. Impact of the vendor lock-in problem on testing as a service (TaaS) [Internet]. IEEE Software. 2017 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/IC2E.2017.30
Trabalho de evento
Reducing the concretization effort in fsm-based testing of software product lines (2017)
Fragal, Vanderson Hafemann; Simão, Adenilso da Silva; Endo, André Takeshi; Mousavi, Mohammad Reza
Fonte: Proceedings. Nome do evento: IEEE International Conference on Software Testing, Verification and Validation Workshops - ICSTW. Unidade: ICMC
Assuntos: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRAGAL, Vanderson Hafemann et al. Reducing the concretization effort in fsm-based testing of software product lines. 2017, Anais.. Piscataway, NJ: IEEE, 2017. Disponível em: https://doi.org/10.1109/ICSTW.2017.61. Acesso em: 03 jun. 2024.
APA
Fragal, V. H., Simão, A. da S., Endo, A. T., & Mousavi, M. R. (2017). Reducing the concretization effort in fsm-based testing of software product lines. In Proceedings. Piscataway, NJ: IEEE. doi:10.1109/ICSTW.2017.61
NLM
Fragal VH, Simão A da S, Endo AT, Mousavi MR. Reducing the concretization effort in fsm-based testing of software product lines [Internet]. Proceedings. 2017 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/ICSTW.2017.61
Vancouver
Fragal VH, Simão A da S, Endo AT, Mousavi MR. Reducing the concretization effort in fsm-based testing of software product lines [Internet]. Proceedings. 2017 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/ICSTW.2017.61
Trabalho de evento
A systematic mapping study on test generation from Input/Output Transition Systems (2015)
Paiva, Sofia Larissa da Costa; Simão, Adenilso Da Silva
Fonte: Proceedings. Nome do evento: Euromicro Conference on Software Engineering and Advanced Applications – SEAA 2015. Unidade: ICMC
Assuntos: 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. A systematic mapping study on test generation from Input/Output Transition Systems. 2015, Anais.. Piscataway, NJ: IEEE, 2015. Disponível em: https://doi.org/10.1109/SEAA.2015.66. Acesso em: 03 jun. 2024.
APA
Paiva, S. L. da C., & Simão, A. D. S. (2015). A systematic mapping study on test generation from Input/Output Transition Systems. In Proceedings. Piscataway, NJ: IEEE. doi:10.1109/SEAA.2015.66
NLM
Paiva SL da C, Simão ADS. A systematic mapping study on test generation from Input/Output Transition Systems [Internet]. Proceedings. 2015 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/SEAA.2015.66
Vancouver
Paiva SL da C, Simão ADS. A systematic mapping study on test generation from Input/Output Transition Systems [Internet]. Proceedings. 2015 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/SEAA.2015.66
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
Fonte: Proceedings. Nome do evento: IEEE International Conference on Software Testing, Verification, and Validation Workshops - ICSTW 2014. Unidade: ICMC
Assuntos: 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: 03 jun. 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 jun. 03 ] 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 jun. 03 ] Available from: https://doi.org/10.1109/ICSTW.2014.25
Trabalho de evento
From test purposes to asynchronous test cases (2010)
Simão, Adenilso da Silva; Petrenko, Alexandre
Fonte: Proceedings. Nome do evento: International Conference on Software Testing, Verification, and Validation Workshops - ICSTW. Unidade: ICMC
Assuntos: 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. From test purposes to asynchronous test cases. 2010, Anais.. Los Alamitos: IEEE, 2010. Disponível em: https://doi.org/10.1109/ICSTW.2010.32. Acesso em: 03 jun. 2024.
APA
Simão, A. da S., & Petrenko, A. (2010). From test purposes to asynchronous test cases. In Proceedings. Los Alamitos: IEEE. doi:10.1109/ICSTW.2010.32
NLM
Simão A da S, Petrenko A. From test purposes to asynchronous test cases [Internet]. Proceedings. 2010 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/ICSTW.2010.32
Vancouver
Simão A da S, Petrenko A. From test purposes to asynchronous test cases [Internet]. Proceedings. 2010 ;[citado 2024 jun. 03 ] Available from: https://doi.org/10.1109/ICSTW.2010.32
Trabalho de evento
Minimization of incompletely specified finite state machines based on distinction graphs (2009)
Alberto, Alex; Simão, Adenilso da Silva
Fonte: Proceedings. Nome do evento: Latin American Test Workshop - LATW. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALBERTO, Alex e SIMÃO, Adenilso da Silva. Minimization of incompletely specified finite state machines based on distinction graphs. 2009, Anais.. Los Alamitos: IEEE, 2009. Disponível em: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009. Acesso em: 03 jun. 2024.
APA
Alberto, A., & Simão, A. da S. (2009). Minimization of incompletely specified finite state machines based on distinction graphs. In Proceedings. Los Alamitos: IEEE. Recuperado de http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009
NLM
Alberto A, Simão A da S. Minimization of incompletely specified finite state machines based on distinction graphs [Internet]. Proceedings. 2009 ;[citado 2024 jun. 03 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009
Vancouver
Alberto A, Simão A da S. Minimization of incompletely specified finite state machines based on distinction graphs [Internet]. Proceedings. 2009 ;[citado 2024 jun. 03 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=4813774&isYear=2009
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
Fonte: Proceedings. Nome do evento: Testing: academic and industrial conference practice and research techniques. Unidade: ICMC
Assuntos: 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: 03 jun. 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 jun. 03 ] 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 jun. 03 ] Available from: http://ieeexplore.ieee.org/stamp/stamp.do?arnumber=4670295&isnumber=4670285

Unidades USP

ReP

Filtros

Autores

Ano de publicação

Assuntos

Nome do evento