Sabrina de Figueiredo Souto

  • Endereço para acessar este CV: http://lattes.cnpq.br/0595422027989879
  • Última atualização do currículo em 28/08/2018


Doutora em Ciência da Computação pela Universidade Federal de Pernambuco (UFPE) na área de testes em linhas de produto de software (2015). Possui graduação de bacharel (2007) e mestre (2010) em Ciência da Computação pela Universidade Federal de Campina Grande (UFCG). Atualmente é professora efetiva da Universidade Estadual de Paraíba - UEPB, Campus Campina Grande, no curso de Ciência da Computação, onde ministra disciplinas relacionadas à programação e engenharia de software. Atualmente, é credenciada no Programa de Pós-graduação em Ciência da Computação da UFCG. Áreas de interesse: teste de software, análise de programas e sistemas configuráveis. (Texto informado pelo autor)


Identificação


Nome
Sabrina de Figueiredo Souto
Nome em citações bibliográficas
SOUTO, S. F.;Sabrina Souto;SOUTO, SABRINA

Endereço


Endereço Profissional
Universidade Estadual da Paraíba.
Rua Baraúnas, 351
Universitário
58429500 - Campina Grande, PB - Brasil
Telefone: (083) 33153300
Ramal: 3527


Formação acadêmica/titulação


2011 - 2015
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Addressing High Dimensionality and Lack of Feature Models in Testing of Software Product Lines, Ano de obtenção: 2015.
Orientador: Marcelo Bezerra d'Amorim.
Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil.
Palavras-chave: Linhas de Produto de Software; Sistemas Configuráveis; Teste de Software.
2008 - 2010
Mestrado em Ciência da Computação.
Universidade Federal de Campina Grande, UFCG, Brasil.
Título: Geração Automática de Testes com Código Mock Baseados em Interações,Ano de Obtenção: 2010.
Orientador: Dalton Serey Guerrero.
Bolsista do(a): HP Brasil, HP, Brasil.
Palavras-chave: analise dinamica; teste de unidade; mock; analise estatica.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.
2002 - 2007
Graduação em Ciência da Computação.
Universidade Federal de Campina Grande, UFCG, Brasil.




Formação Complementar


1998 - 1998
Microsoft Office.
SERVIÇO NACIONAL DE APRENDIZAGEM COMERCIAL, SENAC, Brasil.
1997 - 1997
Microsoft Windows.
SERVIÇO NACIONAL DE APRENDIZAGEM COMERCIAL, SENAC, Brasil.


Atuação Profissional



Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2011 - 2015
Vínculo: Colaborador, Enquadramento Funcional: Aluna de doutorado, Carga horária: 40


Faculdades Integradas de Patos, FIP, Brasil.
Vínculo institucional

2009 - 2011
Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

03/2009 - 02/2011
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Paradigmas de Linguagens de Programação
Qualidade de Software
Teste de Software

Politec, POLITEC, Brasil.
Vínculo institucional

2007 - 2008
Vínculo: CLT, Enquadramento Funcional: Desenvolvedor de software, Carga horária: 40, Regime: Dedicação exclusiva.


Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional

2008 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Aluna de mestrado

Vínculo institucional

2004 - 2006
Vínculo: Pesquisa e Desenvolvimento, Enquadramento Funcional: Pesquisadora e desenvolvedora de software, Carga horária: 20
Outras informações
o início do ano de 2004 iniciei minhas atividades junto ao Projeto Embedded, através do Programa de Cooperação Tecnológica envolvendo a Nokia do Brasil - LTDA e o Departamento de Engenharia Elétrica juntamente com o Departamento de Sistemas e Computação, ambos da UFCG, para desenvolver e difundir conhecimento nas tecnologias de software para aplicações móveis. Continuei no projeto até o final de 2006, fazendo parte da equipe de desenvolvimento de sistemas para dispositivos móveis, estando engajada no Projeto DVB-H (Digital Vídeo Broadcast - Handheld) desenvolvendo um guia eletrônico de serviços, utilizando as linguagens Python , C, C++, Python e J2ME.

Vínculo institucional

2003 - 2004
Vínculo: iniciação científica, Enquadramento Funcional: Pesquisadora e Desenvolvedora, Carga horária: 20
Outras informações
Projeto: Um WorkFlow para Gestão do Conhecimento em um Ambiente Acadêmico: Um Estudo de Caso da Coordenação do Curso de Bacharelaco em Ciência da Computação na Universidade Federal de Campina Grande.


Universidade Estadual da Paraíba, UEPB, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Doutor - T40, Carga horária: 40

