Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Correlating automatic static analysis and mutation testing: towards incremental strategies (2016)

  • Authors:
  • USP affiliated authors: DELAMARO, MÁRCIO EDUARDO - ICMC ; MALDONADO, JOSÉ CARLOS - ICMC
  • USP Schools: ICMC; ICMC
  • DOI: 10.1186/s40411-016-0031-8
  • Subjects: ENGENHARIA DE SOFTWARE; SISTEMAS DE INFORMAÇÃO
  • Keywords: Software testing; Warnings; Mutants; Static analysis; Mutation testing; Static analyzer evaluation
  • Language: Inglês
  • Imprenta:
  • Source:
  • Acesso online ao documento

    Online accessDOI or search this record in
    Informações sobre o DOI: 10.1186/s40411-016-0031-8 (Fonte: oaDOI API)
    • Este periódico é de acesso aberto
    • Este artigo é de acesso aberto
    • URL de acesso aberto
    • Cor do Acesso Aberto: bronze
    • Licença: cc-by
    Versões disponíveis em Acesso Aberto do: 10.1186/s40411-016-0031-8 (Fonte: Unpaywall API)

    Título do periódico: Journal of Software Engineering Research and Development

    ISSN: 2195-1721

    • Melhor URL em Acesso Aberto:


    • Outras alternativas de URLs em Acesso Aberto:


        • Página do artigo
        • Evidência: oa journal (via doaj)
        • Licença: cc-by
        • Versão: publishedVersion
        • Tipo de hospedagem: publisher



    Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    ICMC2791846-10PROD 2791846
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ARAÚJO, Claudio A.; DELAMARO, Márcio Eduardo; MALDONADO, José Carlos; VINCENZI, Auri Marcelo Rizzo. Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, Heidelberg, SpringerOpen, v. No 2016, n. 5, p. 1-32, 2016. Disponível em: < http://dx.doi.org/10.1186/s40411-016-0031-8 > DOI: 10.1186/s40411-016-0031-8.
    • APA

      Araújo, C. A., Delamaro, M. E., Maldonado, J. C., & Vincenzi, A. M. R. (2016). Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, No 2016( 5), 1-32. doi:10.1186/s40411-016-0031-8
    • NLM

      Araújo CA, Delamaro ME, Maldonado JC, Vincenzi AMR. Correlating automatic static analysis and mutation testing: towards incremental strategies [Internet]. Journal of Software Engineering Research and Development. 2016 ; No 2016( 5): 1-32.Available from: http://dx.doi.org/10.1186/s40411-016-0031-8
    • Vancouver

      Araújo CA, Delamaro ME, Maldonado JC, Vincenzi AMR. Correlating automatic static analysis and mutation testing: towards incremental strategies [Internet]. Journal of Software Engineering Research and Development. 2016 ; No 2016( 5): 1-32.Available from: http://dx.doi.org/10.1186/s40411-016-0031-8

    Referências citadas na obra
    Acree, AT, Budd TA, DeMillo RA, Lipton RJ, Sayward FG (1979) Mutation analysis. Tech rep DTIC Document.
    Andrews, JH, Briand LC, Labiche Y (2005) Is mutation an appropriate tool for testing experiments In: XXVII International Conference on Software Engineering – ICSE’05, 402–411.. ACM Press, New York, doi: 10.1145/1062455.1062530 doi:http://doi.acm.org/10.1145/1062455.1062530.
    Atlassian (2014) Jira. Tool’s Homepage, available at: https://www.atlassian.com/software/jira/ . Accessed 2 July 2014.
    Ayewah, N, Pugh W, Morgenthaler JD, Penix J, Zhou Y (2007a) Evaluating static analysis defect warnings on production software In: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE’07, 1–8.. ACM, New York, doi: 10.1145/1251535.1251536 .
    Ayewah, N, Pugh W, Morgenthaler JD, Penix J, Zhou Y (2007b) Using findbugs on production software In: Companion to the 22Nd ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications Companion, OOPSLA ’07, 805–806.. ACM, New York, doi: 10.1145/1297846.1297897 .
    Bugzilla (2014) Bugzilla – bug-tracking system. Tool’s Homepage, available at: http://www.bugzilla.org/ . Accessed 2 July 2014.
    Burn, O (2014) Checkstyle – coding standard verifier. Tool’s Homepage, available at: https://github.com/checkstyle/checkstyle . Accessed 2 July 2014.
    Coles, H (2015) Pitest: real world mutation testing. Web page. http://pitest.org/ . Last access: Accessed 2 July 2014.
    Copeland, L (2004) A practitioner’s guide to software test design. Artech House.
    Copeland, T (2005) PMD Applied: An Easy-to-use Guide for Developers. An easy-to-use guide for developers, Centennial Books.
    Couto, C, Montandon JaE, Silva C, Valente MT (2013) Static correspondence and correlation between field defects and warnings reported by a bug finding tool. Softw Qual J 21(2): 241–257. doi: 10.1007/s11219-011-9172-5 .
    Daimi, K, Banitaan S, Liszka K (2013) Examining the performance of java static analyzers In: XI International Conference on Software Engineering Research and Practice – SERP’13, 225–230.. CSREA Press, Las Vegas.
    Dallmeier, V, Zimmermann T (2007) Extraction of bug localization benchmarks from history In: Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering, ASE’07, 433–436.. ACM, New York, doi: 10.1145/1321631.1321702 .
    de Araújo Filho, JE, de Moura Couto CF, de Souza SJ, Valente MT (2010) A Study on the Correlation Between Field Defects and Warnings Reported by a Static Analysis Tool In: IX Brazilian Symposium on Software Quality – SBQS‘2010, 9–23.. SBC, Belém.
    DeMillo, RA, Lipton RJ, Sayward FG (1978) Hints on test data selection: Help for the practicing programmer. Computer 11(4): 34–43.
    Evans, D, Larochelle D (2002) Improving security using extensible lightweight static analysis. IEEE Softw 19(1): 42–51. doi: 10.1109/52.976940 .
    Ferrari, FC, Nakagawa EY, Maldonado JC, Rashid A (2011) Proteum/AJ: A mutation system for AspectJ programs In: X International Conference on Aspect-oriented Software Development Companion – AOSD’11, 73–74.. ACM, New York, doi: 10.1145/1960314.1960340 .
    Hovemeyer, D, Pugh W (2004) Finding bugs is easy. SIGPLAN Not 39(12): 92–106. doi: 10.1145/1052883.1052895 .
    IEEE (1990) IEEE Standard Glossary of Software Engineering Terminology. IEEE Standards Board, New York.
    Just, R, Schweiggert F, Kapfhammer GM (2011) Major: An efficient and extensible tool for mutation analysis in a java compiler In: XXVI IEEE/ACM International Conference on Automated Software Engineering – ASE’11, 612–615.. IEEE Computer Society, Washington, DC, doi: 10.1109/ASE.2011.6100138 .
    Louridas, P (2006) Static code analysis. IEEE Softw 23(4): 58–61. doi: 10.1109/MS.2006.114 .
    Ma, YS, Offutt J (2005) Description of method-level mutation operators for Java. On-line document, available at: http://cs.gmu.edu/~offutt/mujava/mutopsMethod.pdf . Accessed 10 Aug 2015.
    Ma, YS, Offutt J, Kwon YR (2005) Mujava: an automated class mutation system: Research articles. Softw Test Verification Reliab 15(2): 97–133. doi: 10.1002/stvr.v15:2 .
    Mathur, AP (1991) Performance, effectiveness, and reliability issues in software testing In: Computer Software and Applications Conference, 1991. COMPSAC‘91., Proceedings of the Fifteenth Annual International, 604–605.. IEEE, New York. 10.1109/CMPSAC.1991.170248 .
    Microsoft (2014) StyleCop. Tool Homepage, available at: https://stylecop.codeplex.com/ . Accessed 2 July 2014.
    Mresa, E, Bottaci L (1999) Efficiency of mutation operators and selective mutation strategies: an empirical study. J Softw Test Verification Reliab 9(4): 205–232.
    Nagappan, N, Ball T (2005) Static analysis tools as early indicators of pre-release defect density In: Proceedings of the 27th International Conference on Software Engineering, ICSE ’05, 580–586.. ACM, New York, doi: 10.1145/1062455.1062558 .
    Offutt, AJ, Rothermel G, Zapf C (1993) An experimental evaluation of selective mutation In: 15th International Conference on Software Engineering, 100–107.. IEEE Computer Society Press, Baltimore.
    Offutt, AJ, Lee A, Rothermel G, Untch RH, Zapf C (1996) An experimental determination of sufficient mutant operators. ACM Trans Softw Eng Methodol 5(2): 99–118.
    Offutt, J, Ma YS, Kwon YR (2006) The class-level mutants of mujava In: Proceedings of the 2006 International Workshop on Automation of Software Test, AST ’06, 78–84.. ACM, New York, doi: 10.1145/1138929.1138945 .
    Pohl, J (2001) Lint - C program verifier. Tool’s Man Page, available at: http://www.unix.com/man-page/FreeBSD/1/lint . Access on: 2 July 2014.
    Polo, M, Piattini M, García-Rodríguez I (2009) Decreasing the cost of mutation testing with second-order mutants. Softw Test Verification Reliab 19(2): 111–131. doi: 10.1002/stvr.v19:2 .
    Shen, H, Fang J, Zhao J (2011) Efindbugs: Effective error ranking for findbugs In: Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST ’11, 299–308.. IEEE Computer Society, Washington, DC, doi: 10.1109/ICST.2011.51 .
    Tomas, P, Escalona MJ, Mejias M (2013) Open Source Tools for Measuring the Internal Quality of Java Software Products. A Survey. Computer Standards & Interfaces 36(1): 244–255. http://dx.doi.org/10.1016/j.csi.2013.08.006 .
    Vincenzi, AMR, Nakagawa EY, Maldonado JC, Delamaro ME, Romero RAF (2002) Bayesian-learning based guidelines to determine equivalent mutants. Int J Softw Eng Knowl Eng 12(06): 675–689.