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
Source: Empirical Software Engineering. Unidade: ICMC
Subjects: 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
Hierarchical featured state machines (2019)
Fragal, Vanderson Hafemann; Simão, Adenilso da Silva ; Mousavi, Mohammad Reza
Source: Science of Computer Programming. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, VALIDAÇÃO DE MODELOS, LINHAS DE PRODUTOS DE SOFTWARE, MÁQUINAS LINEARES E SEQUENCIAIS, AUTÔMATOS FINITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRAGAL, Vanderson Hafemann e SIMÃO, Adenilso da Silva e MOUSAVI, Mohammad Reza. Hierarchical featured state machines. Science of Computer Programming, v. 171, p. 67-88, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2018.10.001. Acesso em: 05 out. 2024.
APA
Fragal, V. H., Simão, A. da S., & Mousavi, M. R. (2019). Hierarchical featured state machines. Science of Computer Programming, 171, 67-88. doi:10.1016/j.scico.2018.10.001
NLM
Fragal VH, Simão A da S, Mousavi MR. Hierarchical featured state machines [Internet]. Science of Computer Programming. 2019 ; 171 67-88.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.scico.2018.10.001
Vancouver
Fragal VH, Simão A da S, Mousavi MR. Hierarchical featured state machines [Internet]. Science of Computer Programming. 2019 ; 171 67-88.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.scico.2018.10.001
Artigo de periodico
An assessment of extended finite state machine test selection criteria (2017)
El-Fakih, Khaled; Simão, Adenilso da Silva ; Jadoon, Noshad; Maldonado, José Carlos
Source: The Journal of Systems and Software. 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 et al. An assessment of extended finite state machine test selection criteria. The Journal of Systems and Software, v. 123, n. Ja 2017, p. 106-118, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2016.09.044. Acesso em: 05 out. 2024.
APA
El-Fakih, K., Simão, A. da S., Jadoon, N., & Maldonado, J. C. (2017). An assessment of extended finite state machine test selection criteria. The Journal of Systems and Software, 123( Ja 2017), 106-118. doi:10.1016/j.jss.2016.09.044
NLM
El-Fakih K, Simão A da S, Jadoon N, Maldonado JC. An assessment of extended finite state machine test selection criteria [Internet]. The Journal of Systems and Software. 2017 ; 123( Ja 2017): 106-118.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.jss.2016.09.044
Vancouver
El-Fakih K, Simão A da S, Jadoon N, Maldonado JC. An assessment of extended finite state machine test selection criteria [Internet]. The Journal of Systems and Software. 2017 ; 123( Ja 2017): 106-118.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.jss.2016.09.044
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
Source: Information and Software Technology. 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
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
Source: Information and Software Technology. 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
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
Fault domain-based testing in imperfect situations: a heuristic approach and case studies (2015)
Belli, Fevzi; Beyazıt, Mutlu; Endo, André Takeshi; Aditya Mathur Aditya Mathur; Simão, Adenilso da Silva
Source: Software Quality Journal. 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. Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Software Quality Journal, 2015Tradução . . Disponível em: https://doi.org/10.1007/s11219-014-9242-6. Acesso em: 05 out. 2024.
APA
Belli, F., Beyazıt, M., Endo, A. T., Aditya Mathur Aditya Mathur,, & Simão, A. da S. (2015). Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Software Quality Journal. doi:10.1007/s11219-014-9242-6
NLM
Belli F, Beyazıt M, Endo AT, Aditya Mathur Aditya Mathur, Simão A da S. Fault domain-based testing in imperfect situations: a heuristic approach and case studies [Internet]. Software Quality Journal. 2015 ;[citado 2024 out. 05 ] Available from: https://doi.org/10.1007/s11219-014-9242-6
Vancouver
Belli F, Beyazıt M, Endo AT, Aditya Mathur Aditya Mathur, Simão A da S. Fault domain-based testing in imperfect situations: a heuristic approach and case studies [Internet]. Software Quality Journal. 2015 ;[citado 2024 out. 05 ] Available from: https://doi.org/10.1007/s11219-014-9242-6
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: 05 out. 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 out. 05 ] 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 out. 05 ] Available from: https://doi.org/10.1016/j.scico.2013.09.008
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: 05 out. 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 out. 05 ] 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 out. 05 ] Available from: https://doi.org/10.1016/j.scico.2014.02.004
Artigo de periodico
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods (2013)
Endo, André Takeshi; Simão, Adenilso da Silva
Source: Information and Software Technology. 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. 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
Source: Information and Software Technology. 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 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
A tranformational language for mutant description (2009)
Simão, Adenilso da Silva ; Maldonado, José Carlos ; Bigonha, Roberto da Silva
Source: Computer Languages, Systems & Structures. 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 MALDONADO, José Carlos e BIGONHA, Roberto da Silva. A tranformational language for mutant description. Computer Languages, Systems & Structures, v. 35, n. 3, p. 322-339, 2009Tradução . . Disponível em: https://doi.org/10.1016/j.cl.2008.10.001. Acesso em: 05 out. 2024.
APA
Simão, A. da S., Maldonado, J. C., & Bigonha, R. da S. (2009). A tranformational language for mutant description. Computer Languages, Systems & Structures, 35( 3), 322-339. doi:10.1016/j.cl.2008.10.001
NLM
Simão A da S, Maldonado JC, Bigonha R da S. A tranformational language for mutant description [Internet]. Computer Languages, Systems & Structures. 2009 ; 35( 3): 322-339.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.cl.2008.10.001
Vancouver
Simão A da S, Maldonado JC, Bigonha R da S. A tranformational language for mutant description [Internet]. Computer Languages, Systems & Structures. 2009 ; 35( 3): 322-339.[citado 2024 out. 05 ] Available from: https://doi.org/10.1016/j.cl.2008.10.001
Artigo de periodico
Towards deriving test sequences by model checking (2008)
Bonifácio, Adilson Luiz; Moura, Arnaldo Vieira; Simão, Adenilso da Silva ; Maldonado, José Carlos
Source: Eletronic Notes in Theoretical Computer Science. 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
BONIFÁCIO, Adilson Luiz et al. Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science, v. 195, p. 21-40, 2008Tradução . . Acesso em: 05 out. 2024.
APA
Bonifácio, A. L., Moura, A. V., Simão, A. da S., & Maldonado, J. C. (2008). Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science, 195, 21-40.
NLM
Bonifácio AL, Moura AV, Simão A da S, Maldonado JC. Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science. 2008 ; 195 21-40.[citado 2024 out. 05 ]
Vancouver
Bonifácio AL, Moura AV, Simão A da S, Maldonado JC. Towards deriving test sequences by model checking. Eletronic Notes in Theoretical Computer Science. 2008 ; 195 21-40.[citado 2024 out. 05 ]

USP Schools

ReP

Filtros

Authors

Date published

Subjects

Source title

Indexado em

Non normalized affiliation