Vínculo institucional

2015 - 2016
Vínculo: Celetista, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Atividades

03/2015 - Atual
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Computação de Alto Desempenho
Gerência de Projetos
Organização de Arquivos

Centro de Ensino Superior e Desenvolvimento, CESED, Brasil.
Vínculo institucional

2015 - 2018
Vínculo: Celetista, Enquadramento Funcional: Professor



Projetos de pesquisa


2015 - Atual
Tratando o problema da alta dimensionalidade e falta de modelos de features no teste de sistemas configuráveis
Descrição: Sistemas configuráveis são aqueles que podem ser adaptados de acordo com um conjunto de opções. O web browser Firefox, a infra-estrutura de compilação GNU GCC, e o kernel do Linux são exemplos de sistemas com estas características. A adoção do conceito de variabilidades não está restrita a área de sistemas. Mais recentemente, outros domínios de aplicação também adotaram esta disciplina. O site de compras coletivas Groupon, por exemplo, é um sistema configurável envolvendo centenas de opções de configuração. Organizar software em função de suas variãveis é uma idéia que vem ganhando força. Isto se deve aos possíveis benefícios que este método de desenvolvimento pode trazer em produtividade e redução de ``time-to-market''. Apesar do benefício legítimo que o conceito de variações pode trazer, analisar tais sistemas é desafiador. Isto se deve ao fato de um sistema configurável poder ser instanciado (configurado) de diversas maneiras. Consequentemente, erros associados a apenas uma pequena fração das configurações podem permanecer latentes por um bom tempo. Nesse contexto, o projeto tem como objetivo tratar problemas amplamente conhecidos, porém ainda não resolvidos: o problema da alta dimensionalidade no espaço de configurações e o problema da ausência de modelos de features. Esta é uma proposta de projeto de pesquisa multi-institucional, envolvendo a Universidade Federal de Pernambuco e a Universidade do Texas em Austin. Os colaboradores possuem especialidades de conhecimento complementares e fundamentais para a condução deste projeto..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) .
Integrantes: Sabrina de Figueiredo Souto - Integrante / Marcelo Bezerra d'Amorim - Coordenador / Don Batory - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2011 - 2014
Extração e checagem de conformidade de modelos de features
Descrição: O desenvolvimento de software baseado em linhas de produtos de software é cada vez mais usado para dar suporte a alta demanda de variabilidade de código. Este projeto tem como fim propor e avaliar técnicas de análise para extrair modelos de features a partir do código e comparar modelos existentes com construídos de forma a indicar possíveis sinais de erros...
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (1) .
Integrantes: Sabrina de Figueiredo Souto - Integrante / Elton Alves - Integrante / Thiago Vieira - Integrante / Marcelo Bezerra d'Amorim - Coordenador.
2008 - 2008
AutoTest - Qualificação e Automação de Teste de Software
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (1) / Mestrado acadêmico: (4) / Doutorado: (1) .
Integrantes: Sabrina de Figueiredo Souto - Integrante / Dalton Serey Guerrero - Coordenador / Priscilla Dora - Integrante / João Arthur Brunet Monteiro - Integrante / Cícero Alan Leite Cruz - Integrante / Melina Mongiovi - Integrante / Paulo Rômulo Alves Barros - Integrante / Giovanni Farias da Silva - Integrante.Financiador(es): Hewlett-Packard Brasil - Matriz - Auxílio financeiro.
2004 - 2006
Embedded
Descrição: Cooperação Técnico-Científica.
Situação: Concluído; Natureza: Pesquisa.


Projetos de extensão


2016 - Atual
TREINAMENTO EM ALGORITMOS E PROGRAMAÇÃO PARA OLIMPÍADAS DE INFORMÁTICA E PROGRAMAÇÃO
Descrição: O projeto visa preparar os alunos do curso de bacharelado em Ciência da Computação para competições de âmbito regional, nacional, bem como em nível internacional, capacitando-os e orientando-os através do ensino e treinamento das técnicas de resolução de problemas..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) .
Integrantes: Sabrina de Figueiredo Souto - Coordenador / Heron Aragão - Integrante / Caio Cesar Barbosa Lucena - Integrante.


Revisor de periódico


2017 - Atual
Periódico: INFORMATION SCIENCES


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Qualidade de Software.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Teste de Software.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.


Prêmios e títulos


