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: 06 dez. 2025.
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 2025 dez. 06 ] 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 2025 dez. 06 ] Available from: https://doi.org/10.1109/ICSTW58534.2023.00020
Trabalho de evento
An experimental study for complete-IOCO theory (2020)
Paiva, Sofia Larissa da Costa ; Simão, Adenilso da Silva
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE, ESTUDO DE CASO, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
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. An experimental study for complete-IOCO theory. 2020, Anais.. New York: ACM, 2020. Disponível em: https://doi.org/10.1145/3425174.3425232. Acesso em: 06 dez. 2025.
APA
Paiva, S. L. da C., & Simão, A. da S. (2020). An experimental study for complete-IOCO theory. In Proceedings. New York: ACM. doi:10.1145/3425174.3425232
NLM
Paiva SL da C, Simão A da S. An experimental study for complete-IOCO theory [Internet]. Proceedings. 2020 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1145/3425174.3425232
Vancouver
Paiva SL da C, Simão A da S. An experimental study for complete-IOCO theory [Internet]. Proceedings. 2020 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1145/3425174.3425232
Trabalho de evento
Learning from difference: an automated approach for learning family models from software product lines (2019)
Damasceno, Carlos Diego Nascimento ; Mousavi, Mohammad Reza; Simão, Adenilso da Silva
Fonte: Proceedings. Nome do evento: International Systems and Software Product Line Conference - SPLC. Unidade: ICMC
Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE, APRENDIZAGEM, MODELOS DE PROCESSO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DAMASCENO, Carlos Diego Nascimento e MOUSAVI, Mohammad Reza e SIMÃO, Adenilso da Silva. Learning from difference: an automated approach for learning family models from software product lines. 2019, Anais.. New York: ACM, 2019. Disponível em: https://doi.org/10.1145/3336294.3336307. Acesso em: 06 dez. 2025.
APA
Damasceno, C. D. N., Mousavi, M. R., & Simão, A. da S. (2019). Learning from difference: an automated approach for learning family models from software product lines. In Proceedings (Vol. A). New York: ACM. doi:10.1145/3336294.3336307
NLM
Damasceno CDN, Mousavi MR, Simão A da S. Learning from difference: an automated approach for learning family models from software product lines [Internet]. Proceedings. 2019 ; A[citado 2025 dez. 06 ] Available from: https://doi.org/10.1145/3336294.3336307
Vancouver
Damasceno CDN, Mousavi MR, Simão A da S. Learning from difference: an automated approach for learning family models from software product lines [Internet]. Proceedings. 2019 ; A[citado 2025 dez. 06 ] Available from: https://doi.org/10.1145/3336294.3336307
Trabalho de evento
Test case generation by EFSM extracted from UML sequence diagrams (2019)
Rocha, Mauricio; Simão, Adenilso da Silva ; Sousa, Thiago Carvalho de; Batista, Marcelo
Fonte: Proceedings. Nome do evento: International Conference on Software Engineering and Knowledge Engineering - SEKE. Unidade: ICMC
Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE, MODELAGEM DE DADOS, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Mauricio et al. Test case generation by EFSM extracted from UML sequence diagrams. 2019, Anais.. Pittsburgh: KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. Disponível em: https://doi.org/10.18293/SEKE2019-133. Acesso em: 06 dez. 2025.
APA
Rocha, M., Simão, A. da S., Sousa, T. C. de, & Batista, M. (2019). Test case generation by EFSM extracted from UML sequence diagrams. In Proceedings. Pittsburgh: KSI Research Inc. and Knowledge Systems Institute Graduate School. doi:10.18293/SEKE2019-133
NLM
Rocha M, Simão A da S, Sousa TC de, Batista M. Test case generation by EFSM extracted from UML sequence diagrams [Internet]. Proceedings. 2019 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.18293/SEKE2019-133
Vancouver
Rocha M, Simão A da S, Sousa TC de, Batista M. Test case generation by EFSM extracted from UML sequence diagrams [Internet]. Proceedings. 2019 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.18293/SEKE2019-133
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: 06 dez. 2025.
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 2025 dez. 06 ] 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 2025 dez. 06 ] Available from: https://doi.org/10.1109/ICTAI.2019.00063
Trabalho de evento
Revisiting AI and testing methods to infer FSM models of black-box systems (2018)
Groz, Roland; Simão, Adenilso da Silva ; Bremond, Nicolas; Oriat, Catherine
Fonte: Proceedings. Nome do evento: International Conference on Software Engineering - ICSE. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, APRENDIZADO COMPUTACIONAL, HEURÍSTICA, SOFTWARES (TESTES), MÉTODO DOS ELEMENTOS FINITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GROZ, Roland et al. Revisiting AI and testing methods to infer FSM models of black-box systems. 2018, Anais.. New York: ACM, 2018. Disponível em: https://doi.org/10.1145/3194733.3194736. Acesso em: 06 dez. 2025.
APA
Groz, R., Simão, A. da S., Bremond, N., & Oriat, C. (2018). Revisiting AI and testing methods to infer FSM models of black-box systems. In Proceedings. New York: ACM. doi:10.1145/3194733.3194736
NLM
Groz R, Simão A da S, Bremond N, Oriat C. Revisiting AI and testing methods to infer FSM models of black-box systems [Internet]. Proceedings. 2018 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1145/3194733.3194736
Vancouver
Groz R, Simão A da S, Bremond N, Oriat C. Revisiting AI and testing methods to infer FSM models of black-box systems [Internet]. Proceedings. 2018 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1145/3194733.3194736
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: 06 dez. 2025.
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 2025 dez. 06 ] 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 2025 dez. 06 ] Available from: https://doi.org/10.1109/ICSTW.2017.61
Trabalho de evento
Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems (2016)
Damasceno, Carlos Diego Nascimento; Masiero, Paulo Cesar ; Simão, Adenilso da Silva
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Software Engineering - SBES 2016. 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
DAMASCENO, Carlos Diego Nascimento e MASIERO, Paulo Cesar e SIMÃO, Adenilso da Silva. Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. 2016, Anais.. New York, NY: ACM, 2016. Disponível em: https://doi.org/10.1145/2973839.2973849. Acesso em: 06 dez. 2025.
APA
Damasceno, C. D. N., Masiero, P. C., & Simão, A. da S. (2016). Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems. In Proceedings. New York, NY: ACM. doi:10.1145/2973839.2973849
NLM
Damasceno CDN, Masiero PC, Simão A da S. Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems [Internet]. Proceedings. 2016 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1145/2973839.2973849
Vancouver
Damasceno CDN, Masiero PC, Simão A da S. Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systems [Internet]. Proceedings. 2016 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1145/2973839.2973849
Trabalho de evento
Complete IOCO test cases: a case study (2016)
Paiva, Sofia Costa; Simão, Adenilso da Silva ; Varshosaz, Mahsa; Mousavi, Mohammad Reza
Fonte: Proceedings. Nome do evento: International Workshop on Automating Test Case Design, Selection, and Evaluation. 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
PAIVA, Sofia Costa et al. Complete IOCO test cases: a case study. 2016, Anais.. New York, NY: ACM, 2016. Disponível em: https://doi.org/10.1145/2994291.2994297. Acesso em: 06 dez. 2025.
APA
Paiva, S. C., Simão, A. da S., Varshosaz, M., & Mousavi, M. R. (2016). Complete IOCO test cases: a case study. In Proceedings. New York, NY: ACM. doi:10.1145/2994291.2994297
NLM
Paiva SC, Simão A da S, Varshosaz M, Mousavi MR. Complete IOCO test cases: a case study [Internet]. Proceedings. 2016 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1145/2994291.2994297
Vancouver
Paiva SC, Simão A da S, Varshosaz M, Mousavi MR. Complete IOCO test cases: a case study [Internet]. Proceedings. 2016 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1145/2994291.2994297
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: 06 dez. 2025.
APA
Paiva, S. L. da C., & Simão, A. da 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 A da S. A systematic mapping study on test generation from Input/Output Transition Systems [Internet]. Proceedings. 2015 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1109/SEAA.2015.66
Vancouver
Paiva SL da C, Simão A da S. A systematic mapping study on test generation from Input/Output Transition Systems [Internet]. Proceedings. 2015 ;[citado 2025 dez. 06 ] 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: 06 dez. 2025.
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 2025 dez. 06 ] 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 2025 dez. 06 ] 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
Fonte: Proceedings. Nome do evento: Brazilian Workshop on Systematic and Automated Software Testing - SAST 2014. 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
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: 06 dez. 2025.
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 2025 dez. 06 ] 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 2025 dez. 06 ] Available from: http://www.ic.ufal.br/evento/cbsoft2014/anais/sast_v1_p.pdf
Trabalho de evento
Experimental comparison of test case generation methods for finite state machines (2012)
Endo, André Takeshi; Simão, Adenilso da Silva
Fonte: Proceedings. Nome do evento: International Conference on Software Testing, Verification and Validation - ICST 2012. 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 e SIMÃO, Adenilso da Silva. Experimental comparison of test case generation methods for finite state machines. 2012, Anais.. Los Alamitos, CA: IEEE Computer Society, 2012. Disponível em: https://doi.org/10.1109/ICST.2012.140. Acesso em: 06 dez. 2025.
APA
Endo, A. T., & Simão, A. da S. (2012). Experimental comparison of test case generation methods for finite state machines. In Proceedings. Los Alamitos, CA: IEEE Computer Society. doi:10.1109/ICST.2012.140
NLM
Endo AT, Simão A da S. Experimental comparison of test case generation methods for finite state machines [Internet]. Proceedings. 2012 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1109/ICST.2012.140
Vancouver
Endo AT, Simão A da S. Experimental comparison of test case generation methods for finite state machines [Internet]. Proceedings. 2012 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1109/ICST.2012.140
Trabalho de evento
Generating checking sequences for nondeterministic finite state machines (2012)
Petrenko, Alexandre; Simão, Adenilso da Silva ; Nina Yevtushenko
Fonte: Proceedings. Nome do evento: International Conference on Software Testing, Verification and Validation - ICST 2012. 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
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva e NINA YEVTUSHENKO,. Generating checking sequences for nondeterministic finite state machines. 2012, Anais.. Los Alamitos, CA: IEEE Computer Society, 2012. Disponível em: https://doi.org/10.1109/ICST.2012.111. Acesso em: 06 dez. 2025.
APA
Petrenko, A., Simão, A. da S., & Nina Yevtushenko,. (2012). Generating checking sequences for nondeterministic finite state machines. In Proceedings. Los Alamitos, CA: IEEE Computer Society. doi:10.1109/ICST.2012.111
NLM
Petrenko A, Simão A da S, Nina Yevtushenko. Generating checking sequences for nondeterministic finite state machines [Internet]. Proceedings. 2012 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1109/ICST.2012.111
Vancouver
Petrenko A, Simão A da S, Nina Yevtushenko. Generating checking sequences for nondeterministic finite state machines [Internet]. Proceedings. 2012 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1109/ICST.2012.111
Parte de monografia/livro-apres/pref/posf
This volume contains the papers presented at SBMF 2010... [Prefácio] (2011)
Davies, Jim; Silva, Leila; Simão, Adenilso da Silva
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Formal Methods - SBMF. 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
DAVIES, Jim e SILVA, Leila e SIMÃO, Adenilso da Silva. This volume contains the papers presented at SBMF 2010.. [Prefácio]. Proceedings. Heidelberg: Springer. Disponível em: https://doi.org/10.1007/978-3-642-19829-8. Acesso em: 06 dez. 2025. , 2011
APA
Davies, J., Silva, L., & Simão, A. da S. (2011). This volume contains the papers presented at SBMF 2010.. [Prefácio]. Proceedings. Heidelberg: Springer. doi:10.1007/978-3-642-19829-8
NLM
Davies J, Silva L, Simão A da S. This volume contains the papers presented at SBMF 2010.. [Prefácio] [Internet]. Proceedings. 2011 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1007/978-3-642-19829-8
Vancouver
Davies J, Silva L, Simão A da S. This volume contains the papers presented at SBMF 2010.. [Prefácio] [Internet]. Proceedings. 2011 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1007/978-3-642-19829-8
Monografia/livro-ed/org
Formal methods: foundations and applications (2011)
Davies, Jim (Editor); Silva, Leila (Editor); Simão, Adenilso da Silva (Editor)
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Formal Methods - SBMF. 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
Formal methods: foundations and applications. Proceedings. Heidelberg: Springer. Disponível em: https://doi.org/10.1007/978-3-642-33296-8. Acesso em: 06 dez. 2025. , 2011
APA
Formal methods: foundations and applications. (2011). Formal methods: foundations and applications. Proceedings. Heidelberg: Springer. doi:10.1007/978-3-642-33296-8
NLM
Formal methods: foundations and applications [Internet]. Proceedings. 2011 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1007/978-3-642-33296-8
Vancouver
Formal methods: foundations and applications [Internet]. Proceedings. 2011 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1007/978-3-642-33296-8
Trabalho de evento
Model-based testing of web service compositions (2011)
Belli, Fevzi; Simão, Adenilso da Silva ; Endo, André Takeshi; Linschulte, Michael
Fonte: Proceedings. Nome do evento: IEEE International Symposium on Service Oriented System Engineering - SOSE 2011. 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
BELLI, Fevzi et al. Model-based testing of web service compositions. 2011, Anais.. Los Alamitos: IEEE Computer Society, 2011. . Acesso em: 06 dez. 2025.
APA
Belli, F., Simão, A. da S., Endo, A. T., & Linschulte, M. (2011). Model-based testing of web service compositions. In Proceedings. Los Alamitos: IEEE Computer Society.
NLM
Belli F, Simão A da S, Endo AT, Linschulte M. Model-based testing of web service compositions. Proceedings. 2011 ;[citado 2025 dez. 06 ]
Vancouver
Belli F, Simão A da S, Endo AT, Linschulte M. Model-based testing of web service compositions. Proceedings. 2011 ;[citado 2025 dez. 06 ]
Trabalho de evento
Using coverage and reachability testing to improve concurrent program testing quality (2011)
Souza, Simone do Rocio Senger de ; Souza, Paulo Sérgio Lopes de ; Machado, Mario Cesar da Cunha; Camillo, Mário Santos; Simão, Adenilso da Silva ; Zaluska, Ed
Fonte: Proceedings. Nome do evento: International Conference on Software Engineering & Knowledge Engineering - SEKE. Unidade: ICMC
Assuntos: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE, 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. Using coverage and reachability testing to improve concurrent program testing quality. 2011, Anais.. Skokie: Knowledge Systems Institute Graduate School, 2011. . Acesso em: 06 dez. 2025.
APA
Souza, S. do R. S. de, Souza, P. S. L. de, Machado, M. C. da C., Camillo, M. S., Simão, A. da S., & Zaluska, E. (2011). Using coverage and reachability testing to improve concurrent program testing quality. In Proceedings. Skokie: Knowledge Systems Institute Graduate School.
NLM
Souza S do RS de, Souza PSL de, Machado MC da C, Camillo MS, Simão A da S, Zaluska E. Using coverage and reachability testing to improve concurrent program testing quality. Proceedings. 2011 ;[citado 2025 dez. 06 ]
Vancouver
Souza S do RS de, Souza PSL de, Machado MC da C, Camillo MS, Simão A da S, Zaluska E. Using coverage and reachability testing to improve concurrent program testing quality. Proceedings. 2011 ;[citado 2025 dez. 06 ]
Trabalho de evento
Model-based testing of service-oriented applications via state models (2011)
Endo, André Takeshi; Simão, Adenilso da Silva
Fonte: Proceedings. Nome do evento: IEEE International Conference on Services Computing. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, SISTEMAS DISTRIBUÍDOS, PROGRAMAÇÃO CONCORRENTE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ENDO, André Takeshi e SIMÃO, Adenilso da Silva. Model-based testing of service-oriented applications via state models. 2011, Anais.. Los Alamitos, CA: IEEE Computer Society, 2011. Disponível em: https://doi.org/10.1109/SCC.2011.77. Acesso em: 06 dez. 2025.
APA
Endo, A. T., & Simão, A. da S. (2011). Model-based testing of service-oriented applications via state models. In Proceedings. Los Alamitos, CA: IEEE Computer Society. doi:10.1109/SCC.2011.77
NLM
Endo AT, Simão A da S. Model-based testing of service-oriented applications via state models [Internet]. Proceedings. 2011 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1109/SCC.2011.77
Vancouver
Endo AT, Simão A da S. Model-based testing of service-oriented applications via state models [Internet]. Proceedings. 2011 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1109/SCC.2011.77
Monografia/livro-ed/org
Testing software and systems (2010)
Petrenko, Alexandre (Editor); Simão, Adenilso da Silva (Editor) ; Maldonado, José Carlos (Editor)
Fonte: Proceedings. Nome do evento: IFIP WG 6.1 International Conference - ICTSS. 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
Testing software and systems. Proceedings. Berlin: Springer. Disponível em: https://doi.org/10.1007/978-3-642-16573-3. Acesso em: 06 dez. 2025. , 2010
APA
Testing software and systems. (2010). Testing software and systems. Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16573-3
NLM
Testing software and systems [Internet]. Proceedings. 2010 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1007/978-3-642-16573-3
Vancouver
Testing software and systems [Internet]. Proceedings. 2010 ;[citado 2025 dez. 06 ] Available from: https://doi.org/10.1007/978-3-642-16573-3

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos

Editora

Nome do evento

Agência de fomento

Afiliação dos autores externos normalizada

Afiliação dos autores externos não normalizada