ReP USP - Resultado da busca

Trabalho de evento
An experimental study for complete-IOCO theory (2020)
Paiva, Sofia Larissa da Costa ; Simão, Adenilso da Silva
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: 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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: International Systems and Software Product Line Conference - SPLC. Unidade: ICMC
Subjects: 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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: International Conference on Software Engineering and Knowledge Engineering - SEKE. Unidade: ICMC
Subjects: 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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: International Conference on Tools with Artificial Intelligence - ICTAI. Unidade: ICMC
Subjects: 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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: International Conference on Software Engineering - ICSE. Unidade: ICMC
Subjects: 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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: IEEE International Conference on Software Testing, Verification and Validation Workshops - ICSTW. 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
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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: Brazilian Symposium on Software Engineering - SBES 2016. 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
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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: International Workshop on Automating Test Case Design, Selection, and Evaluation. 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
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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: Euromicro Conference on Software Engineering and Advanced Applications – SEAA 2015. 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. 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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: International Conference on Software Testing, Verification and Validation - ICST 2012. 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 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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: International Conference on Software Testing, Verification and Validation - ICST 2012. 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 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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. 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
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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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)
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. 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
Formal methods: foundations and applications. Proceedings. Heidelberg: Springer. Disponível em: https://doi.org/10.1007/978-3-642-33296-8. Acesso em: 29 nov. 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 nov. 29 ] Available from: https://doi.org/10.1007/978-3-642-33296-8
Vancouver
Formal methods: foundations and applications [Internet]. Proceedings. 2011 ;[citado 2025 nov. 29 ] 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
Source: Proceedings. Conference titles: IEEE International Symposium on Service Oriented System Engineering - SOSE 2011. 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 et al. Model-based testing of web service compositions. 2011, Anais.. Los Alamitos: IEEE Computer Society, 2011. . Acesso em: 29 nov. 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 nov. 29 ]
Vancouver
Belli F, Simão A da S, Endo AT, Linschulte M. Model-based testing of web service compositions. Proceedings. 2011 ;[citado 2025 nov. 29 ]
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
Source: Proceedings. Conference titles: International Conference on Software Engineering & Knowledge Engineering - SEKE. Unidade: ICMC
Subjects: 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: 29 nov. 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 nov. 29 ]
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 nov. 29 ]
Trabalho de evento
Model-based testing of service-oriented applications via state models (2011)
Endo, André Takeshi; Simão, Adenilso da Silva
Source: Proceedings. Conference titles: IEEE International Conference on Services Computing. Unidade: ICMC
Subjects: 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: 29 nov. 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 nov. 29 ] 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 nov. 29 ] 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)
Source: Proceedings. Conference titles: IFIP WG 6.1 International Conference - ICTSS. 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
Testing software and systems. Proceedings. Berlin: Springer. Disponível em: https://doi.org/10.1007/978-3-642-16573-3. Acesso em: 29 nov. 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 nov. 29 ] Available from: https://doi.org/10.1007/978-3-642-16573-3
Vancouver
Testing software and systems [Internet]. Proceedings. 2010 ;[citado 2025 nov. 29 ] Available from: https://doi.org/10.1007/978-3-642-16573-3
Trabalho de evento
Event- and coverage-based testing of web services (2010)
Endo, André Takeshi; Linschultey, Michael; Simão, Adenilso da Silva ; Souza, Simone do Rocio Senger de
Source: Proceedings. Conference titles: Workshop on Model-Based Verification & Validation From Research to Practice - MVV. 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. Event- and coverage-based testing of web services. 2010, Anais.. Los Alamitos: IEEE Computer Society, 2010. Disponível em: http://sbrc2010.inf.ufrgs.br/anais/data/pdf/wtf.pdf. Acesso em: 29 nov. 2025.
APA
Endo, A. T., Linschultey, M., Simão, A. da S., & Souza, S. do R. S. de. (2010). Event- and coverage-based testing of web services. In Proceedings. Los Alamitos: IEEE Computer Society. Recuperado de http://sbrc2010.inf.ufrgs.br/anais/data/pdf/wtf.pdf
NLM
Endo AT, Linschultey M, Simão A da S, Souza S do RS de. Event- and coverage-based testing of web services [Internet]. Proceedings. 2010 ;[citado 2025 nov. 29 ] Available from: http://sbrc2010.inf.ufrgs.br/anais/data/pdf/wtf.pdf
Vancouver
Endo AT, Linschultey M, Simão A da S, Souza S do RS de. Event- and coverage-based testing of web services [Internet]. Proceedings. 2010 ;[citado 2025 nov. 29 ] Available from: http://sbrc2010.inf.ufrgs.br/anais/data/pdf/wtf.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Publisher

Conference titles

Funding Agencies

Normalized affiliation

Non normalized affiliation