2009
International Tester, Foundation Level (CTFL), Brazilian Software Testing Qualifications Board (BSTQB).
2005
SUN CERTIFIED PROGRAMMER FOR THE JAVA 2 PLATAFORM 1.4, SUN MICROSYSTEMS,INC.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
BRAZ, LARISSA2018BRAZ, LARISSA ; GHEYI, ROHIT ; MONGIOVI, MELINA ; RIBEIRO, MÁRCIO ; MEDEIROS, FLÁVIO ; TEIXEIRA, LEOPOLDO ; SOUTO, SABRINA . A change-aware per-file analysis to compile configurable systems with #ifdefs. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, v. 51, p. 1, 2018.

2.
SOUTO, SABRINA2018SOUTO, SABRINA; D?AMORIM, MARCELO . Time-space efficient regression testing for configurable systems. JOURNAL OF SYSTEMS AND SOFTWARE, v. 137, p. 733-746, 2018.

Capítulos de livros publicados
1.
MARQUES, S. ; Sabrina Souto ; Miguel Queiroga ; UFCG, H. O. A. ; UFCG, A. P. . Using Mobile Devices to Manage Traffic Infractions. Encyclopedia of Mobile Computing and Commerce. 1ed.: , 2007, v. 2, p. 978-980.

Trabalhos completos publicados em anais de congressos
1.
SOUTO, SABRINA; D'AMORIM, MARCELO ; GHEYI, ROHIT . Balancing Soundness and Efficiency for Practical Testing of Configurable Systems. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, Buenos Aires. 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017. p. 632-642.

2.
SOUTO, SABRINA; GOPINATH, DIVYA ; D'AMORIM, MARCELO ; MARINOV, DARKO ; KHURSHID, SARFRAZ ; BATORY, DON . Faster bug detection for software product lines with incomplete feature models. In: the 19th International Conference, 2015, Nashville. Proceedings of the 19th International Conference on Software Product Line - SPLC '15. p. 151-160.

3.
KIM, CHANG HWAN PETER ; MARINOV, DARKO ; KHURSHID, SARFRAZ ; BATORY, DON ; SOUTO, SABRINA ; BARROS, PAULO ; D'AMORIM, MARCELO . SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. In: the 2013 9th Joint Meeting, 2013, Saint Petersburg. Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013. p. 257-267.

4.
Dalton Cézane ; Diego Renato ; Miguel Queiroga ; Sabrina Souto ; Marco A. Spohn . Um Injetor de Falhas para a Avaliação de Aplicações Distribuídas Baseadas no Commune. In: Simposio Brasileiro de Redes de Computadores, 2009, Recife. SBRC, 2009.

5.
Sabrina Souto; GUERRERO, D. S. . Automock: Interaction-Based Mock Code Generation. In: Latin American Depandability Computing, 2009, João Pessoa PB. LADC, 2009.

6.
UFCG, D. F. S. S. ; SOUTO, S. F. ; UFCG, H. O. A. ; UFCG, A. P. . Uma arquitetura de IPTV para DVB-H em Linux. In: NetCom, 2007, São Paulo SP. Congresso de Redes e Telecom, 2007.

Resumos expandidos publicados em anais de congressos
1.
Sabrina Souto; Miceli, R. ; GUERRERO, D. S. . Generating Mock-Based Test Automatically. In: Latin American Workshop on Aspect-Oriented Software Development, 2009, Fortaleza - CE. LA-WASP, 2009.

Resumos publicados em anais de congressos
1.
Sabrina Souto. Effective Test Execution for Software Product Lines. In: Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091), 2013. Schloss Dagstuhl ? Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2013. v. 3. p. 168-169.

2.
SOUTO, S. F.. Uma Arquitetura de IPTV Utilizando Software Livre. In: VII Workshop sobre Software Livre (WSL'06), 2006. 7º Fórum Internacional Software Livre.

Apresentações de Trabalho
1.
Sabrina Souto. Balancing Soundness and Efficiency for Practical Testing of Configurable Systems. 2017. (Apresentação de Trabalho/Conferência ou palestra).

2.
Sabrina Souto. Dagstuhl Seminar 13091: Analysis, Test and Verification in The Presence of Variability. Effective Test Execution for Software Product Lines. 2013. (Apresentação de Trabalho/Seminário).

3.
Sabrina Souto; GUERRERO, D. S. . Automock: Interaction-Based Mock Code Generation. 2009. (Apresentação de Trabalho/Conferência ou palestra).


Produção técnica
Programas de computador sem registro
1.
SOUTO, S. F.; Farias, A. . Automock. 2008.


Demais tipos de produção técnica
1.
Sabrina Souto. Co-Revisor de artigo, 7th IEEE/ACM International Conference On Software Testing (ICST 2014). 2014. (Co-Revisor de artigo).

2.
Sabrina Souto. Co-Revisor de artigo, 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011). 2011. (Co-Revisor de artigo).

