<div dir="ltr"><div class="gmail_quote"><div dir="ltr">---------- Forwarded message ---------<br>From: <span dir="ltr"><<a href="mailto:janainabezerra@great.ufc.br">janainabezerra@great.ufc.br</a>></span><br>Date: ter, 27 de nov de 2018 às 10:23<br>Subject: [CONVITE] Palestras - Márcio de Medeiros Ribeiro (UFAL)<br>To: <br></div><br><br><div><div style="font-family:arial,helvetica,sans-serif;font-size:12pt;color:#000000"><div><div style="font-family:arial,helvetica,sans-serif;font-size:12pt;color:#000000"><div>Prezados (as), Bom dia!<br></div><div><div style="font-family:arial,helvetica,sans-serif;font-size:12pt;color:#000000"><div><div style="font-family:arial,helvetica,sans-serif;font-size:12pt;color:#000000"><div><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><span style="font-family:arial,helvetica,sans-serif;font-size:12pt;color:#000000"><span style="font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;background-color:#ffffff;display:inline!important">Convidamos a todos para duas palestras do professor Márcio de Medeiros Ribeiro.</span></span><div style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><br></div><span style="color:#000000;font-family:arial,helvetica,sans-serif;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;font-size:12pt;background-color:#ffffff;display:inline!important">Segue abaixo um pequeno resumo do seu CV:</span><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><span style="color:#000000;font-family:arial,helvetica,sans-serif;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;font-size:12pt;background-color:#ffffff;display:inline!important"><span style="font-family:Tahoma,Geneva,sans-serif;font-size:13px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:justify;text-indent:20px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff;text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline!important">Márcio Ribeiro é Professor Adjunto do Instituto de Computação da Universidade Federal de Alagoas (UFAL). É Doutor em Ciência da Computação pela Universidade Federal de Pernambuco (2012), Mestre em Ciência da Computação pela mesma universidade (2008) e Bacharel em Ciência da Computação pela Universidade Federal de Alagoas (2005). Durante o Mestrado participou do projeto de pesquisa Brazil Test Center em parceria com a Motorola do Brasil, onde ganhou o prêmio de membro destaque de 2007. Durante o Doutorado teve sua proposta premiada como a melhor do Simpósio de Doutorado de uma das conferências mais importantes do mundo na área de sistemas e linguagens de programação (ACM SIGPLAN Object-Oriented Programming, Systems, Languages and Applications - OOPSLA), o que lhe rendeu o prêmio John Vlissides Award, sendo o primeiro brasileiro contemplado com tal prêmio. A ferramenta de seu Doutorado ficou em Primeiro Lugar na Sessão de Ferramentas do Congresso Brasileiro de Software (CBSoft 2011). Sua Tese de Doutorado foi também considerada a melhor do Brasil em Computação de 2012, prêmio concedido durante o Concurso de Teses de Dissertações (CTD) no Congresso Brasileiro da Sociedade Brasileira de Computação (CSBC 2013). A tese encontra-se publicada em um Livro da editora Springer. Integra o corpo docente permanente do Programa de Pós-Graduação em Informática (PPGI) da UFAL. Foi Vice-Coordenador do programa por dois anos. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Famílias e Linhas de Produtos de Software, Programação Orientada a Objetos e Aspectos, Engenharia de Software Empírica, Refatoramento, Modularidade de Software e Análise Estática de programas. Publicou artigos em periódicos e conferências nacionais e internacionais de destaque, tais como TSE, TOSEM, IST, JSS, ICSE, ESEC/FSE, PLDI, ECOOP, AOSD/Modularity, ICSME, SPLC, GPCE, ICPC e ISSRE. Foi Coordenador Geral do Congresso Brasileiro de Software (CBSoft 2014), realizado na cidade de Maceió-AL. Organizou e participou do comitê do "ICSE 2017 PhD and Young Researchers Warm Up Symposium," simpósio com o objetivo de preparar alunos de Doutorado para submeterem artigos competitivos para a conferência ICSE. Foi o Chair do Comitê de Programa do Simpósio Brasileiro de Componentes, Arquiteturas e Reúso de Software (SBCARS 2017). Já integrou/integra o Comitê de Programa de "top-ranked conferences" como OOPSLA, ECOOP e ASE. Foi Palestrante Especial do Simpósio Brasileiro de Qualidade de Software (SBQS 2016). Colabora com vários pesquisadores no Brasil (UFCG, UFPE, PUC-Rio, UnB, USP, UFSCar) e no exterior (Alemanha, EUA, Canadá, Dinamarca e Portugal). Executa também projetos na área de Energias Renováveis, sendo destaque na mídia Alagoana (impressa e TV) e rendendo audiências com o então Ministro de Ciência e Tecnologia (MCTI) em busca de recursos. Mais sobre Márcio pode ser encontrado em <a href="http://www.ic.ufal.br/marcio/" target="_blank">http://www.ic.ufal.br/marcio/</a></span></span><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><span style="color:#000000;font-family:arial,helvetica,sans-serif;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;font-size:12pt;background-color:#ffffff;display:inline!important">Segue abaixo os detalhes das duas palestras que ele irá proferir:</span><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><span style="font-size:10pt"><b>Palestra #1: Avoiding Useless Mutants</b></span><br><span style="font-size:10pt"><b>Local/Horário: Sala de Seminários Bloco 942 A, dia 28/11/2018 (Quarta-Feira) às 16:00h</b></span><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><span style="color:#000000;font-family:arial,helvetica,sans-serif;font-size:16px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff;text-decoration-style:initial;text-decoration-color:initial;display:inline!important;float:none">Abstract: Mutation testing is a program-transformation technique that injects artificial bugs to check whether the existing test suite can detect them. However, the costs of using mutation testing are usually high, hindering its use in industry. Useless mutants (equivalent and duplicated) contribute to increase costs. Previous research has focused mainly on detecting useless mutants only after they are generated and compiled. In this paper, we introduce a strategy to help developers with deriving rules to avoid the generation of useless mutants. To use our strategy, we pass as input a set of programs. For each program, we also need a passing test suite and a set of mutants. As output, our strategy yields a set of useless mutants candidates. After manually confirming that the mutants classified by our strategy as "useless" are indeed useless, we derive rules that can avoid their generation and thus decrease costs. To the best of our knowledge, we introduce 37 new rules that can avoid useless mutants right before their generation. We then implement a subset of these rules in the MUJAVA mutation testing tool. Since our rules have been derived based on artificial and small Java programs, we take our MUJAVA version embedded with our rules and execute it in industrial-scale projects. Our rules reduced the number of mutants by almost 13% on average. Our results are promising because (i) we avoid useless mutants generation; (ii) our strategy can help with identifying more rules in case we set it to use more complex Java programs; and (iii) our MUJAVA version has only a subset of the rules we derived.</span><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><span style="color:#000000;font-size:10pt"><b><span style="font-family:arial,helvetica,sans-serif">Palestra #2: A Catalog of Refactorings to Discipline Preprocessor-Based Annotations<br>Local/Horário: Sala de Seminários Bloco 942 A, dia 29/11/2018 (Quinta-Feira) às 16:00h</span></b></span></div><div><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"><div style="color:#000000;font-family:arial,helvetica,sans-serif;font-size:16px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff;text-decoration-style:initial;text-decoration-color:initial"><span style="color:#000000">Abstract: Developers use the C Preprocessor (CPP) to handle portability and variability in program families of different sizes and domains. However, despite the widely use of the CPP in practice, it is often criticised due to its negative impact on code quality and maintainability, tool development, and its error-prone characteristics. In particular, developers aggravate these problems when using undisciplined annotations, i.e., directives encompassing only parts of syntactical units. In a previous work, we performed an empirical study on 41 C program family releases and found that almost 90% of syntax errors occur in undisciplined annotations. There are some refactorings to remove undisciplined annotations proposed in the literature. However, they clone code and increase Lines of Code (LOC). To avoid undisciplined annotations and their intrinsic problems, in this talk we present a catalogue of refactorings that converts undisciplined annotations into disciplined ones without cloning code. We implement an Eclipse plug-in to help developers applying our refactorings automatically. To evaluate our catalogue, we performed a study to analyse questions related to code cloning, LOC, and number of directives. To answer our research questions, we analyse releases of 12 C program families of different domains ranging from 4.9 thousand to 1.5 million LOC. The results show that our catalogue can remove all undisciplined annotations without cloning code, and increasing only in 0.04% the LOC and in 2.10% the number of directives.</span><br></div><br style="color:#222222;font-family:arial,sans-serif;font-size:12.8px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:#ffffff"></div><br><br><div><span style="font-family:arial,helvetica,sans-serif;font-size:12pt;color:#000000">Atenciosamente,</span></div><br><div>-- </div><div><div>Janaina Bezerra<br>GREat - Grupo de Redes de Computadores, Engenharia de Software e Sistemas <br>Universidade Federal do Ceará <br>Tel.: +55 85 3366.9797</div></div></div><br></div></div></div><div><br></div></div><br></div></div></div></div></div>