Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Avoiding useless mutants (2017)

  • Authors:
  • USP affiliated authors: MALDONADO, JOSÉ CARLOS - ICMC
  • USP Schools: ICMC
  • DOI: 10.1145/3170492.3136053
  • Subjects: ENGENHARIA DE SOFTWARE; SOFTWARES; MUTAÇÃO; TRANSFORMAÇÃO DE PROGRAMAS; GERAÇÃO DE CÓDIGO
  • Keywords: Equivalent Mutants; Duplicated Mutants
  • Language: Inglês
  • Imprenta:
  • Source:
    • Título do periódico: ACM SIGPLAN Notices
    • Volume/Número/Paginação/Ano: v. 52, n. 12, p. 187-198, Dez. 2017
  • Conference titles: ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE
  • Acesso online ao documento

    Online accessDOI or search this record in
    Informações sobre o DOI: 10.1145/3170492.3136053 (Fonte: oaDOI API)
    • Este periódico é de assinatura
    • Este artigo NÃO é de acesso aberto
    Versões disponíveis em Acesso Aberto do: 10.1145/3170492.3136053 (Fonte: Unpaywall API)

    Título do periódico: ACM SIGPLAN Notices

    ISSN: 0362-1340



      Não possui versão em Acesso aberto
    Informações sobre o Citescore
  • Título: ACM SIGPLAN Notices

    ISSN: 1523-2867

    Citescore - 2017: 1.78

    SJR - 2017: 0.358

    SNIP - 2017: 1.502


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

    • ABNT

      FERNANDES, Leonardo; RIBEIRO, Márcio; CARVALHO, Luiz; et al. Avoiding useless mutants. ACM SIGPLAN Notices[S.l: s.n.], 2017.Disponível em: DOI: 10.1145/3170492.3136053.
    • APA

      Fernandes, L., Ribeiro, M., Carvalho, L., Gheyi, R., Mongiovi, M., Santos, A., et al. (2017). Avoiding useless mutants. ACM SIGPLAN Notices. New York: ACM. doi:10.1145/3170492.3136053
    • NLM

      Fernandes L, Ribeiro M, Carvalho L, Gheyi R, Mongiovi M, Santos A, Cavalcanti A, Ferrari FC, Maldonado JC. Avoiding useless mutants [Internet]. ACM SIGPLAN Notices. 2017 ; 52( 12): 187-198.Available from: http://dx.doi.org/10.1145/3170492.3136053
    • Vancouver

      Fernandes L, Ribeiro M, Carvalho L, Gheyi R, Mongiovi M, Santos A, Cavalcanti A, Ferrari FC, Maldonado JC. Avoiding useless mutants [Internet]. ACM SIGPLAN Notices. 2017 ; 52( 12): 187-198.Available from: http://dx.doi.org/10.1145/3170492.3136053

    Referências citadas na obra
    2017. PITest Mutation Testing Tool for Java. (2017). http://pitest.org/ Accessed: 2017-05-20.
    Konstantinos Adamopoulos, Mark Harman, and Robert M Hierons. 2004. How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution. In Genetic and evolutionary computation conference. 1338-1349.
    Jr. Allen Troy Acree. 1980. On Mutation. Ph.D. Dissertation. Georgia Institute of Technology.
    Cyrille Artho and Lei Ma. 2016. Classification of randomly generated test cases. In Software Analysis, Evolution, and Reengineering (SANER), IEEE 23rd International Conference on. 29-32.
    Douglas Baldwin and Frederick Sayward. 1979. Heuristics for Determining Equivalence of Program Mutations. Technical Report. DTIC Document.
    Timothy Budd and Dana Angluin. 1982. Two notions of correctness and their relation to testing. Acta Informatica 18, 1 (1982), 31-45.
    Richard DeMillo, Richard Lipton, and Frederick Sayward. 1978. Hints on Test Data Selection: Help for the Practicing Programmer. Computer 11, 4 (1978), 34-41.
    Gordon Fraser and Andrea Arcuri. 2011. EvoSuite: automatic test suite generation for object-oriented software. In Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. 416-419.
    Bernhard JM Grun, David Schuler, and Andreas Zeller. 2009. The impact of equivalent mutants. In Software Testing, Verification and Validation Workshops. ICSTW. International Conference on. 192-199.
    Rob Hierons, Mark Harman, and Sebastian Danicic. 1999. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability 9, 4 (1999), 233-262.
    Daniel Jackson. 2012. Software Abstractions: Logic, Language, and Analysis. 2nd edition. The MIT Press.
    Daniel Jackson, Ian Schechter, and Hya Shlyahter. 2000. Alcoa: the Alloy constraint analyzer. In Proceedings of the 31st International Conference on Software Engineering (ICSE). IEEE Computer Society, 730-733.
    Yue Jia and Mark Harman. 2011. An Analysis and Survey of the Development of Mutation Testing. IEEE Transactions on Software Engineering 37, 5 (2011), 649-678.
    Rene Just, Darioush Jalali, Laura Inozemtseva, Michael Ernst, Reid Holmes, and Gordon Fraser. 2014. Are mutants a valid substitute for real faults in software testing?. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. 654-665.
    Rene Just, Bob Kurtz, and Paul Ammann. 2017. Inferring Mutant Utility from Program Context. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA).
    Rene Just, Franz Schweiggert, and Gregory Kapfhammer. 2011. MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering. 612-615.
    Marinos Kintis and Nicos Malevris. 2015. MEDIC: A static analysis framework for equivalent mutant identification. Information and Software Technology 68 (2015), 1-17.
    Marinos Kintis, Mike Papadakis, Yue Jia, Nicos Malevris, Yves Le Traon, and Mark Harman. 2017. Detecting Trivial Mutant Equivalences via Compiler Optimisations. IEEE Transactions on Software Engineering PP, 99 (2017), 1-1.
    Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, and Nicos Malevris. 2016. Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study. In Source Code Analysis and Manipulation (SCAM), 16th International Working Conference on. 147-156.
    Yu-Seung Ma, Jeff Offutt, and Yong Rae Kwon. 2005. MuJava: An automated class mutation system. Software Testing, Verification and Reliability 15, 2 (2005), 97-133.
    Lech Madeyski, Wojciech Orzeszyna, Richard Torkar, and Mariusz Jozala. 2014. Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation. IEEE Transactions on Software Engineering 40, 1 (2014), 23-42.
    Melina Mongiovi. 2017. Scaling Testing of Refactoring Engines. Ph.D. Dissertation. Federal University of Campina Grande (UFCG).
    Melina Mongiovi, Gustavo Mendes, Rohit Gheyi, Gustavo Soares, and Marcio Ribeiro. 2014. Scaling testing of refactoring engines. In Software Maintenance and Evolution (ICSME), IEEE International Conference on. 371-380.
    Jeff Offutt, Yu-Seung Ma, and Yong-Rae Kwon. 2006. The Class-level Mutants of MuJava. In Proceedings of the 2006 International Workshop on Automation of Software Test. 78-84.
    Jeff Offutt and Jie Pan. 1996. Detecting equivalent mutants and the feasible path problem. In Computer Assurance, 1996. COMPASS, Systems Integrity. Software Safety. Process Security. Proceedings of the Eleventh Annual Conference on. 224-236.
    Jeff Offutt and Jie Pan. 1997. Automatically detecting equivalent mutants and infeasible paths. Software Testing, Verification and Reliability 7, 3 (1997), 165-192.
    Carlos Pacheco, Shuvendu Lahiri, Michael Ernst, and Thomas Ball. 2007. Feedback-directed random test generation. In Proceedings of the 29th International Conference on Software Engineering. 75-84.
    Mike Papadakis, Yue Jia, Mark Harman, and Yves Le Traon. 2015. Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 936-946.
    Corina S. Pasareanu and Neha Rungta. 2010. Symbolic PathFinder: symbolic execution of Java bytecode. In Proceedings of the IEEE/ACM international conference on Automated software engineering. 179-180.
    David Schuler, Valentin Dallmeier, and Andreas Zeller. 2009. Efficient Mutation Testing by Checking Invariant Violations. In Proceedings of the Eighteenth International Symposium on Software Testing and Analysis. 69-80.
    David Schuler and Andreas Zeller. 2010. (Un-)Covering Equivalent Mutants. In Third International Conference on Software Testing, Verification and Validation. 45-54.
    David Schuler and Andreas Zeller. 2013. Covering and Uncovering Equivalent Mutants. Software Testing, Verification and Reliability 23, 5 (2013), 353-374.
    Gustavo Soares, Rohit Gheyi, and Tiago Massoni. 2013. Automated behavioral testing of refactoring engines. IEEE Transactions on Software Engineering 39, 2 (2013), 147-162.
    Gustavo Soares, Rohit Gheyi, Dalton Serey, and Tiago Massoni. 2010. Making program refactoring safer. IEEE software 27, 4 (2010), 52-57.
    Jeffrey Voas and Gary McGraw. 1997. Software fault injection: inoculating programs against errors. John Wiley & Sons, Inc.