3.
SOUTO, S. F.. Projeto Workflow. 2003. (Relatório de pesquisa).



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
Sabrina Souto; QUEIROZ, L.; BARBOSA, P. E. E. S.. Participação em banca de Luana Janaina de Sousa.UMA SOLUÇÃO PARA VISUALIZAÇÃO DE DADOS DE DISPOSITIVOS MÉDICOS DE USO PESSOAL. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

2.
Sabrina Souto; SOUZA, D. A. C. M.; SANTOS, A.. Participação em banca de Gabriela Souto Maior Cardoso.FPROCESS - PROPOSTA DE UM MODELO PARA APRENDIZADO DE METODOLOGIAS HÍBRIDAS DE GERENCIAMENTO DE PROJETOS. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Centro de Ensino Superior e Desenvolvimento.

3.
Costa, L.; SOUTO, S. F.; Maciel, Camila Lunna. Participação em banca de Tatanny Kelly de Oliveira Cidelino.Uma Análise de Riscos Comparativa entre Metodologias Ágeis e Metodologias Tradicionais. 2010. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos.

4.
SOUTO, S. F.; Leite, A. I. M.; Costa, L.. Participação em banca de Gabriel Marcos da Silva.Estudo de caso sobre implantação da central de serviços. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos.

5.
SOUTO, S. F.; Costa, L.; Leite, A. I. M.. Participação em banca de Ramon Talles Ferreira Silva.Proposta de um processo de desenvolvimento para sistemas especialistas. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos.

6.
SOUTO, S. F.; Costa, L.; Leite, A. I. M.. Participação em banca de Marcia Maria Silva Souza.Estimativas de Tamanho de Software como Apoio à Gerência de Projetos no SRB. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos.

7.
Costa, L.; Leite, A. I. M.; SOUTO, S. F.. Participação em banca de Tarcísio da Silva Barreto.Análise Comparativa dos Métodos Criptográficos: WEP, WPA e WPA2. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos.



Participação em bancas de comissões julgadoras
Concurso público
1.
SOUTO, SABRINA; SCHERER, D.; LYRA, I. A.. Concurso para Professor Substituto.. 2017. Universidade Estadual da Paraíba.

Outras participações
1.
SOUTO, SABRINA. Membro do comitê de programa do ICSE 2018 Demonstrations Track. 2018. University of Gothenburg.

2.
SOUTO, SABRINA. Membro do comitê de programa do Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS).. 2017. Universidade Federal do Ceará.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Dagstuhl Seminar 13091: Analysis, Test and Verification in The Presence of Variability.Effective Test Execution for Software Product Lines. 2013. (Seminário).

2.
LADC. Automock: Interaction-Based Mock Code Generation. 2009. (Congresso).

3.
LA-WASP. Generating Mock-Based Test Automatically. 2009. (Congresso).

4.
SBES. 2009. (Congresso).

5.
VII Workshop de Teses e Dissertações da Copin.Automock: Interaction-Based Mock Code Generation. 2009. (Outra).

6.
Workshop de Gestão de Projetos. Testes de Software com Mock Objects. 2009. (Congresso).

7.
VI WDCOPIN - Workshop de Teses e Dissertações da COPIN. 2008. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
Leite, A. I. M. ; SOUTO, S. F. . Workshop de Gestão de Projetos. 2009. (Congresso).



Orientações



Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Hermes Gomes de Lima. GESTÃO SEGURA DE DOCUMENTOS. 2010. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos. Orientador: Sabrina de Figueiredo Souto.

2.
Ana Bolena Simplício. MÁTRICAS PARA PROCESSOS ÁGEIS: UMA ABORDAGEM BASEADA EM SCRUM. 2010. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos. Orientador: Sabrina de Figueiredo Souto.

3.
ÍTALO QUIRINO BRILHANTE. ANÁLISE DE MÉTRICAS DE QUALIDADE DE SOFTWARE NA APLICAÇÃO PRÁTICA DO TDD. 2010. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos. Orientador: Sabrina de Figueiredo Souto.

4.
Marconi Dantas de Souza. ANÁLISE DE CRÉDITO INTELIGENTE. 2010. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Faculdades Integradas de Patos. Orientador: Sabrina de Figueiredo Souto.




Página gerada pelo Sistema Currículo Lattes em 17/01/2019 às 20:50:54