ReP USP - Resultado da busca

Artigo de periodico
Human protein-protein interaction networks: a topological comparison review (2024)
Ramos, Rodrigo Henrique ; Ferreira, Cynthia de Oliveira Lage ; Simão, Adenilso da Silva
Source: Heliyon. Unidade: ICMC
Subjects: TOPOLOGIA, PROTEÍNAS, CENTRALIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RAMOS, Rodrigo Henrique e FERREIRA, Cynthia de Oliveira Lage e SIMÃO, Adenilso da Silva. Human protein-protein interaction networks: a topological comparison review. Heliyon, v. 10, p. 1-10, 2024Tradução . . Disponível em: https://doi.org/10.1016/j.heliyon.2024.e27278. Acesso em: 08 set. 2024.
APA
Ramos, R. H., Ferreira, C. de O. L., & Simão, A. da S. (2024). Human protein-protein interaction networks: a topological comparison review. Heliyon, 10, 1-10. doi:10.1016/j.heliyon.2024.e27278
NLM
Ramos RH, Ferreira C de OL, Simão A da S. Human protein-protein interaction networks: a topological comparison review [Internet]. Heliyon. 2024 ; 10 1-10.[citado 2024 set. 08 ] Available from: https://doi.org/10.1016/j.heliyon.2024.e27278
Vancouver
Ramos RH, Ferreira C de OL, Simão A da S. Human protein-protein interaction networks: a topological comparison review [Internet]. Heliyon. 2024 ; 10 1-10.[citado 2024 set. 08 ] Available from: https://doi.org/10.1016/j.heliyon.2024.e27278
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: 08 set. 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 set. 08 ] 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 set. 08 ] Available from: https://doi.org/10.1007/s10664-020-09912-w
Artigo de periodico
Model-based test case generation from UML sequence diagrams using extended finite state machines (2021)
Rocha, Mauricio Rego Mota da ; Simão, Adenilso da Silva ; Sousa, Thiago
Source: Software Quality Journal. Unidade: ICMC
Subjects: AUTOMAÇÃO INDUSTRIAL, TESTE E AVALIAÇÃO DE SOFTWARE, ESTUDO DE CASO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Mauricio Rego Mota da e SIMÃO, Adenilso da Silva e SOUSA, Thiago. Model-based test case generation from UML sequence diagrams using extended finite state machines. Software Quality Journal, v. 29, p. 597-627, 2021Tradução . . Disponível em: https://doi.org/10.1007/s11219-020-09531-0. Acesso em: 08 set. 2024.
APA
Rocha, M. R. M. da, Simão, A. da S., & Sousa, T. (2021). Model-based test case generation from UML sequence diagrams using extended finite state machines. Software Quality Journal, 29, 597-627. doi:10.1007/s11219-020-09531-0
NLM
Rocha MRM da, Simão A da S, Sousa T. Model-based test case generation from UML sequence diagrams using extended finite state machines [Internet]. Software Quality Journal. 2021 ; 29 597-627.[citado 2024 set. 08 ] Available from: https://doi.org/10.1007/s11219-020-09531-0
Vancouver
Rocha MRM da, Simão A da S, Sousa T. Model-based test case generation from UML sequence diagrams using extended finite state machines [Internet]. Software Quality Journal. 2021 ; 29 597-627.[citado 2024 set. 08 ] Available from: https://doi.org/10.1007/s11219-020-09531-0
Artigo de periodico
A computational approach for the discovery of significant cancer genes by weighted mutation and asymmetric spreading strength in networks (2021)
Cutigi, Jorge Francisco ; Evangelista, Adriane Feijó ; Reis, Rui Manuel Vieira ; Simão, Adenilso da Silva
Source: Scientific Reports. Unidade: ICMC
Subjects: BIOINFORMÁTICA, GENÔMICA, NEOPLASIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CUTIGI, Jorge Francisco et al. A computational approach for the discovery of significant cancer genes by weighted mutation and asymmetric spreading strength in networks. Scientific Reports, v. 11, p. 1-10, 2021Tradução . . Disponível em: https://doi.org/10.1038/s41598-021-02671-8. Acesso em: 08 set. 2024.
APA
Cutigi, J. F., Evangelista, A. F., Reis, R. M. V., & Simão, A. da S. (2021). A computational approach for the discovery of significant cancer genes by weighted mutation and asymmetric spreading strength in networks. Scientific Reports, 11, 1-10. doi:10.1038/s41598-021-02671-8
NLM
Cutigi JF, Evangelista AF, Reis RMV, Simão A da S. A computational approach for the discovery of significant cancer genes by weighted mutation and asymmetric spreading strength in networks [Internet]. Scientific Reports. 2021 ; 11 1-10.[citado 2024 set. 08 ] Available from: https://doi.org/10.1038/s41598-021-02671-8
Vancouver
Cutigi JF, Evangelista AF, Reis RMV, Simão A da S. A computational approach for the discovery of significant cancer genes by weighted mutation and asymmetric spreading strength in networks [Internet]. Scientific Reports. 2021 ; 11 1-10.[citado 2024 set. 08 ] Available from: https://doi.org/10.1038/s41598-021-02671-8
Artigo de periodico
hW-inference: a heuristic approach to retrieve models through black box testing (2020)
Groz, Roland ; Bremond, Nicolas ; Simão, Adenilso da Silva ; Oriat, Catherine
Source: Journal of Systems and Software. Unidade: ICMC
Subjects: ENGENHARIA REVERSA DE SOFTWARE, INFERÊNCIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GROZ, Roland et al. hW-inference: a heuristic approach to retrieve models through black box testing. Journal of Systems and Software, v. 159, p. 1-19, 2020Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2019.110426. Acesso em: 08 set. 2024.
APA
Groz, R., Bremond, N., Simão, A. da S., & Oriat, C. (2020). hW-inference: a heuristic approach to retrieve models through black box testing. Journal of Systems and Software, 159, 1-19. doi:10.1016/j.jss.2019.110426
NLM
Groz R, Bremond N, Simão A da S, Oriat C. hW-inference: a heuristic approach to retrieve models through black box testing [Internet]. Journal of Systems and Software. 2020 ; 159 1-19.[citado 2024 set. 08 ] Available from: https://doi.org/10.1016/j.jss.2019.110426
Vancouver
Groz R, Bremond N, Simão A da S, Oriat C. hW-inference: a heuristic approach to retrieve models through black box testing [Internet]. Journal of Systems and Software. 2020 ; 159 1-19.[citado 2024 set. 08 ] Available from: https://doi.org/10.1016/j.jss.2019.110426
Artigo de periodico
Approaches for the identification of driver mutations in cancer: a tutorial from a computational perspective (2020)
Cutigi, Jorge Francisco ; Evangelista, Adriane Feijó ; Simão, Adenilso da Silva
Source: Journal of Bioinformatics and Computational Biology. Unidade: ICMC
Subjects: NEOPLASIAS, MUTAÇÃO GENÉTICA, BIOINFORMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CUTIGI, Jorge Francisco e EVANGELISTA, Adriane Feijó e SIMÃO, Adenilso da Silva. Approaches for the identification of driver mutations in cancer: a tutorial from a computational perspective. Journal of Bioinformatics and Computational Biology, v. 18, n. 3, p. 2050016-1-2050016-32, 2020Tradução . . Disponível em: https://doi.org/10.1142/S021972002050016X. Acesso em: 08 set. 2024.
APA
Cutigi, J. F., Evangelista, A. F., & Simão, A. da S. (2020). Approaches for the identification of driver mutations in cancer: a tutorial from a computational perspective. Journal of Bioinformatics and Computational Biology, 18( 3), 2050016-1-2050016-32. doi:10.1142/S021972002050016X
NLM
Cutigi JF, Evangelista AF, Simão A da S. Approaches for the identification of driver mutations in cancer: a tutorial from a computational perspective [Internet]. Journal of Bioinformatics and Computational Biology. 2020 ; 18( 3): 2050016-1-2050016-32.[citado 2024 set. 08 ] Available from: https://doi.org/10.1142/S021972002050016X
Vancouver
Cutigi JF, Evangelista AF, Simão A da S. Approaches for the identification of driver mutations in cancer: a tutorial from a computational perspective [Internet]. Journal of Bioinformatics and Computational Biology. 2020 ; 18( 3): 2050016-1-2050016-32.[citado 2024 set. 08 ] Available from: https://doi.org/10.1142/S021972002050016X
Artigo de periodico
Event tree algorithms to generate test sequences for composite web services (2019)
Endo, André Takeshi; Simão, Adenilso da Silva
Source: Software Testing, Verification and Reliability. Unidade: ICMC
Subjects: ARQUITETURA ORIENTADA A SERVIÇOS, ALGORITMOS, ENGENHARIA DE SOFTWARE
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. Event tree algorithms to generate test sequences for composite web services. Software Testing, Verification and Reliability, v. 29, n. 3, p. 1-25, 2019Tradução . . Disponível em: https://doi.org/10.1002/stvr.1637. Acesso em: 08 set. 2024.
APA
Endo, A. T., & Simão, A. da S. (2019). Event tree algorithms to generate test sequences for composite web services. Software Testing, Verification and Reliability, 29( 3), 1-25. doi:10.1002/stvr.1637
NLM
Endo AT, Simão A da S. Event tree algorithms to generate test sequences for composite web services [Internet]. Software Testing, Verification and Reliability. 2019 ; 29( 3): 1-25.[citado 2024 set. 08 ] Available from: https://doi.org/10.1002/stvr.1637
Vancouver
Endo AT, Simão A da S. Event tree algorithms to generate test sequences for composite web services [Internet]. Software Testing, Verification and Reliability. 2019 ; 29( 3): 1-25.[citado 2024 set. 08 ] Available from: https://doi.org/10.1002/stvr.1637
Artigo de periodico
Fault-based refinement-testing for CSP (2019)
Cavalcanti, Ana; Simão, Adenilso da Silva
Source: Software Quality Journal. Unidade: ICMC
Subjects: SEMÂNTICA DE PROGRAMAÇÃO, MODELOS, FALHA, ÁLGEBRA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAVALCANTI, Ana e SIMÃO, Adenilso da Silva. Fault-based refinement-testing for CSP. Software Quality Journal, v. 27, n. 2, p. 529-562, 2019Tradução . . Disponível em: https://doi.org/10.1007/s11219-018-9431-9. Acesso em: 08 set. 2024.
APA
Cavalcanti, A., & Simão, A. da S. (2019). Fault-based refinement-testing for CSP. Software Quality Journal, 27( 2), 529-562. doi:10.1007/s11219-018-9431-9
NLM
Cavalcanti A, Simão A da S. Fault-based refinement-testing for CSP [Internet]. Software Quality Journal. 2019 ; 27( 2): 529-562.[citado 2024 set. 08 ] Available from: https://doi.org/10.1007/s11219-018-9431-9
Vancouver
Cavalcanti A, Simão A da S. Fault-based refinement-testing for CSP [Internet]. Software Quality Journal. 2019 ; 27( 2): 529-562.[citado 2024 set. 08 ] Available from: https://doi.org/10.1007/s11219-018-9431-9
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: 08 set. 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 set. 08 ] 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 set. 08 ] 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: 08 set. 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 set. 08 ] 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 set. 08 ] 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: 08 set. 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 set. 08 ] 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 set. 08 ] 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: 08 set. 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 set. 08 ] 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 set. 08 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003
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: 08 set. 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 set. 08 ] 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 set. 08 ] Available from: https://doi.org/10.1016/j.scico.2013.09.008
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: 08 set. 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 set. 08 ] 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 set. 08 ] 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: 08 set. 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 set. 08 ] 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 set. 08 ] 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: 08 set. 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 set. 08 ] 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 set. 08 ] 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: 08 set. 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 set. 08 ]
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 set. 08 ]
Trabalho de evento-anais periodico
Generating checking sequences for partial finite state machines (2008)
Simão, Adenilso da Silva ; Petrenko, Alexandre
Source: Lecture Notes in Computer Science. Conference titles: International Conference, TestCom 2008 - IFIP TC6/WG 6.1. 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 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: 08 set. 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 set. 08 ] 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 set. 08 ] Available from: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Funding Agencies

Indexado em

Normalized affiliation

Non normalized affiliation

Countries of institutions of collaboration