ReP USP - Resultado da busca

Artigo de periodico
Learning by sampling: learning behavioral family models from software product lines (2021)
Damasceno, Carlos Diego Nascimento ; Mousavi, Mohammad Reza ; Simão, Adenilso da Silva
Fonte: Empirical Software Engineering. Unidade: ICMC
Assuntos: MODELOS DE PROCESSO DE SOFTWARE, APRENDIZADO COMPUTACIONAL
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 by sampling: learning behavioral family models from software product lines. Empirical Software Engineering, v. 26, n. Ja 2021, p. 1-46, 2021Tradução . . Disponível em: https://doi.org/10.1007/s10664-020-09912-w. Acesso em: 05 out. 2024.
APA
Damasceno, C. D. N., Mousavi, M. R., & Simão, A. da S. (2021). Learning by sampling: learning behavioral family models from software product lines. Empirical Software Engineering, 26( Ja 2021), 1-46. doi:10.1007/s10664-020-09912-w
NLM
Damasceno CDN, Mousavi MR, Simão A da S. Learning by sampling: learning behavioral family models from software product lines [Internet]. Empirical Software Engineering. 2021 ; 26( Ja 2021): 1-46.[citado 2024 out. 05 ] Available from: https://doi.org/10.1007/s10664-020-09912-w
Vancouver
Damasceno CDN, Mousavi MR, Simão A da S. Learning by sampling: learning behavioral family models from software product lines [Internet]. Empirical Software Engineering. 2021 ; 26( Ja 2021): 1-46.[citado 2024 out. 05 ] Available from: https://doi.org/10.1007/s10664-020-09912-w
Artigo de periodico
Experimental comparison of approaches for checking completeness of test suites from finite state machines (2017)
Bonifacio, Adilson; Moura, Arnaldo; Simão, Adenilso da Silva
Fonte: Information and Software Technology. 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
BONIFACIO, Adilson e MOURA, Arnaldo e SIMÃO, Adenilso da Silva. Experimental comparison of approaches for checking completeness of test suites from finite state machines. Information and Software Technology, v. 92, p. 95-104, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2017.07.012. Acesso em: 05 out. 2024.
APA
Bonifacio, A., Moura, A., & Simão, A. da S. (2017). Experimental comparison of approaches for checking completeness of test suites from finite state machines. Information and Software Technology, 92, 95-104. doi:10.1016/j.infsof.2017.07.012
NLM
Bonifacio A, Moura A, Simão A da S. Experimental comparison of approaches for checking completeness of test suites from finite state machines [Internet]. Information and Software Technology. 2017 ; 92 95-104.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.infsof.2017.07.012
Vancouver
Bonifacio A, Moura A, Simão A da S. Experimental comparison of approaches for checking completeness of test suites from finite state machines [Internet]. Information and Software Technology. 2017 ; 92 95-104.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.infsof.2017.07.012
Artigo de periodico
Formal mutation testing for Circus (2017)
Alberto, Alex; Cavalcanti, Ana; Gaudel, Marie-Claude; Simão, Adenilso da Silva
Fonte: Information and Software Technology. 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 et al. Formal mutation testing for Circus. Information and Software Technology, v. 81, n. Ja 2017, p. 131-153, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2016.04.003. Acesso em: 05 out. 2024.
APA
Alberto, A., Cavalcanti, A., Gaudel, M. -C., & Simão, A. da S. (2017). Formal mutation testing for Circus. Information and Software Technology, 81( Ja 2017), 131-153. doi:10.1016/j.infsof.2016.04.003
NLM
Alberto A, Cavalcanti A, Gaudel M-C, Simão A da S. Formal mutation testing for Circus [Internet]. Information and Software Technology. 2017 ; 81( Ja 2017): 131-153.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003
Vancouver
Alberto A, Cavalcanti A, Gaudel M-C, Simão A da S. Formal mutation testing for Circus [Internet]. Information and Software Technology. 2017 ; 81( Ja 2017): 131-153.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003
Artigo de periodico
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods (2013)
Endo, André Takeshi; Simão, Adenilso da Silva
Fonte: Information and Software Technology. 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. Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. Information and Software Technology, v. 55, n. ju 2013, p. 1045-1062, 2013Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2013.01.001. Acesso em: 05 out. 2024.
APA
Endo, A. T., & Simão, A. da S. (2013). Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. Information and Software Technology, 55( ju 2013), 1045-1062. doi:10.1016/j.infsof.2013.01.001
NLM
Endo AT, Simão A da S. Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods [Internet]. Information and Software Technology. 2013 ; 55( ju 2013): 1045-1062.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.infsof.2013.01.001
Vancouver
Endo AT, Simão A da S. Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods [Internet]. Information and Software Technology. 2013 ; 55( ju 2013): 1045-1062.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.infsof.2013.01.001
Artigo de periodico
Generating asynchronous test cases from test purposes (2011)
Simão, Adenilso da Silva ; Petrenko, Alexandre
Fonte: Information and Software Technology. 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. Generating asynchronous test cases from test purposes. Information and Software Technology, v. no 2011, n. 11, p. 1252-1262, 2011Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2011.06.006. Acesso em: 05 out. 2024.
APA
Simão, A. da S., & Petrenko, A. (2011). Generating asynchronous test cases from test purposes. Information and Software Technology, no 2011( 11), 1252-1262. doi:10.1016/j.infsof.2011.06.006
NLM
Simão A da S, Petrenko A. Generating asynchronous test cases from test purposes [Internet]. Information and Software Technology. 2011 ; no 2011( 11): 1252-1262.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.infsof.2011.06.006
Vancouver
Simão A da S, Petrenko A. Generating asynchronous test cases from test purposes [Internet]. Information and Software Technology. 2011 ; no 2011( 11): 1252-1262.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.infsof.2011.06.006
Artigo de periodico
Checking completeness of tests for finite state machines (2010)
Simão, Adenilso da Silva ; Petrenko, Alexandre
Fonte: IEEE Transactions on Computers. 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. Checking completeness of tests for finite state machines. IEEE Transactions on Computers, v. 59, n. 8, p. 1023-1032, 2010Tradução . . Disponível em: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717. Acesso em: 05 out. 2024.
APA
Simão, A. da S., & Petrenko, A. (2010). Checking completeness of tests for finite state machines. IEEE Transactions on Computers, 59( 8), 1023-1032. Recuperado de http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717
NLM
Simão A da S, Petrenko A. Checking completeness of tests for finite state machines [Internet]. IEEE Transactions on Computers. 2010 ; 59( 8): 1023-1032.[citado 2024 out. 05 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717
Vancouver
Simão A da S, Petrenko A. Checking completeness of tests for finite state machines [Internet]. IEEE Transactions on Computers. 2010 ; 59( 8): 1023-1032.[citado 2024 out. 05 ] Available from: http://ieeexplore.ieee.org/xpl/tocresult.do?isnumber=5494717
Artigo de periodico
Comparing finite state machine test coverage criteria (2009)
Simão, Adenilso da Silva ; Petrenko, A.; Maldonado, José Carlos
Fonte: IET Software. 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, A. e MALDONADO, José Carlos. Comparing finite state machine test coverage criteria. IET Software, v. 3, n. 2, p. 91-105, 2009Tradução . . Disponível em: http://ieeexplore.ieee.org/stamp/stamp.do?tp=&arnumber=4811928&isnumber=4811925. Acesso em: 05 out. 2024.
APA
Simão, A. da S., Petrenko, A., & Maldonado, J. C. (2009). Comparing finite state machine test coverage criteria. IET Software, 3( 2), 91-105. Recuperado de http://ieeexplore.ieee.org/stamp/stamp.do?tp=&arnumber=4811928&isnumber=4811925
NLM
Simão A da S, Petrenko A, Maldonado JC. Comparing finite state machine test coverage criteria [Internet]. IET Software. 2009 ; 3( 2): 91-105.[citado 2024 out. 05 ] Available from: http://ieeexplore.ieee.org/stamp/stamp.do?tp=&arnumber=4811928&isnumber=4811925
Vancouver
Simão A da S, Petrenko A, Maldonado JC. Comparing finite state machine test coverage criteria [Internet]. IET Software. 2009 ; 3( 2): 91-105.[citado 2024 out. 05 ] Available from: http://ieeexplore.ieee.org/stamp/stamp.do?tp=&arnumber=4811928&isnumber=4811925
Trabalho de evento-anais periodico
Generating checking sequences for partial finite state machines (2008)
Simão, Adenilso da Silva ; Petrenko, Alexandre
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference, TestCom 2008 - IFIP TC6/WG 6.1. 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. 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

Unidades USP

ReP

Filtros

Autores

Ano de publicação

Afiliação dos autores externos não normalizada