{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:01Z","timestamp":1750221301951,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,20]],"date-time":"2017-09-20T00:00:00Z","timestamp":1505865600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,20]]},"DOI":"10.1145\/3131151.3131169","type":"proceedings-article","created":{"date-parts":[[2017,9,18]],"date-time":"2017-09-18T12:20:59Z","timestamp":1505737259000},"page":"24-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Incremental Strategy for Applying Mutation Operators Emphasizing Faults Difficult to be Detected by Automated Static Analyser"],"prefix":"10.1145","author":[{"given":"Vin\u00edcius Barcelos","family":"Silva","sequence":"first","affiliation":[{"name":"Departament of Computing, Federal University of S\u00e3o Carlos, S\u00e3o Carlos, SP"}]},{"given":"Cl\u00e1udio Antonio","family":"Araujo","sequence":"additional","affiliation":[{"name":"Tribunal Regional do Trabalho da 18a Regi\u00e3o, Goi\u00e2nia, GO"}]},{"given":"Edmundo S\u00e9rgio","family":"Spoto","sequence":"additional","affiliation":[{"name":"Instituto de Inform\u00e1tica, Universidade Federal de Goi\u00e1s, Alameda Palmeiras, Quadra D, Goi\u00e2nia, GO"}]},{"given":"Auri M. R.","family":"Vincenzi","sequence":"additional","affiliation":[{"name":"Departament of Computing, Federal University of S\u00e3o Carlos, S\u00e3o Carlos, SP"}]}],"member":"320","published-online":{"date-parts":[[2017,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_2_1","first-page":"1","article-title":"Correlating automatic static analysis and mutation testing: towards incremental strategies","volume":"4","author":"Araujo Cl\u00e1udio Antonio","year":"2016","unstructured":"Cl\u00e1udio Antonio Araujo , M\u00e1rcio Eduardo Delamaro , Jos\u00e9 Carlos Maldonado , and Auri Marcelo Rizzo Vincenzi . 2016 . Correlating automatic static analysis and mutation testing: towards incremental strategies . Journal of Software Engineering Research and Development--JSERD 4 , 1 (Nov. 2016), 1--32. Artigo em avalia\u00e7\u00e3o. Vers\u00e3o estendida do artigo \"Investigating the Corresponcende between Mutations and Static Warnings\" premiado entre os melhores artigos do SBES'2015. Cl\u00e1udio Antonio Araujo, M\u00e1rcio Eduardo Delamaro, Jos\u00e9 Carlos Maldonado, and Auri Marcelo Rizzo Vincenzi. 2016. Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development--JSERD 4, 1 (Nov. 2016), 1--32. Artigo em avalia\u00e7\u00e3o. Vers\u00e3o estendida do artigo \"Investigating the Corresponcende between Mutations and Static Warnings\" premiado entre os melhores artigos do SBES'2015.","journal-title":"Journal of Software Engineering Research and Development--JSERD"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBES.2015.23"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251536"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297897"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"E. F. Barbosa. 1998. Uma Contribui\u00e7\u00e3o para a Determina\u00e7\u00e3o de um Conjunto Essencial de Operadores de Muta\u00e7\u00e3o no Teste de Programas C. Master's thesis. ICMC-USP S\u00e3o Carlos--SP. E. F. Barbosa. 1998. Uma Contribui\u00e7\u00e3o para a Determina\u00e7\u00e3o de um Conjunto Essencial de Operadores de Muta\u00e7\u00e3o no Teste de Programas C. Master's thesis. ICMC-USP S\u00e3o Carlos--SP.","DOI":"10.5753\/sbes.1998.24022"},{"key":"e_1_3_2_1_7_1","first-page":"2","article-title":"Towards the Determination of Sufficient Mutant Operators for C","volume":"11","author":"Barbosa E. F.","year":"2001","unstructured":"E. F. Barbosa , J. C. Maldonado , and A. M. R. Vincenzi . 2001 . Towards the Determination of Sufficient Mutant Operators for C . STVR--Software Testing, Verification and Reliability 11 , 2 (June 2001), 113--136. E. F. Barbosa, J. C. Maldonado, and A. M. R. Vincenzi. 2001. Towards the Determination of Sufficient Mutant Operators for C. STVR--Software Testing, Verification and Reliability 11, 2 (June 2001), 113--136.","journal-title":"STVR--Software Testing, Verification and Reliability"},{"key":"e_1_3_2_1_8_1","volume-title":"Hunter","author":"Box George E. P.","year":"2005","unstructured":"George E. P. Box , J. Stuart Hunter , and William G . Hunter . 2005 . Statistics for Experimenters: Design, Innovation , and Discovery (2 ed.). Wiley-Interscience . George E. P. Box, J. Stuart Hunter, and William G. Hunter. 2005. Statistics for Experimenters: Design, Innovation, and Discovery (2 ed.). Wiley-Interscience."},{"volume-title":"PMD Applied: An Easy-to-use Guide for Developers","author":"Copeland Tom","key":"e_1_3_2_1_9_1","unstructured":"Tom Copeland . 2005. PMD Applied: An Easy-to-use Guide for Developers . Centennial Books . Tom Copeland. 2005. PMD Applied: An Easy-to-use Guide for Developers. Centennial Books."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9172-5"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5753\/sbqs.2010.15418"},{"key":"e_1_3_2_1_13_1","unstructured":"M. E. Delamaro J. C. Maldonado and M. Jino. 2016. Introdu\u00e7\u00e3o ao Teste de Software (2 ed.). Elsevier Rio de Janeiro RJ. M. E. Delamaro J. C. Maldonado and M. Jino. 2016. Introdu\u00e7\u00e3o ao Teste de Software (2 ed.). Elsevier Rio de Janeiro RJ."},{"key":"e_1_3_2_1_14_1","volume-title":"Mutation 2000 Symposium. Kluwer Academic Publishers","author":"Delamaro M. E.","year":"2000","unstructured":"M. E. Delamaro , J. C. Maldonado , and A. M. R. Vincenzi . 2000 . Proteum\/IM 2.0: An Integrated Mutation Testing Environment . In Mutation 2000 Symposium. Kluwer Academic Publishers , San Jose, CA, 91--101. M. E. Delamaro, J. C. Maldonado, and A. M. R. Vincenzi. 2000. Proteum\/IM 2.0: An Integrated Mutation Testing Environment. In Mutation 2000 Symposium. Kluwer Academic Publishers, San Jose, CA, 91--101."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.12"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.976940"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052883.1052895"},{"key":"e_1_3_2_1_19_1","volume-title":"Systems and software engineering--vocabulary. (Dec","author":"IEEE.","year":"2010","unstructured":"ISO\/IEC\/ IEEE. 2010. Systems and software engineering--vocabulary. (Dec . 2010 ), 418 pages. ISO\/IEC\/IEEE. 2010. Systems and software engineering--vocabulary. (Dec. 2010), 418 pages."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486877"},{"key":"e_1_3_2_1_21_1","volume-title":"Pascal Cuoq and Boris Yakobowski","author":"Virgile Prevosto Armand Puccetti Florent Kirchner","year":"2014","unstructured":"Florent Kirchner Virgile Prevosto Armand Puccetti Julien Signoles Loic Correnson , Pascal Cuoq and Boris Yakobowski . 2014 . Frama-C Software Analyzers. P\u00e1gina Web. (March 2014). Dispon\u00edvel em: http:\/\/frama-c.com\/. Accesso em: 03\/05\/2017. Florent Kirchner Virgile Prevosto Armand Puccetti Julien Signoles Loic Correnson, Pascal Cuoq and Boris Yakobowski. 2014. Frama-C Software Analyzers. P\u00e1gina Web. (March 2014). Dispon\u00edvel em: http:\/\/frama-c.com\/. Accesso em: 03\/05\/2017."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.114"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v15:2"},{"key":"e_1_3_2_1_24_1","volume-title":"Dispon\u00edvel em: http:\/\/msdn.microsoft.com\/en-us\/library\/bb429476.aspx. Acesso em: 01\/08\/2011","author":"P\u00e1gina","year":"2011","unstructured":"Microsoft. 2011. FxCop. P\u00e1gina WEB. ( 2011 ). Dispon\u00edvel em: http:\/\/msdn.microsoft.com\/en-us\/library\/bb429476.aspx. Acesso em: 01\/08\/2011 . Microsoft. 2011. FxCop. P\u00e1gina WEB. (2011). Dispon\u00edvel em: http:\/\/msdn.microsoft.com\/en-us\/library\/bb429476.aspx. Acesso em: 01\/08\/2011."},{"key":"e_1_3_2_1_25_1","unstructured":"Microsoft. 2014. StyleCop. P\u00e1gina Web. (March 2014). Dispon\u00edvel em: https:\/\/sfylecop.codeplex.eom\/.Accesso em: 07\/02\/2014. Microsoft. 2014. StyleCop. P\u00e1gina Web. (March 2014). Dispon\u00edvel em: https:\/\/sfylecop.codeplex.eom\/.Accesso em: 07\/02\/2014."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"volume-title":"An Experimental Evaluation of Selective Mutation. In 15th International Conference on Software Engineering. IEEE Computer Society Press","author":"Offutt A.J.","key":"e_1_3_2_1_27_1","unstructured":"A.J. Offutt , G. Rothermel , and C. Zapf . 1993 . An Experimental Evaluation of Selective Mutation. In 15th International Conference on Software Engineering. IEEE Computer Society Press , Baltimore, MD, 100--107. A.J. Offutt, G. Rothermel, and C. Zapf. 1993. An Experimental Evaluation of Selective Mutation. In 15th International Conference on Software Engineering. IEEE Computer Society Press, Baltimore, MD, 100--107."},{"key":"e_1_3_2_1_28_1","volume-title":"Lint--C program verifier. P\u00e1gina Web. (May","author":"Pohl Jochen","year":"2001","unstructured":"Jochen Pohl . 2001. Lint--C program verifier. P\u00e1gina Web. (May 2001 ). Dispon\u00edvel em: http:\/\/www.unix.eom\/man-page\/FreeBSD\/1\/lint. Accesso em: 02\/05\/2017. Jochen Pohl. 2001. Lint--C program verifier. P\u00e1gina Web. (May 2001). Dispon\u00edvel em: http:\/\/www.unix.eom\/man-page\/FreeBSD\/1\/lint. Accesso em: 02\/05\/2017."},{"key":"e_1_3_2_1_29_1","unstructured":"A. M. R. Vincenzi. 1998. Subs\u00eddios para o Estabelecimento de Estrat\u00e9gias de Teste Baseadas na T\u00e9cnica de Muta\u00e7\u00e3o. Master's thesis. ICMC-USP S\u00e3o Carlos SP Brasil. Dispon\u00edvel em: http:\/\/www.teses.usp.br\/teses\/disponiveis\/55\/55134\/tde-06022001-182640. Acesso em: 21\/10\/2004. A. M. R. Vincenzi. 1998. Subs\u00eddios para o Estabelecimento de Estrat\u00e9gias de Teste Baseadas na T\u00e9cnica de Muta\u00e7\u00e3o. Master's thesis. ICMC-USP S\u00e3o Carlos SP Brasil. Dispon\u00edvel em: http:\/\/www.teses.usp.br\/teses\/disponiveis\/55\/55134\/tde-06022001-182640. Acesso em: 21\/10\/2004."},{"key":"e_1_3_2_1_30_1","volume-title":"Workshop do Projeto Valida\u00e7\u00e3o e Teste de Sistemas de Opera\u00e7\u00e3o. \u00c1guas de Lind\u00f3ia, SP, 71--80","author":"Wong W.E.","year":"1997","unstructured":"W.E. Wong , J.C. Maldonado , M.E. Delamaro , and S.R.S. Souza . 1997 . A Comparison of Selective Mutation in C and FORTRAN . In Workshop do Projeto Valida\u00e7\u00e3o e Teste de Sistemas de Opera\u00e7\u00e3o. \u00c1guas de Lind\u00f3ia, SP, 71--80 . W.E. Wong, J.C. Maldonado, M.E. Delamaro, and S.R.S. Souza. 1997. A Comparison of Selective Mutation in C and FORTRAN. In Workshop do Projeto Valida\u00e7\u00e3o e Teste de Sistemas de Opera\u00e7\u00e3o. \u00c1guas de Lind\u00f3ia, SP, 71--80."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2014.22"},{"key":"e_1_3_2_1_33_1","first-page":"2","article-title":"Towards the verification and validation of software security properties using static code analysis","volume":"2","author":"Zhioua Zeineb","year":"2014","unstructured":"Zeineb Zhioua , Stuart Short , and Yves Roudier . 2014 . Towards the verification and validation of software security properties using static code analysis . Computer Science: Theory and Application 2 , 2 (Dec. 2014), 23--34. Zeineb Zhioua, Stuart Short, and Yves Roudier. 2014. Towards the verification and validation of software security properties using static code analysis. Computer Science: Theory and Application 2, 2 (Dec. 2014), 23--34.","journal-title":"Computer Science: Theory and Application"}],"event":{"name":"SBES'17: 31st Brazilian Symposium on Software Engineering","sponsor":["SBC Brazilian Computer Society","CNPq Conselho Nacional de Desenvolvimento Cientifico e Tecn","CAPES Brazilian Higher Education Funding Council"],"location":"Fortaleza CE Brazil","acronym":"SBES'17"},"container-title":["Proceedings of the XXXI Brazilian Symposium on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3131151.3131169","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3131151.3131169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:21Z","timestamp":1750212801000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3131151.3131169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,20]]},"references-count":31,"alternative-id":["10.1145\/3131151.3131169","10.1145\/3131151"],"URL":"https:\/\/doi.org\/10.1145\/3131151.3131169","relation":{},"subject":[],"published":{"date-parts":[[2017,9,20]]},"assertion":[{"value":"2017-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}