Filtros : "ICMC-SSC" "ICMC" "Indexado no Computer Abstracts" Limpar

Filtros



Refine with date range


  • 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

    Acesso à fonteDOIHow to cite
    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: 19 nov. 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 nov. 19 ] 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 nov. 19 ] Available from: https://doi.org/10.1016/j.scico.2018.10.001
  • Source: Science of Computer Programming. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DURELLI, Vinícius H. S e DELAMARO, Márcio Eduardo e OFFUTT, Jeff. An experimental comparison of edge, edge-pair, and prime path criteria. Science of Computer Programming, v. 152, n. Ja 2018, p. 99-115, 2018Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2017.10.003. Acesso em: 19 nov. 2024.
    • APA

      Durelli, V. H. S., Delamaro, M. E., & Offutt, J. (2018). An experimental comparison of edge, edge-pair, and prime path criteria. Science of Computer Programming, 152( Ja 2018), 99-115. doi:10.1016/j.scico.2017.10.003
    • NLM

      Durelli VHS, Delamaro ME, Offutt J. An experimental comparison of edge, edge-pair, and prime path criteria [Internet]. Science of Computer Programming. 2018 ; 152( Ja 2018): 99-115.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.scico.2017.10.003
    • Vancouver

      Durelli VHS, Delamaro ME, Offutt J. An experimental comparison of edge, edge-pair, and prime path criteria [Internet]. Science of Computer Programming. 2018 ; 152( Ja 2018): 99-115.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.scico.2017.10.003
  • Source: Science of Computer Programming. Unidade: ICMC

    Subjects: FERRAMENTAS (SISTEMAS COMPUTACIONAIS), ONTOLOGIA, WEB SEMÂNTICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ELIAS, Endhe et al. A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs. Science of Computer Programming, v. 136, p. 43-59, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2016.10.005. Acesso em: 19 nov. 2024.
    • APA

      Elias, E., Santos, J., Bittencourt, I. I., Isotani, S., & Holanda, O. (2017). A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs. Science of Computer Programming, 136, 43-59. doi:10.1016/j.scico.2016.10.005
    • NLM

      Elias E, Santos J, Bittencourt II, Isotani S, Holanda O. A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs [Internet]. Science of Computer Programming. 2017 ; 136 43-59.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.scico.2016.10.005
    • Vancouver

      Elias E, Santos J, Bittencourt II, Isotani S, Holanda O. A semi-automatic system to evaluate the performance and scalability of ontology persistent APIs [Internet]. Science of Computer Programming. 2017 ; 136 43-59.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.scico.2016.10.005
  • Source: Applied Artificial Intelligence. Unidade: ICMC

    Subjects: COMPUTAÇÃO EVOLUTIVA, SISTEMAS EMBUTIDOS, ROBÓTICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FERREIRA, Bruno V. et al. Exploiting the use of convolutional neural networks for localization in indoor environments. Applied Artificial Intelligence, v. 31, n. 3, p. 279-287, 2017Tradução . . Disponível em: https://doi.org/10.1080/08839514.2017.1316592. Acesso em: 19 nov. 2024.
    • APA

      Ferreira, B. V., Carvalho, E., Ferreira, M. R., Vargas, P. A., Ueyama, J., & Pessin, G. (2017). Exploiting the use of convolutional neural networks for localization in indoor environments. Applied Artificial Intelligence, 31( 3), 279-287. doi:10.1080/08839514.2017.1316592
    • NLM

      Ferreira BV, Carvalho E, Ferreira MR, Vargas PA, Ueyama J, Pessin G. Exploiting the use of convolutional neural networks for localization in indoor environments [Internet]. Applied Artificial Intelligence. 2017 ; 31( 3): 279-287.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1080/08839514.2017.1316592
    • Vancouver

      Ferreira BV, Carvalho E, Ferreira MR, Vargas PA, Ueyama J, Pessin G. Exploiting the use of convolutional neural networks for localization in indoor environments [Internet]. Applied Artificial Intelligence. 2017 ; 31( 3): 279-287.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1080/08839514.2017.1316592
  • Source: Computers, Environment and Urban Systems. Unidade: ICMC

    Subjects: PROGRAMAÇÃO CONCORRENTE, SISTEMAS DISTRIBUÍDOS, SEGURANÇA PÚBLICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      UEYAMA, Jó et al. Enhancing reliability in Wireless Sensor Networks for adaptive river monitoring systems: reflections on their long-term deployment in Brazil. Computers, Environment and Urban Systems, v. 65, p. 41-52, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.compenvurbsys.2017.05.001. Acesso em: 19 nov. 2024.
    • APA

      Ueyama, J., Faiçal, B. S., Mano, L. Y., Bayer, G., Pessin, G., & Gomes, P. H. (2017). Enhancing reliability in Wireless Sensor Networks for adaptive river monitoring systems: reflections on their long-term deployment in Brazil. Computers, Environment and Urban Systems, 65, 41-52. doi:10.1016/j.compenvurbsys.2017.05.001
    • NLM

      Ueyama J, Faiçal BS, Mano LY, Bayer G, Pessin G, Gomes PH. Enhancing reliability in Wireless Sensor Networks for adaptive river monitoring systems: reflections on their long-term deployment in Brazil [Internet]. Computers, Environment and Urban Systems. 2017 ; 65 41-52.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.compenvurbsys.2017.05.001
    • Vancouver

      Ueyama J, Faiçal BS, Mano LY, Bayer G, Pessin G, Gomes PH. Enhancing reliability in Wireless Sensor Networks for adaptive river monitoring systems: reflections on their long-term deployment in Brazil [Internet]. Computers, Environment and Urban Systems. 2017 ; 65 41-52.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.compenvurbsys.2017.05.001
  • Source: Software testing, verification and reliability. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    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. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software testing, verification and reliability, v. 25, n. 3, p. 310-332, 2015Tradução . . Disponível em: https://doi.org/10.1002/stvr.1568. Acesso em: 19 nov. 2024.
    • APA

      Souza, S. do R. S. de, Souza, P. S. L. de, Brito, M. A. S., Simão, A. da S., & Zaluska, E. J. (2015). Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software testing, verification and reliability, 25( 3), 310-332. doi:10.1002/stvr.1568
    • NLM

      Souza S do RS de, Souza PSL de, Brito MAS, Simão A da S, Zaluska EJ. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs [Internet]. Software testing, verification and reliability. 2015 ; 25( 3): 310-332.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1002/stvr.1568
    • Vancouver

      Souza S do RS de, Souza PSL de, Brito MAS, Simão A da S, Zaluska EJ. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs [Internet]. Software testing, verification and reliability. 2015 ; 25( 3): 310-332.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1002/stvr.1568
  • Source: Science of Computer Programming. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    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: 19 nov. 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 nov. 19 ] 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 nov. 19 ] Available from: https://doi.org/10.1016/j.scico.2013.09.008
  • Source: Science of Computer Programming. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      PAPADAKIS, Mike e DELAMARO, Márcio Eduardo e TRAON, Yves Le. Mitigating the effects of equivalent mutants with mutant classification strategies. Science of Computer Programming, v. 95, p. 298-319, 2014Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2014.05.012. Acesso em: 19 nov. 2024.
    • APA

      Papadakis, M., Delamaro, M. E., & Traon, Y. L. (2014). Mitigating the effects of equivalent mutants with mutant classification strategies. Science of Computer Programming, 95, 298-319. doi:10.1016/j.scico.2014.05.012
    • NLM

      Papadakis M, Delamaro ME, Traon YL. Mitigating the effects of equivalent mutants with mutant classification strategies [Internet]. Science of Computer Programming. 2014 ; 95 298-319.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.scico.2014.05.012
    • Vancouver

      Papadakis M, Delamaro ME, Traon YL. Mitigating the effects of equivalent mutants with mutant classification strategies [Internet]. Science of Computer Programming. 2014 ; 95 298-319.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.scico.2014.05.012
  • Source: Science of Computer Programming. Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FERRARI, Fabiano Cutigi e RASHID, Awais e MALDONADO, José Carlos. Towards the practical mutation testing of AspectJ programs. Science of Computer Programming, v. 78, n. 9, p. 1639\20131662, 2013Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2013.02.011. Acesso em: 19 nov. 2024.
    • APA

      Ferrari, F. C., Rashid, A., & Maldonado, J. C. (2013). Towards the practical mutation testing of AspectJ programs. Science of Computer Programming, 78( 9), 1639\20131662. doi:10.1016/j.scico.2013.02.011
    • NLM

      Ferrari FC, Rashid A, Maldonado JC. Towards the practical mutation testing of AspectJ programs [Internet]. Science of Computer Programming. 2013 ; 78( 9): 1639\20131662.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.scico.2013.02.011
    • Vancouver

      Ferrari FC, Rashid A, Maldonado JC. Towards the practical mutation testing of AspectJ programs [Internet]. Science of Computer Programming. 2013 ; 78( 9): 1639\20131662.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.scico.2013.02.011
  • Source: The Journal of Systems and Software. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      NAKAGAWA, Elisa Yumi et al. Relevance and perspectives of AAL in Brazil. The Journal of Systems and Software, v. 86, n. 4, p. 985-996, 2013Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2012.10.013. Acesso em: 19 nov. 2024.
    • APA

      Nakagawa, E. Y., Antonino, P. O., Becker, M., Maldonado, J. C., Storf, H., Villela, K. B., & Rombach, D. (2013). Relevance and perspectives of AAL in Brazil. The Journal of Systems and Software, 86( 4), 985-996. doi:10.1016/j.jss.2012.10.013
    • NLM

      Nakagawa EY, Antonino PO, Becker M, Maldonado JC, Storf H, Villela KB, Rombach D. Relevance and perspectives of AAL in Brazil [Internet]. The Journal of Systems and Software. 2013 ; 86( 4): 985-996.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.jss.2012.10.013
    • Vancouver

      Nakagawa EY, Antonino PO, Becker M, Maldonado JC, Storf H, Villela KB, Rombach D. Relevance and perspectives of AAL in Brazil [Internet]. The Journal of Systems and Software. 2013 ; 86( 4): 985-996.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.jss.2012.10.013
  • Source: Applied Artificial Intelligence. Unidade: ICMC

    Subjects: COMPUTAÇÃO EVOLUTIVA, SISTEMAS EMBUTIDOS, ROBÓTICA

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      PESSIN, Gustavo et al. Investigation on the evolution of an indoor robotic localization system based on wireless networks. Applied Artificial Intelligence, v. 27, n. 8, p. 743\2013758, 2013Tradução . . Acesso em: 19 nov. 2024.
    • APA

      Pessin, G., Osório, F. S., Souza, J. R., Ueyama, J., Costa, F. G., Wolf, D. F., et al. (2013). Investigation on the evolution of an indoor robotic localization system based on wireless networks. Applied Artificial Intelligence, 27( 8), 743\2013758.
    • NLM

      Pessin G, Osório FS, Souza JR, Ueyama J, Costa FG, Wolf DF, Dimitrova D, Braun T, Vargas PA. Investigation on the evolution of an indoor robotic localization system based on wireless networks. Applied Artificial Intelligence. 2013 ; 27( 8): 743\2013758.[citado 2024 nov. 19 ]
    • Vancouver

      Pessin G, Osório FS, Souza JR, Ueyama J, Costa FG, Wolf DF, Dimitrova D, Braun T, Vargas PA. Investigation on the evolution of an indoor robotic localization system based on wireless networks. Applied Artificial Intelligence. 2013 ; 27( 8): 743\2013758.[citado 2024 nov. 19 ]
  • Source: Software testing, verification and reliability. Unidades: ICMC, EACH

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DELAMARO, Márcio Eduardo e MARQUES, Fátima de Lourdes dos Santos Nunes e OLIVEIRA, Rafael A. P. Using concepts of content-based image retrieval to implement graphical testing oracles. Software testing, verification and reliability, v. 23, n. 3, p. 171-198, 2013Tradução . . Disponível em: https://doi.org/10.1002/stvr.463. Acesso em: 19 nov. 2024.
    • APA

      Delamaro, M. E., Marques, F. de L. dos S. N., & Oliveira, R. A. P. (2013). Using concepts of content-based image retrieval to implement graphical testing oracles. Software testing, verification and reliability, 23( 3), 171-198. doi:10.1002/stvr.463
    • NLM

      Delamaro ME, Marques F de L dos SN, Oliveira RAP. Using concepts of content-based image retrieval to implement graphical testing oracles [Internet]. Software testing, verification and reliability. 2013 ; 23( 3): 171-198.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1002/stvr.463
    • Vancouver

      Delamaro ME, Marques F de L dos SN, Oliveira RAP. Using concepts of content-based image retrieval to implement graphical testing oracles [Internet]. Software testing, verification and reliability. 2013 ; 23( 3): 171-198.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1002/stvr.463
  • Source: The Journal of Systems and Software. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      LEMOS, Otávio Augusto Lazzarini et al. Evaluation studies of software testing research in Brazil and in the world: a survey of two premier software engineering conferences. The Journal of Systems and Software, v. 86, n. 4, p. 951-969, 2013Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2012.11.040. Acesso em: 19 nov. 2024.
    • APA

      Lemos, O. A. L., Ferrari, F. C., Eler, M. M., Maldonado, J. C., & Masiero, P. C. (2013). Evaluation studies of software testing research in Brazil and in the world: a survey of two premier software engineering conferences. The Journal of Systems and Software, 86( 4), 951-969. doi:10.1016/j.jss.2012.11.040
    • NLM

      Lemos OAL, Ferrari FC, Eler MM, Maldonado JC, Masiero PC. Evaluation studies of software testing research in Brazil and in the world: a survey of two premier software engineering conferences [Internet]. The Journal of Systems and Software. 2013 ; 86( 4): 951-969.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.jss.2012.11.040
    • Vancouver

      Lemos OAL, Ferrari FC, Eler MM, Maldonado JC, Masiero PC. Evaluation studies of software testing research in Brazil and in the world: a survey of two premier software engineering conferences [Internet]. The Journal of Systems and Software. 2013 ; 86( 4): 951-969.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.jss.2012.11.040
  • Source: The Journal of Systems and Software. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      KULESZA, Uirá et al. The crosscutting impact of the AOSD Brazilian research community. The Journal of Systems and Software, v. 86, n. 4, p. 905-933, 2013Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2012.08.031. Acesso em: 19 nov. 2024.
    • APA

      Kulesza, U., Soares, S., Chavez, C., Castor, F., Borba, P., Lucena, C., et al. (2013). The crosscutting impact of the AOSD Brazilian research community. The Journal of Systems and Software, 86( 4), 905-933. doi:10.1016/j.jss.2012.08.031
    • NLM

      Kulesza U, Soares S, Chavez C, Castor F, Borba P, Lucena C, Masiero PC, Sant’Anna C, Ferrari F, Alves V, Coelho R, Figueiredo E, Pires PF, Delicato F, Piveta E, Silva C, Camargo V, Braga RTV, Leite J, Lemos O, Mendonça N, Batista T, Bonifácio R, Cacho N, Silva L, von Staa A, Silveira F, Valente MT, Alencar F, Castro J, Ramos R, Penteado R, Rubira C. The crosscutting impact of the AOSD Brazilian research community [Internet]. The Journal of Systems and Software. 2013 ; 86( 4): 905-933.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.jss.2012.08.031
    • Vancouver

      Kulesza U, Soares S, Chavez C, Castor F, Borba P, Lucena C, Masiero PC, Sant’Anna C, Ferrari F, Alves V, Coelho R, Figueiredo E, Pires PF, Delicato F, Piveta E, Silva C, Camargo V, Braga RTV, Leite J, Lemos O, Mendonça N, Batista T, Bonifácio R, Cacho N, Silva L, von Staa A, Silveira F, Valente MT, Alencar F, Castro J, Ramos R, Penteado R, Rubira C. The crosscutting impact of the AOSD Brazilian research community [Internet]. The Journal of Systems and Software. 2013 ; 86( 4): 905-933.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.jss.2012.08.031
  • Source: Software testing, verification and reliability. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    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 e NINA YEVTUSHENKO,. On reducing test length for FSMs with extra states. Software testing, verification and reliability, v. 22, n. 6, p. 435-454, 2012Tradução . . Disponível em: https://doi.org/10.1002/stvr.452. Acesso em: 19 nov. 2024.
    • APA

      Simão, A. da S., Petrenko, A., & Nina Yevtushenko,. (2012). On reducing test length for FSMs with extra states. Software testing, verification and reliability, 22( 6), 435-454. doi:10.1002/stvr.452
    • NLM

      Simão A da S, Petrenko A, Nina Yevtushenko. On reducing test length for FSMs with extra states [Internet]. Software testing, verification and reliability. 2012 ; 22( 6): 435-454.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1002/stvr.452
    • Vancouver

      Simão A da S, Petrenko A, Nina Yevtushenko. On reducing test length for FSMs with extra states [Internet]. Software testing, verification and reliability. 2012 ; 22( 6): 435-454.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1002/stvr.452
  • Source: The Journal of Systems and Software. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      NAKAGAWA, Elisa Yumi et al. An aspect-oriented reference architecture for software engineering environments. The Journal of Systems and Software, v. 84, n. 10, p. 1670-1684, 2011Tradução . . Disponível em: https://doi.org/10.1016/j.astropartphys.2010.12.007. Acesso em: 19 nov. 2024.
    • APA

      Nakagawa, E. Y., Ferrari, F. C., Sasaki, M. M. F., & Maldonado, J. C. (2011). An aspect-oriented reference architecture for software engineering environments. The Journal of Systems and Software, 84( 10), 1670-1684. doi:10.1016/j.astropartphys.2010.12.007
    • NLM

      Nakagawa EY, Ferrari FC, Sasaki MMF, Maldonado JC. An aspect-oriented reference architecture for software engineering environments [Internet]. The Journal of Systems and Software. 2011 ; 84( 10): 1670-1684.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.astropartphys.2010.12.007
    • Vancouver

      Nakagawa EY, Ferrari FC, Sasaki MMF, Maldonado JC. An aspect-oriented reference architecture for software engineering environments [Internet]. The Journal of Systems and Software. 2011 ; 84( 10): 1670-1684.[citado 2024 nov. 19 ] Available from: https://doi.org/10.1016/j.astropartphys.2010.12.007
  • Source: The Computer Journal Advance Access. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    Acesso à fonteDOIHow to cite
    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. Fault coverage-driven incremental test generation. The Computer Journal Advance Access, v. 53, n. 9, 2010Tradução . . Disponível em: https://doi.org/10.1093/comjnl/bxp073. Acesso em: 19 nov. 2024.
    • APA

      Simão, A. da S., & Petrenko, A. (2010). Fault coverage-driven incremental test generation. The Computer Journal Advance Access, 53( 9). doi:10.1093/comjnl/bxp073
    • NLM

      Simão A da S, Petrenko A. Fault coverage-driven incremental test generation [Internet]. The Computer Journal Advance Access. 2010 ; 53( 9):[citado 2024 nov. 19 ] Available from: https://doi.org/10.1093/comjnl/bxp073
    • Vancouver

      Simão A da S, Petrenko A. Fault coverage-driven incremental test generation [Internet]. The Computer Journal Advance Access. 2010 ; 53( 9):[citado 2024 nov. 19 ] Available from: https://doi.org/10.1093/comjnl/bxp073

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024