Departamento de Sistemas de Computação

Simone do Rocio Senger de Souza

Simone R. S. Souza é bacharel em Processamento de Dados pela Universidade Estadual de Ponta Grossa (1990), mestre em Ciências de Computação e Matemática Computacional pelo Instituto de Ciências Matemáticas e de Computação - ICMC (1996) e doutora em Física Computacional pelo Instituto de Física de São Carlos (2000). Em 2010, realizou programa de Pós-Doutorado na Universidade de Southampton, Inglaterra, pesquisando em teste de programas concorrentes. Foi professora da Universidade Estadual de Ponta Grossa por 14 anos (1991/2005). Atualmente é professora associada do Departamento de Sistemas de Computação do ICMC/USP - São Carlos, desenvolvendo pesquisas no Laboratório de Engenharia de Software (LABES). Tem ministrado os seguintes cursos para alunos de Graduação e Pós-Graduação : engenharia de software, teste e inspeção de software, revisão sistemática em engenharia de software e introdução à ciência da computação. Tem orientado alunos de mestrado e doutorado junto ao Programa de Pós-Graduação do ICMC/USP. Suas áreas de interesse em pesquisa são teste de software, ensino de teste de software, teste de programas concorrentes, experimentação em engenharia de software e qualidade de software.

  • http://lattes.cnpq.br/7137178343756327 (11022023)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: Universidade de São Paulo. . . Av. Trabalhador São-Carlense, 400 CEP 13560970 - Sao Carlos, SP - Brasil
  • Grande área: [sem-grandeArea]
  • Área: [sem-area]
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (18)
    1. 2001-2001. Kit Enxoval Recem-Doutor: Definição de Técnicas e Ferramentas para a Validação de Especificações Formais
      Este projeto de pesquisa visa a dar continuidade as pesquisas conduzidas durante o doutorado através da definição de ferramentas de apoio para a aplicação dos critérios de teste propostos. Os critérios de teste foram definidos para auxiliar na atividade de validação do aspecto comportamental de especificações formais de sistemas reativos descritos em Estelle e em Statecharts. Foram propostos os critérios Teste de Mutação e critérios de Fluxo de Controle para serem aplicados neste contexto, com base em trabalhos anteriores nessa linha de pesquisa. A partir da definição de ferramentas para apoiar a aplicação dos critérios para o teste de especificações formais será possível realizar experimentos avaliando o custo e eficácia desses critérios. Será possível também validar e avaliar a estratégia de aplicação desses critérios. Espera-se também que a definição de ferramentas possibilite refinar os critérios de teste de modo que os mesmos possa ser aplicados de acordo com as restrições de custo associadas ao desenvolvimento do software.
      Membro: Simone do Rocio Senger de Souza.
    2. 2003-2003. Projeto CNPq PDPG-TI: ValiPVM (Definição e Implementação de uma Ferramenta para Validação de Softwares Paralelos em Ambiente de Passagem de Mensagens)
      O projeto de pesquisa ValiPVM envolve duas áreas da ciência da computação: Teste de Software e Computação Paralela. Apesar de importante para garantir a qualidade e confiabilidade de um produto de software, a atividade de teste ainda é precária de ferramentas que a automatizem. Quando são considerados programas paralelos este fato não é diferente, sendo agravado pelas características específicas desses programas e que dificultam a atividade de teste. Assim, faz-se necessária a definição de critérios e ferramentas de teste para a validação de programas paralelos, de modo a testar os aspectos intrínsecos dessa classe de programas.O objetivo principal deste projeto é o estudo e o desenvolvimento de novas técnicas e critérios na área de teste de aplicações paralelas em ambientes de passagem de mensagens, buscando obter no final uma ferramenta que automatize o processo de teste e que possa ser aplicada em problemas reais que necessitem desta tecnologia. A ferramenta irá propiciar as seguintes atividades: inserção de casos de teste, seleção e execução de critérios de testes, avaliação da cobertura dos testes e análise dos resultados.
      Membro: Simone do Rocio Senger de Souza.
    3. 2003-2003. Plavis - Plataforma para Validação e Integração de Software em Sistemas Espaciais
      O objetivo global do projeto PLAVIS é o estudo e o desenvolvimento de métodos, técnicas e ferramentas nas áreas de Testes de Protocolos: geração, seleção, execução e análise automatizada de testes bem como modelagem e análise de desempenho. Além disso, será também enfocada a qualidade dos testes, tanto do ponto de vista da cobertura (seja do código, seja da especificação), quanto do ponto de vista da eficácia para encontrar falhas. Ao final, ter-se-á uma plataforma aberta, servindo para ensino e pesquisa e também para o uso pelos desenvolvedores de sistemas no Instituto Nacional de Pesquisas Espaciais (INPE). Em longo prazo, planeja-se que outras empresas e instituições acadêmicas utilizem a plataforma. A meta deste projeto é disponibilizar o conjunto dos protótipos dessas ferramentas em uma mesma plataforma de Verificação, Validação e Testes (VV&T) no INPE para ser utilizada por futuros projetos de software de aplicações espaciais desenvolvidos pelo instituto ou mesmo terceirizados pela indústria aeroespacial. .
      Membro: Simone do Rocio Senger de Souza.
      Projeto patrocinado pelo CNPq que tem como objetivo aplicar técnicas de teste no contexto de aplicações espaciais, desenvolvidas dentro do INPE. Coordenado pelo prof. JoséCarlos Maldonado.
      Membro: Márcio Eduardo Delamaro.
      O objetivo global do projeto PLAVIS é validar a aplicabilidade dos métodos, técnicas e ferramentas desenvolvidos para Testes de Software ( geração, seleção, execução e análise automatizada de testes) em aplicações espaciais. Além disso, será também enfocada a qualidade dos testes, tanto do ponto de vista da cobertura (seja do código, seja da especificação), quanto do ponto de vista da eficácia para encontrar falhas. Os objetivos específicos são: a) Adaptação e aplicação de ferramentas existentes, desenvolvidas em meio acadêmico pelos grupos envolvidos, em estudos de casos reais da área espacial fornecidos pelo INPE; b) Transferência de tecnologia 1. Criação de plataforma integrada no INPE contendo as ferramentas de modelagem, testes e análise de desempenho citadas em (a) . 2. Capacitação da equipe de Engenharia Espacial do INPE no uso das ferramentas. 3. Avaliação dos resultados obtidos com o uso das ferramentas em casos reais. c) Disseminação de resultados 1. Publicação em veículos de qualidade (congressos e periódicos); 2. Teses, dissertações e trabalhos de iniciação científica. 3. Mini-cursos e workshops anuais. Ao final, ter-se-á um conjunto de ferramentas disponíveis no INPE para uso em projetos reais de aplicações espaciais pelos desenvolvedores de sistemas no INPE. Em longo prazo, planeja-se que outras empresas e instituições acadêmicas utilizem a plataforma.
      Membro: Jose Carlos Maldonado.
    4. 2007-2007. Projeto QualiPSo - Quality Plataform for Open Source Software
      Este projeto visa definir e implementar tecnologias, procedimentos e políticas para guiar as práticas atualmente utilizadas para o desenvolvimento de software livre. O projeto reune companhias de desenvolvimento de sofware, desenvolvedores de aplicações e instituições de pesquisa com o intuito de agregar a confiabilidade necessária na adoção de software livre na prática. O projeto pretende estabelecer Centros de Competências em software livre na Europa, Brasil e China.
      Membro: Simone do Rocio Senger de Souza.
    5. 2008-2008. Subsídios para o Teste Estrutural de Aplicações Distribuídas
      Este projeto de pesquisa está inserido no contexto do projeto TestPar, cujo objetivo principal é o desenvolvimento de técnicas, critérios e ferramentas de teste para apoiar a validação de programas concorrentes. Nesse contexto, o projeto visa investigar alternativas para reduzir o custo de aplicação do teste em programas concorrentes, dado que esse custo é bastante elevado devido aos pares de sincronização possíveis entre os processos concorrentes. Dentre as propostas pretende-se explorar alternativas para coletar informações para a atividade de teste, considerando propostas que buscam gerar essas informações em tempo de execução e não estaticamente. Pretende-se investigar também como identificar automaticamente sincronizações não executáveis. Estudos experimentais serão conduzidos para avaliar se essa redução de custo tem algum impacto na eficácia em revelar erros dos critérios de teste definidos para programas concorrentes. Espera-se com os resultados deste projeto que a ferramenta de teste ValiPar, em desenvolvimento pelo grupo de pesquisa, seja melhorada e que a mesma possa ser utilizada com maior amplitude. Esse objetivo permitirá que a ferramenta seja disponibilizada para uso pela comunidade de programação concorrente e para ensino de teste de programas concorrentes. Outro benefício da concessão da bolsa aqui pleiteada é a formação de recurso humano capacitado em uma área extremamente carente de pessoal, como é o caso das aplicações concorrentes e distribuídas.
      Membro: Simone do Rocio Senger de Souza.
      O projeto visa estender os resultados já obtidos pelos pesquisadores com o projeto ValiPVM, investigando e propondo um modelo de teste que representa os requisitos de teste necessários à validação de aplicações concorrentes, englobando os dois principais paradigmas de comunicação e sincronização: troca de mensagens e memória compartilhada. A proposta é que esse modelo seja genérico o suficiente para permitir que uma aplicação concorrente desenvolvida sob esses paradigmas possa ser testada utilizando os critérios de teste propostos. Outro objetivo é investigar as técnicas para tratar o não-determinismo e o problema de geração de pares de sincronização. Espera-se definir um método eficiente para testar esses problemas na ferramenta de teste ValiPar, em desenvolvimento pelo grupo. Como subproduto dessa investigação, a ferramenta ValiPar será estendida para que ela possa ser aplicada em programas concorrentes que utilizemm tanto memória compartilhada como troca de mensagens.
      Membro: Paulo Sérgio Lopes de Souza.
    6. 2010-2010. Teste de Software Aplicado a Sistemas Distribuídos
      Teste de software no contexto de aplicações distribuídas é uma atividade desafiadora. As características presentes nessas aplicações, como comunicação, sincronização e não determinismo precisam ser consideradas na proposição de novos critérios e ferramentas de teste. Apesar do uso crescente dessas aplicações, observa-se uma carência de mecanismos e ferramentas de apoio para atividades de garantia de qualidade. O projeto interdisciplinar TestPar encontra-se em desenvolvimento no ICMC/USP envolvendo pesquisadores de Engenharia de Software e de Sistemas Distribuídos. Esse projeto investiga modelos e critérios de teste capazes de tratar as características presentes em aplicações distribuídas, fornecendo uma medida de cobertura que pode ser utilizada para avaliar a qualidade da atividade de teste. Este projeto visa investigar aspectos de geração e seleção de dados de teste, explorando a definição de novos critérios e geração automática de dados de teste. Pretende-se realizar este pós-doutorado no grupo de pesquisa interdisciplinar IAM (Intelligence, Agents, Multimedia Group) da Universidade de Southampton. O IAM destaca-se por agregar em suas pesquisas os grandes desafios da ciência da computação: grid, sistemas peer-to-peer, redes de sensores, semantic web e computação pervasiva. Esses domínios podem ser classificados como sistemas distribuídos de grande escala, onde pessoas e softwares representam diferentes interesses que interagem para atingir os objetivos. Espera-se com este projeto o estabelecimento de parcerias para pesquisas na área de Engenharia de Software entre pesquisadores do ICMC/USP e da Universidade de Southampton.
      Membro: Simone do Rocio Senger de Souza.
    7. 2009-2009. TestPar - Teste de software aplicado a programas concorrentes
      A diversidade de domínios de aplicação de software e a proposição de novos paradigmas de desenvolvimento de software requerem que sejam exploradas atividades de teste nesses contextos. Diferentemente dos programas tradicionais, a computação distribuída envolve processos concorrentes que interagem para realizar as tarefas. Essa interação pode ocorrer de forma sincronizada ou não, sendo que esses processos podem ou não concorrer pelos mesmos recursos computacionais. Esse tipo de computação vem sendo cada vez mais empregada e necessária, haja visto as tecnologias atuais, com processadores com m´múltiplos n´núcleos e com o uso crescente de clusters de computadores. Nesse contexto, o teste de aplicações concorrentes torna-se mais complexo, pois além das dificuldades já inerentes à atividade de teste, novos desafios são impostos. Este projeto de pesquisa investiga a proposição de técnicas, critérios e ferramentas de teste para o contexto de programas concorrentes, explorando a realização de estudos experimentais e avaliações nesse contexto.
      Membro: Simone do Rocio Senger de Souza.
    8. 2008-2008. Projeto Procad de Cooperação Acadêmica (ICMC/UEM/PUC-RS) : Integrando e Aprimorando Atividades de Pesquisa, Ensino/Treinamento e Transferência Tecnológica em Teste e Validação de Software
      A grande temática deste projeto refere-se à atividade de teste de software, com perspectivas de linhas de produto e componentes envolvendo teste para linguagens procedimentais, OO (orientadas a objetos), AO (orientadas a aspectos), incluindo o teste de sistemas distribuídos e de modelos. Também serão investigados temas envolvendo engenharia de software experimental e metodologias de apoio ao desenvolvimento de módulos educacionais para ensino e aprendizagem presencial e à distância.
      Membro: Simone do Rocio Senger de Souza.
    9. 2013-2013. Projeto de Cooperação Acadêmica na Área de Computação entre a Leuphana Universität Lüneburg (Alemanha) e o Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo (Brasil)
      O projeto tem como objetivo possibilitar que estudantes dos cursos de computação do ICMC-USP (Bacharelado em Ciências da Computação, Bacharelado em Engenharia da Computação, Bacharelado em Sistemas de Informação), bem como estudantes de Sistemas de Informação da Leuphana Universität Lüneburg (Leuphana) cursem uma parte de sua graduação na instituição parceira. A área de cooperação entre as instituições é a Computação, com ênfase na subárea de Sistemas de Informação, também conhecida como Informática para Negócios (Wirtschaftsinformatik). Essa área foi escolhida por estar no foco de interesse e competência de ambas as instituições, além de ser de grande relevância social e econômica tanto para o Brasil como para a Alemanha
      Membro: Simone do Rocio Senger de Souza.
      O projeto tem como objetivo possibilitar que estudantes dos cursos de computação do ICMC-USP (Bacharelado em Ciências da Computação, Bacharelado em Engenharia da Computação, Bacharelado em Sistemas de Informação), bem como estudantes de Sistemas de Informação da Leuphana Universität Lüneburg (Leuphana) cursem uma parte de sua graduação na instituição parceira. A área de cooperação entre as instituições é a Computação, com ênfase na subárea de Sistemas de Informação, também conhecida como Informática para Negócios (Wirtschaftsinformatik). Essa área foi escolhida por estar no foco de interesse e competência de ambas as instituições, além de ser de grande relevância social e econômica tanto para o Brasil como para a Alemanha.
      Membro: Rosana Teresinha Vaccare Braga.
      O projeto tem como objetivo possibilitar que estudantes dos cursos de computação do ICMC-USP (Bacharelado em Ciências da Computação, Bacharelado em Engenharia da Computação, Bacharelado em Sistemas de Informação), bem como estudantes de Sistemas de Informação da Leuphana Universität Lüneburg (Leuphana) cursem uma parte de sua graduação na instituição parceira. A área de cooperação entre as instituições é a Computação, com ênfase na subárea de Sistemas de Informação, também conhecida como Informática para Negócios (Wirtschaftsinformatik). Essa área foi escolhida por estar no foco de interesse e competência de ambas as instituições, além de ser de grande relevância social e econômica tanto para o Brasil como para a Alemanha..
      Membro: João Porto de Albuquerque.
      O projeto tem como objetivo possibilitar que estudantes dos cursos de computação do ICMC-USP (Bacharelado em Ciências da Computação, Bacharelado em Engenharia da Computação, Bacharelado em Sistemas de Informação), bem como estudantes de Sistemas de Informação da Leuphana Universität Lüneburg (Leuphana) cursem uma parte de sua graduação na instituição parceira. A área de cooperação entre as instituições é a Computação, com ênfase na subárea de Sistemas de Informação, também conhecida como Informática para Negócios (Wirtschaftsinformatik). Essa área foi escolhida por estar no foco de interesse e competência de ambas as instituições, além de ser de grande relevância social e econômica tanto para o Brasil como para a Alemanha.
      Membro: Adenilso da Silva Simão.
    10. 2008-2008. CNPq Universal: Subsídios para atividades de VV&T no desenvolvimento de software
      Este projeto visa a agregar um grupo de pesquisa com o objetivo de explorar técnicas e critérios para as atividades de VV&T instanciados para diferentes paradigmas de desenvolvimento mais recentes (Orientação a Objetos, Aspectos, Processos Ágeis, etc.) e para diferentes domínios de aplicação (Sistemas de Informação, Aplicações concorrentes, Sistemas de Tempo Real etc.). Estudos experimentais serão desenvolvidos com o intuito de avaliar as estratégias definidas. Tais experimentos devem ser considerados tanto no ambiente acadêmico como industrial, e estratégias e material para transferência da tecnologia estudada devem ser elaborados visando a contribuir com a qualidade na produção de software.
      Membro: Simone do Rocio Senger de Souza.
      Este projeto visa a agregar um grupo de pesquisa com o objetivo de explorar técnicas e critérios para as atividades de VV&T instanciados para diferentes paradigmas de desenvolvimento mais recentes (Orientação a Objetos, Aspectos, Processos Ágeis, etc.) e para diferentes domínios de aplicação (Sistemas de Informação, Aplicações concorrentes, Sistemas de Tempo Real etc.). Estudos experimentais serão desenvolvidos com o intuito de avaliar as estratégias denidas. Tais experimentos devem ser considerados tanto no ambiente acadêmico como industrial, e estratégias e material para transferência da tecnologia estudada devem ser elaborados visando a contribuir com a qualidade na produção de software.
      Membro: Márcio Eduardo Delamaro.
      Edital MCT/CNPq 15/2007 ? Universal (Faixa C)
      Membro: Ellen Francine Barbosa.

      Membro: Elisa Yumi Nakagawa.
    11. 2017-2017. Escolas públicas descobrindo o ICMC: atraindo jovens para as áreas de computação, matemática e estatística
      Este projeto pretende ampliar as ações de divulgação realizadas para os estudantes do ensino médio de escolas públicas. A meta é atrair os jovens para as oportunidades de carreira que existem em três áreas do conhecimento: computação, matemática e estatística, contribuindo para divulgar os cursos de graduação do ICMC. Essa divulgação será realizada pelos próprios estudantes dos cursos de graduação do ICMC, que receberão treinamento e serão capacitados para preparar materiais de divulgação direcionado aos estudantes das escolas públicas da região. Sabe-se que o envolvimento de estudantes de graduação em atividades de divulgação é muito benéfico, pois eles têm a possibilidade de atrair melhor o público de estudantes do ensino médio ao compartilharem suas experiências, oferecendo um novo olhar para a Universidade.
      Membro: Simone do Rocio Senger de Souza.
    12. 2019-2019. O GAPsi -Grupo de Apoio Psicopedagógico da USP/São Carlos- como instrumento de apoio à redução da evasão: Contribuições para o Desenvolvimento do Grupo
      O GAPsi ? Grupo de Apoio Psicopedagógico foi criado com o objetivo de promover o desenvolvimento de atividades preventivas de caráter psicopedagógico que promovem a saúde e bem-estar psicológico dos estudantes, melhorando as suas condições de ensino-aprendizado. Neste projeto pretende-se definir e implementar um ambiente de apoio às atividades do GAPsi, incluindo melhorar sua divulgação, registro de atendimentos realizados e informações estatísticas sobre os dados do sistema. Espera-se que o ambiente de apoio auxilie a ampliar o público participante das ações do GAPsi, gerando dados para as tomadas de decisões do grupo.
      Membro: Simone do Rocio Senger de Souza.
    13. 2019-2019. Curso de Difusão I: Introdução à Meditação
      Os altos níveis de estresse entre a comunidade acadêmica, notadamente estudantes de pós-graduação, têm sido evidenciados em diversas pesquisas. Embora estudos apontem que os doutorandos são seis vezes mais propensos a desenvolverem ansiedade e depressão em comparação com a população geral, poucas atividades ou programas têm sido realizados nas universidades brasileiras visando auxiliar os estudantes a prevenir enfermidades dessa natureza. Nesse sentido, a meditação é considerada como uma técnica que contribui fortemente para a redução do estresse e melhoria da qualidade de vida e tem sido usada pelas melhores universidades do mundo. Estudos mostram que as técnicas de meditação são capazes de modificar as estruturas e as funções do cérebro e têm os efeitos positivos na cognição, na regulação emocional, na atenção, na eficiência cerebral e no relaxamento. Complementarmente, o Yoga, prática indiana, é, segundo o Ministério da Saúde do Brasil, promove o equilíbrio de emoções e da mente. O curso tem duração total de 6 horas. Este curso faz parte do projeto "Bem-estar na vida Acadêmica", da Escola de Engenharia de São Carlos (EESC/USP) e foi desenvolvido pela comunidade do Tergar (https://portugues.tergar.org/ ) sob orientação de Mingyur Rinpoche, referência internacional na área visando introduzir novos praticantes de meditação à Comunidade Tergar e aos métodos de meditação. Cada uma das 4 seções do curso inclui um vídeo com ensinamentos de Mingyur Rinpoche, bem como sessões curtas de meditação guiada e grupos de discussão. É oferecido sem custos para os participantes.
      Membro: Simone do Rocio Senger de Souza.
    14. 2020-2020. O GAPsi - Grupo de Apoio Psicopedagógico do ICMC/USP São Carlos - como instrumento de apoio à redução da evasão: Contribuições para o Desenvolvimento do Grupo
      O GAPsi ? Grupo de Apoio Psicopedagógico do ICMC foi criado com o objetivo de desenvolver e estimular atividades preventivas de caráter psicopedagógico que promovem a saúde e bem-estar psicológico dos estudantes, melhorando as suas condições de ensino-aprendizado. Este projeto pretende dar continuidade as atividades realizadas no projeto PUB anterior que visam apoiar o grupo por meio de duas frentes: 1) desenvolvimento de um sistema de apoio às atividades do GAPsi, incluindo registro de acolhimentos realizados e informações estatísticas sobre os dados do sistema; e 2) desenvolvimento de mecanismos para divulgação do grupo e de todas as suas ações. Espera-se que o ambiente de apoio bem como a melhor divulgação do grupo, auxiliem na ampliação do público participante das ações do GAPsi, gerando dados para as tomadas de decisões, como também promovendo melhorias a saúde mental dos nossos estudantes.
      Membro: Simone do Rocio Senger de Souza.
    15. 2016-2016. Curso de Difusão: Língua Brasileira de Sinais para Licenciatura
      Propiciar a aproximação dos falantes do português de uma língua viso-gestual usada pelas comunidades surdas (Libras) e uma melhor comunicação entre surdos e ouvintes em todos os âmbitos da sociedade, e especialmente nos espaços educacionais, favorecendo ações de inclusão social oferecendo possibilidades para a quebra de barreiras linguísticas. O Curso se justifica pela oportunidade dos licenciandos aprenderem e praticarem as habilidades de comunicação com alunos com necessidades especiais, atualmente incluídos nas escolas regulares da Educação Básica
      Membro: Simone do Rocio Senger de Souza.
    16. 2014-2014. Curso de Difusão: Memórias Transacionais: Conceitos e Técnicas de Implementação e de Programação
      Este curso visa realizar uma introdução à Tecnologia das Memórias Transacionais. Tem como audiência alvo todos aqueles que tenham alguma experiência prévia em computação concorrente / paralela e pretendam conhecer e aprender outros mecanismos de sincronização alternativos aos tradicionais semáforos (locks) e variáveis de condição (condition variables). No final deste módulo, a audiência irá compreender o que são Memórias Transacionais e como podem ser utilizadas na especificação de programas concorrentes nas linguagens de programação mais comuns. A audiência irá também compreender a problemática da implementação de memórias transacionais, tanto por software como por hardware. Este conhecimento permitirá aos membros da audiência experimentar autonomamente com Memórias Transacionais e decidir quanto à sua utilização ou não nos seus programas concorrentes.
      Membro: Simone do Rocio Senger de Souza.
    17. 2021-2021. Projeto Siflor Cerrado: Desenvolvimento de Software de apoio ao Cultivo de Espécies Florestais no Cerrado Brasileiro
      Este projeto está sendo desenvolvido em parceria com pesquisadores da ESALQ/USP - Escola Superior de Agricultura Luiz de Queiroz. O projeto está inserido no Plano de Agricultura de Baixo Carbono do Ministério da Agricultura, Pecuária e Floresta, compreendendo as ações em que o componente florestal integra o sistema de produção. O projeto visa desenvolver um software/aplicativo que contemple informações relacionadas a clima, solo, altitude, etc., e apresente ao produtor rural informações sobre aptidão de diferentes espécies florestais/clones para cultivo na região do Cerrado Brasileiro. O software/aplicativo deverá apresentar ao público alvo, de forma amigável e usando recursos de informação geográfica (mapas e localização geográfica), as recomendações de espécies florestais adaptadas ao cultivo em sistema de monocultivo e de Integração Lavoura Pecuária e Floresta na região de abrangência do bioma Cerrado no Brasil, de acordo com as características de solo e clima da propriedade rural indicada.
      Membro: Simone do Rocio Senger de Souza.
      Este projeto está sendo desenvolvido em parceria com pesquisadores da ESALQ/USP - Escola Superior de Agricultura Luiz de Queiroz. O projeto está inserido no Plano de Agricultura de Baixo Carbono do Ministério da Agricultura, Pecuária e Floresta, compreendendo as ações em que o componente florestal integra o sistema de produção. O projeto visa desenvolver um software/aplicativo que contemple informações relacionadas a clima, solo, altitude, etc., e apresente ao produtor rural informações sobre aptidão de diferentes espécies florestais/clones para cultivo na região do Cerrado Brasileiro. O software/aplicativo deverá apresentar ao público alvo, de forma amigável e usando recursos de informação geográfica (mapas e localização geográfica), as recomendações de espécies florestais adaptadas ao cultivo em sistema de monocultivo e de Integração Lavoura Pecuária e Floresta na região de abrangência do bioma Cerrado no Brasil, de acordo com as características de solo e clima da propriedade rural indicada.
      Membro: Paulo Sérgio Lopes de Souza.
    18. 2020-2020. Curso de Difusão II: Introdução à Meditação
      Os altos níveis de estresse entre a comunidade acadêmica, notadamente estudantes de pós-graduação, têm sido evidenciados em diversas pesquisas. Embora estudos apontem que os doutorandos são seis vezes mais propensos a desenvolverem ansiedade e depressão em comparação com a população geral, poucas atividades ou programas têm sido realizados nas universidades brasileiras visando auxiliar os estudantes a prevenir enfermidades dessa natureza. Nesse sentido, a meditação é considerada como uma técnica que contribui fortemente para a redução do estresse e melhoria da qualidade de vida e tem sido usada pelas melhores universidades do mundo. Estudos mostram que as técnicas de meditação são capazes de modificar as estruturas e as funções do cérebro e têm os efeitos positivos na cognição, na regulação emocional, na atenção, na eficiência cerebral e no relaxamento. Complementarmente, o Yoga, prática indiana, é, segundo o Ministério da Saúde do Brasil, promove o equilíbrio de emoções e da mente. O curso tem duração total de 6 horas. Este curso faz parte do projeto "Bem-estar na vida Acadêmica", da Escola de Engenharia de São Carlos (EESC/USP) e foi desenvolvido pela comunidade do Tergar (https://portugues.tergar.org/ ) sob orientação de Mingyur Rinpoche, referência internacional na área visando introduzir novos praticantes de meditação à Comunidade Tergar e aos métodos de meditação. Cada uma das 4 seções do curso inclui um vídeo com ensinamentos de Mingyur Rinpoche, bem como sessões curtas de meditação guiada e grupos de discussão. É oferecido sem custos para os participantes.
      Membro: Simone do Rocio Senger de Souza.

Prêmios e títulos

  • Total de prêmios e títulos (1)
    1. Best paper: Ensino, Aprendizagem e Uso Profissional da UML em Maringá e Região. SBC - evento WEI 2021. 2021.
      Membro: Simone do Rocio Senger de Souza.

Participação em eventos

  • Total de participação em eventos (19)
    1. XXII Congresso da Sociedade Brasileira de Computação. XXII Congresso da Sociedade Brasileira de Computação
    2. . XIII Congresso de Iniciação Científica e Tecnológica em Engenharia
    3. XXI Congresso da Sociedade Brasileira de Computação. XXI Congresso da Sociedade Brasileira de Computação
    4. . II Congresso de Graduação da USP
    5. Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (Invited Speaker). Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD - IX)
    6. Testing of Concurrent Programs and Amnesia Project. Workshop on Distributed Computing
    7. . VI Congresso do Departamento de Sistemas de Computação (CongreSSC 2012)). .
    8. avaliação de Sessão Técnica de posters de Iniciação Científica. 17o SIICUSP
    9. Structural Testing for Semaphore-Based Multithread Programs. 8th International Conference on Computational Science
    10. . TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques
    11. . Euro PVM/MPI 2008
    12. . Third European PVM Conference - EuroPVM'96
    13. Execução Determinística de Programas Concorrentes Durante o Teste de Mutação. VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, co-alocado ao CBSOFT2012
    14. Análise de Mutantes: Uma Avaliação Empírica do Axioma de Antiextensionalidade. Workshop de Qualidade de Software - SBES'95
    15. FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle.. XV SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE
    16. . ESELAW - Experimental Software Engineering Latin American Workshop
    17. V Congresso do Departamento de Sistemas de Computação. V Congresso Departamento de Sistemas de Computação
    18. . III Congresso Brasileiro de Software: Teoria e Prática (CBSof 2012)
    19. . International Conference on Computational Science (ICCS 2013)

Organização de eventos

  • Total de organização de eventos (13)
    1. . II Semana de Informática do Departamento de Informática da UEPG. UEPG - Universidade Estadual de Ponta Grossa. 1992. Organizacao
    2. . 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012). workshop satélite do ISSTA 2012. 2012. Organizacao
    3. . II Congresso do Departamento de Sistemas de Computação. ICMC/USP. 2008. Organizacao
    4. . II Mostra de Projetos em Computação - ProComp2004. Departamento de Informática - UEPG. 2004. Organizacao
    5. . Delegado local da IV Olimpíada de Informática OBI - UEPG. SBC - Sociedade Brasileira de Computação. 2002. Organizacao
    6. . Delegado local da III Olimpíada de Informática OBI - UEPG. SBC - Sociedade Brasileira de Computação. 2001. Organizacao
    7. . ProComp2003 - I Mostra de Projetos em Computação. Departamento de Informática - UEPG. 2003. Organizacao
    8. . Workshop on Distributed Computing. Departamento de Sistemas de Computação - ICMC/USP. 2014. Organizacao
    9. . 9th Workshop on Systematic and Automated Software Testing (SAST 2015). Sociedade Brasileira de Computação (SBC). 2015. Organizacao
    10. . I Simpósio Brasileiro de Teste de Software Sistemático e Automatizado (SAST 2016). Sociedade Brasileira de Computação (SBC). 2016. Nao_informado
    11. . Chair Student Volunteer - IEEE International Conference on Software Testing, Verification and Validation (ICST) 2021. SBC. 2021. Organizacao
    12. . Chair da Trilha Educação - Simpósio Brasileiro de Engenharia de Software - CBSoft. SBC. 2021. Organizacao
    13. . SAST 2009 - Brazilian Workshop on Systematic and Automated Software Testing. ICMC/USP e Din/UFPR. 2009. Organizacao

Lista de colaborações

  • Colaborações endôgenas (10)
    • Simone do Rocio Senger de Souza ⇔ Paulo Sérgio Lopes de Souza (63.0)
      1. SANTOS, I.; MELO, S. M.; SOUZA, P. S. L.; Souza, S. R. S. A survey on the practices of software testing: a look into Brazilian companies. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT. v. 10, p. 1-15, 2022.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. DELAMARO, MÁRCIO E.; ANDRADE, STEVÃO A.; DE SOUZA, SIMONE R. S.; DE SOUZA, PAULO S. L.. Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. v. 31, p. 337-380, 2021.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. DIAZ, S. M. D.; SOUZA, PAULO S. L.; SOUZA, S. R. S.. Structural testing for communication events into loops of message-passing parallel programs. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE. v. 1, p. 1-19, 2021.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. Brito, M.A.S.; SOUZA, S. R. S.; SOUZA, PAULO S. L.. Integration testing for robotic systems. SOFTWARE QUALITY JOURNAL (ONLINE). v. 1, p. 1-33, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. MELO, SILVANA M.; CARVER, JEFFREY C.; SOUZA, PAULO S.L.; SOUZA, SIMONE R.S.. Empirical research on concurrent software testing: A systematic mapping study. INFORMATION AND SOFTWARE TECHNOLOGY. v. 105, p. 226-251, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. BACHIEGA, N. G.; SOUZA, PAULO SERGIO LOPES DE; SOUZA, S. R. S.. The World Teaching of Parallel and Distributed Programming. INTERNATIONAL JOURNAL OF COMPUTER ARCHITECTURE EDUCATION. v. 8, p. 1-9, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; SARMANHO, FELIPE SANTOS; SOUZA, Paulo Sergio Lopes de. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL. v. 26, p. 921-959, 2017.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      8. Silva, R.A.; SOUZA, S. R. S.; SOUZA, P. S. L.. A Systematic Review on Search Based Mutation Testing. Information and Software Technology. p. 1-19, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      9. SOUZA, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software Testing, Verification & Reliability. v. 25, p. n/a-n/a, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      10. SOUZA, PAULO S.L.; SOUZA, SIMONE R.S.; ZALUSKA, ED. Structural testing for message-passing concurrent programs: an-extended test model. Concurrency and Computation. v. 26, p. 21-50, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      11. SOUZA, S. R. S.; VERGILIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; HAUSEN, Alexandre Ceolin. Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience. v. 20, p. 1893-1916, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      12. KIKUTI, D.; SOUZA, Paulo Sérgio Lopes de; SOUZA, S. R. S.. Using Portable Monitoring for Heterougeneous Clusters on Window and Linux Operating Systems. Journal of Computer Science and Technology (La Plata. En línea). v. 3, n. 2, p. 15-21, 2003.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      13. ZAMBIANCO JUNIOR, Rivaldo Antonio; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. REACH-TREE: Uma Ferramenta para Geração de Árvore de Alcançabilidade para Sistemas Especificados em Estelle. REIC. Revista Eletrônica de Iniciação Científica. v. II, n. setembro, p. 1-10, 2002.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      14. GIACOMETTI, Cassiano; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. Teste de Mutação para a Validação de Aplicações Concorrentes usando PVM. REIC. Revista Eletrônica de Iniciação Científica. v. II, n. Setembro, p. -, 2002.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      15. SOUZA, S. R. S.; SOUZA, P. S. L.; Melo, S.M.; Silva, R.A.; Vergilio, S.R.. Teste de Programas Concorrentes. Em: Introdução ao Teste de Software - 2a ed.. 2 ed. : Elsevier. 2016.v. 1, p. 261-296.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      16. SOUZA, S. R. S.; VERGÍLIO, Silvia Regina; SOUZA, Paulo Sérgio Lopes de. Teste de Programas Concorrentes. Em: Introdução ao Teste de Software. 1 ed. : Elsevier Editora LTDA - Campus - SBC. 2007.v. 1, p. 231-248.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      17. SANTOS, ITALO; FURLANETTI, ANDRE B. P.; MELO, SILVANA M.; DE SOUZA, PAULO SERGIO LOPES; DELAMARO, MÁRCIO E.; Souza, Simone R. S.. Contributions to improve the combined selection of concurrent software testing techniques. Em: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, p. 69-78, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      18. BACHIEGA, NAYLOR G.; DE SOUZA, PAULO S. L.; BRUSCHI, SARITA M.; DE SOUZA, SIMONE DO R. S.. Performance Evaluation of Container?s Shared Volumes. Em: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), v. 1, p. 114-123, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      19. SANTOS, ITALO; MELO, SILVANA MORITA; LOPES DE SOUZA, PAULO SERGIO; Souza, Simone R. S.. Towards a unified catalog of attributes to guide industry in software testing technique selection. Em: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), v. 1, p. 398-407, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      20. SANTIAGO C. PINTO, VICTOR HUGO; Souza, Simone R. S.; SOUZA, PAULO S. L.. A Preliminary Fault Taxonomy for Multi-tenant SaaS Systems. Em: 2019 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), v. 1, p. 178-187, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      21. DIAZ, S. M. D.; DE SOUZA, PAULO SERGIO L.; SOUZA, S. R. S.. A structural testing tool for MPI programs with loops. Em: Simpósio de Sistemas Computacionais de Alto Desempenho WSCAD, v. 1, p. 1-12, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      22. SANTOS, ITALO; MELO, SILVANA M.; DE SOUZA, PAULO SERGIO LOPES; Souza, Simone R. S.. Testing Techniques Selection: A Systematic Mapping Study. Em: XXXIII Brazilian Symposium on Software Engineering (SBES 2019), v. 1, p. 347-356, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      23. BACHIEGA, NAYLOR G.; SOUZA, PAULO S. L.; BRUSCHI, SARITA M.; DE SOUZA, SIMONE DO R. S.. Container-Based Performance Evaluation: A Survey and Challenges. Em: 2018 IEEE International Conference on Cloud Engineering (IC2E), v. 1, p. 398-403, 2018.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      24. BACHIEGA, NAYLOR GARCIA; SOUZA, PAULO LOPES DE; BRUSCHI, SARITA; SOUZA, SIMONE. Um Panorama do Ensino de Programação Paralela e Distribuída em Universidades Brasileiras. Em: IV Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2018), pertencente ao Congresso Brasileiro de Informática na Educação (CBIE 2018), v. 1, p. 480-, 2018.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      25. BACHIEGA, N. G.; SOUZA, P. S. L.; BRUSCHI, Sarita Mazzini; SOUZA, S. R. S.. Mapeamento Sistemático do Ensino Teórico e Prático de Programação Paralela. Em: CBIE - Congresso Brasileiro de Informática na Educação, v. 6, p. 1089-1098, 2017.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      26. VILELA, Ricardo F.; SOUZA, Paulo Sergio L.; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger. Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. Em: 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), v. 1, p. 242-255, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      27. BRITO, M. A. S.; SANTOS, M. P.; SOUZA, S. R. S.; Souza, P. S. L.. A Systematic Mapping of Data Generation for Integration Software Testing. Em: 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), v. 1, p. 229-241, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      28. PRADO, R. R.; SOUZA, P. S. L.; SOUZA, S. R. S.; DOURADO, G. G. M.; BATISTA, R. N.. ValiPar Service: Structural Testing of Concurrent Programs as a Web Service Composition. Em: International Conference on Information Technology: New Generationsy (ITNG 2016), v. 448, p. 581-590, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      29. Pinto, V. H. S. C.; Luz, H. J. F.; OLIVEIRA, R. R.; SOUZA, PAULO S. L.; Souza, S.R.S.. A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems. Em: The 28th International Conference on Software Engineering & Knowledge Engineering (SEKE 2016), v. 1, p. 1-6, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      30. OLIVEIRA, ALEXANDRE P.; SOUZA, PAULO S. L.; Souza, Simone R. S.. ValiErlang. Em: the 1st Brazilian Symposium, v. 1, p. 1-10, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      31. SOUZA, PAULO S. L.; Batista, R. N.; SOUZA, SIMONE R. S.; PRADO, RAFAEL R.; DOURADO, GEORGE G. M.; ESTRELLA, JULIO C.. Trace Generation and Deterministic Execution for Concurrent Programs. Em: XVII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2016), v. 1, p. 240-251, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      32. OLIVEIRA, A. P.; SOUZA, Paulo Sérgio Lopes de; Souza, S. R. S; ESTRELLA, J. C.; BRUSCHI, Sarita Mazzini. A Systematic Mapping about Testing of Functional Programs. Em: International Conference on Software Engineering Research and Practice (SERP), v. 1, p. 27-30, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      33. PRADO, RAFAEL R.; SOUZA, PAULO S. L.; DOURADO, GEORGE G. M.; Souza, Simone R. S.; ESTRELLA, JULIO C.; BRUSCHI, SARITA M.; LOURENCO, JOAO. Extracting static and dynamic structural information from java concurrent programs for coverage testing. Em: 2015 XLI Latin American Computing Conference (CLEI), v. 1, p. 667-674, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      34. OLIVEIRA, A. P.; SOUZA, P. S. L.; SOUZA, S. R. S.; ESTRELLA, J. C.; BRUSCHI, Sarita Mazzini. Teste estrutural aplicado à linguagem funcional Erlang. Em: 9th Brazilian Workshop on Systematic and Automated Software Testing, v. 1, p. 41-50, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      35. Brito, M. A. S.; SANTOS, M. P.; SOUZA, Paulo Sergio Lopes de; Souza, S. R. S. Integration testing criteria for mobile robotic systems. Em: The 27th International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 182-187, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      36. Pinto, V. H. S. C.; Souza, S.R.S.; SOUZA, PAULO S. L.. Estudo e definição de uma estratégia sistemática de teste para aplicações na nuvem. Em: V Workshop de Teses e Dissertações do CBSoft, v. 1, p. 1-7, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      37. MELO, SILVANA M.; SOUZA, SIMONE R. S.; SILVA, RODOLFO A.; SOUZA, PAULO S. L.. Concurrent Software Testing in Practice: A Catalog of Tools. Em: Workshop on Automated Software Testing, v. 1, p. 31-40, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      38. SILVA, J. D. P.; Souza, S.R.S.; SOUZA, PAULO S. L.. Geração Automática de Dados de teste para Programas Concorrentes com o uso de meta-heurística. Em: Brazilian Workshop on Systematic and Automated Software Testing, co alocado ao Congresso Brasileiro de Software (CBSoft), v. 1, p. 71-80, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      39. Souza, P. S. L.; SOUZA, S. R. S.; ROCHA, M. G.; PRADO, R. R.; BATISTA, R. N.. Data flow testing in concurrent programs with message-passing and shared-memory paradigms. Em: International Conference on Computational Science, ICCS 2013., v. 18, p. 149-158, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      40. Brito, M. A. S.; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs. Em: International Conference on Computational Science, ICCS 2013., v. 18, p. 250-259, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      41. Silva, R A; SOUZA, S. R. S.; Souza, P. S. L.. Utilizando uma Arquitetura de Referência para Apoiar o Desenvolvimento de uma Ferramenta de Teste de Programas Concorrentes. Em: 10th CONTECSI International Conference on Information Systems and Technology Management, v. 1, p. 862-878, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      42. Silva, R A; SOUZA, S. R. S.; Souza, P. S. L.. Mutation Operators for Concurrent Programs in MPI. Em: 13th IEEE Latin American Test Workshop, v. 1, p. 69-64, 2012.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      43. Silva, R A; SOUZA, S. R. S.; Souza, P. S. L.. Execução Determinística de Programas Concorrentes Durante o Teste de Mutação. Em: VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, co-alocado ao CBSOFT2012, v. 1, p. 1-10, 2012.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      44. SOUZA, S. R. S.; Souza, P. S. L.; Machado, M C C; Camillo, M S; Simão, A.S.; Zaluska, E. Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. Em: 23rd International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 207-212, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      45. SOUZA, Paulo Sergio Lopes de; Sawabe, E. T.; SIMÃO, Adenilso da Silva; VERGILIO, Silvia Regina; SOUZA, S. R. S.. ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. Em: 15th European PVM/MPI Users' Group Meeting, v. 5205, p. 257-264, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      46. Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs. Em: TAIC PART 2008 - Testing: Academic and Industrial Conference - Practice and Research Techniques, v. 1, p. 3-12, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      47. Sarmanho, F.S.; SOUZA, Paulo Sérgio Lopes de; SOUZA, S. R. S.; SIMÃO, Adenilso da Silva. Structural Testing for Semaphore-Based Multithread Programs. Em: International Conference on Computational Science ICCS2008, v. 5101, p. 337-346, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      48. HAUSEN, Alexandre Ceolin; VERGÍLIO, Silvia Regina; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de; SIMÃO, Adenilso da Silva. A Tool for Structural Testing of MPI Programs. Em: 8th LATW - IEEE Latin-American Test Workshop, v. 1, p. 1-6, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      49. Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de. Aplicação de Teste Estrutural para Composição de Web Services. Em: Brazilian Workshop on Systematic and Automated Software Testing (SAST?2007) - collocated with XXI Simpósio Brasileiro de Engenharia de Software, v. 1, p. 13-20, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      50. SOUZA, S. R. S.; VERGÍLIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; BLISCOSQUE, Thiago Gonçalves; LIMA, Alexandre de Melo; HAUSEN, Alexandre Ceolin. ValiPar: A Testing Tool for Message-Passing Parallel Programs. Em: 17th International Conference on Software Engineering & Knowledge Engineering SEKE2005, v. I, p. 386-391, 2005.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      51. VERGÍLIO, Silvia Regina; SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de. Coverage Testing Criteria for Message-Passing Parallel Programs. Em: 6th IEEE Latin-American Test Workshop - LATW2005, v. 1, p. 161-166, 2005.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      52. BRITTO JR, A. S.; SOUZA, Paulo Sérgio Lopes de; SABOURIN, R.; SOUZA, S. R. S.; BORGES, D. L.. A Low-Cost Parallel K-Means VQ Algorithm Using Cluster Computing. Em: International Conference on Document Analysis and Recognition, v. 1, p. 839-843, 2003.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      53. KIKUTI, D.; SOUZA, Paulo Sérgio Lopes de; SOUZA, S. R. S.. XPVM-W95 - A Performance Monitoring Tool for PVM Clusters on Windows Operating Systems. Em: XXII International Conference of the Chilean Computer Science Society - VI Workshop on Distributed Systems and Parallelism, v. 1, p. 1-10, 2002.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      54. SOUZA, Paulo Sergio Lopes de; SANTANA, M. J.; SANTANA, R. C.; SOUZA, S. R. S.. Parallel Virtual Machine for Windows95. Em: Third European PVM Conference - EuroPVM'96, v. 1156, p. 288-295, 1996.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      55. MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; DE SOUZA, PAULO SERGIO LOPES; CARVER, JEFFREY C.. How to test your concurrent software: an approach for the selection of testing techniques. Em: SIGPLAN International Workshop on Software Engineering for Parallel Systems, v. 1, p. 42-43, 2017.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      56. MELO, S. M.; SOUZA, S. R. S.; Souza, P. S. L.. Structural Testing for Multithreaded Programs: an Experimental Evaluation of the Cost, Strength and Effectiveness. Em: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE2012), v. 1, p. 476-479, 2012.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      57. Souza, Simone R. S.; BRITO, MARIA A. S.; SILVA, RODOLFO A.; SOUZA, PAULO S. L.; ZALUSKA, ED. Research in Concurrent Software Testing: A Systematic Review. Em: Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - International Symposium on Software Testing and Analysis (ISSTA 2011), v. 1, p. 1-5, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      58. Sarmanho, F.S.; SOUZA, Paulo Sergio Lopes de; SOUZA, S. R. S.; SIMÃO, Adenilso da Silva. Aplicação de Teste Estrutural para Programas Multithreads Baseados em Semáforos. Em: Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD´2007) collocated with 19th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), v. 1, p. 18-21, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      59. HAUSEN, Ac; VERGÍLIO, S; SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva. ValiMPI: Uma Ferramenta para o Teste de Programas Paralelos. Em: Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, v. I, p. 7-12, 2006.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      60. BRUNO FILHO, João Walter; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. Implementação de Recursos para Extração de Requisitos de Teste de Programas Paralelos em PVM (resumo de IC). 2004. XIII Encontro Anual de Iniciação Científica. (Publicação em evento de iniciação científica)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      61. LIMA, Alexandre de Melo; GONÇALVES, Thiago Bliscosque; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de; VERGÍLIO, Silvia Regina. Implementação de Recursos para Extrair Informações de Troca de Mensagens de Aplicações Paralelas em PVM (resumo de IC). 2004. XIII Encontro Anual de Iniciação Científica. (Publicação em evento de iniciação científica)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      62. GONÇALVES, Thiago Bliscosque; LIMA, Alexandre de Melo; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de; VERGÍLIO, Silvia Regina. Implementação de Recursos para Instrumentação de Programas Paralelos em PVM (resumo de IC). 2004. XIII Encontro Anual de Iniciação Científica. (Publicação em evento de iniciação científica)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      63. . Coordenador de sessão no ii encontro de pesquisa da uepg. 2002.
        [ busca Google | busca Bing ]

    • Simone do Rocio Senger de Souza ⇔ Jose Carlos Maldonado (24.0)
      1. SOUZA, S. R. S.; PRADO, M. P.; BARBOSA, Ellen Francine; MALDONADO, J C. An Experimental Study to Evaluate the Impact of the Programming Paradigm in the Testing Activity. CLEI Electronic Journal. v. 15, p. Paper 3-, 2012.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. DE SOUZA, SIMONE DO ROCIO SENGER; MALDONADO, José Carlos; FABBRI, SANDRA CAMARGO PINTO FERRAZ; DE SOUZA, WANDERLEY LOPES. Mutation Testing Applied to Estelle Specifications. Software Quality Journal. v. 8, n. 4, p. 285-301, 1999.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. SOUZA, Simone do Rocio Senger; FABBRI, Sandra Camargo Pinto Ferraz; BARBOSA, Ellen Francine; CHAIM, Marcos Lordello; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; JINO, Mario; MALDONADO, José Carlos. Estudos Teóricos e Experimentais. Em: Introdução ao Teste de Software. 1 ed. : Elsevier Editora LTDA - Campus - SBC. 2007.p. 251-268.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. MALDONADO, Jose Carlos; VINCENZI, Auri Marcelo Rizzo; BARBOSA, Ellen Francine; SOUZA, S. R. S.; DELAMARO, Márcio Eduardo. Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. Em: Revista da Escola de Informática da SBC - Regional Sul. 1 ed. : "". 1998.p. 53-86.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. VINCENZI, AURI M. R.; BACHIEGA, TIAGO; DE OLIVEIRA, DANIEL G.; DE SOUZA, SIMONE R. S.; MALDONADO, JOSÉ C.. The complementary aspect of automatically and manually generated test case sets. Em: the 7th International Workshop, p. 23-, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. DE SOUZA, DRAYLSON M.; OLIVEIRA, BRUNO H.; Maldonado, Jose Carlos; SOUZA, SIMONE R. S.; BARBOSA, ELLEN F.. Towards the use of an automatic assessment system in the teaching of software testing. Em: 2014 IEEE Frontiers in Education Conference (FIE), v. 1, p. 1-6, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. FELIZARDO, KATIA ROMERO; SOUZA, SIMONE R.S.; Maldonado, Jose Carlos. The Use of Visual Text Mining to Support the Study Selection Activity in Systematic Literature Reviews: A Replication Study. Em: Third International Workshop on Replications in Software Engineering, co-alocated to International Symposium on Empirical Software Engineering and Measurement (ESEM), v. 1, p. 1-10, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      8. CAMPANHA, D. N.; SOUZA, S. R. S.; Lemos, O.A.L.; BARBOSA, Ellen Francine; MALDONADO, J C. Reutilização de Conjuntos de Teste: Um Estudo no domínio de Algoritmos de Ordenação. Em: 6th Experimental Software Engineering Latin American Workshop (ESELAW 2009), v. 1, p. 114-123, 2009.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      9. BARBOSA, ELLEN FRANCINE; SOUZA, SIMONE DO ROCIO SENGER DE; Maldonado, José Carlos. An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing. Em: 2008 IEEE 21st Conference on Software Engineering Education and Training (CSEET), v. 1, p. 189-196, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      10. PRADO, M. P.; CAMPANHA, D. N.; SOUZA, S. R. S.; MALDONADO, J C. Um Conjunto de Artefatos para Apoio à Definição de Estudos Experimentais em Teste de Software. Em: 5th Experimental Software Engineering Latin American Workshop -ESELAW, v. 1, p. 1-10, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      11. BARBOSA, Ellen Francine; SOUZA, S. R. S.; Domingues, A.L.S; Chan, A.; Nina, E.; MALDONADO, José Carlos. Uma Experiência no Ensino de Inspeção e Teste de Software. Em: VI Simpósio Brasileiro de Qualidade de Software, v. 1, p. 309-324, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      12. SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; MALDONADO, José Carlos. A Family of Coverage Testing Criteria for Coulored Petri Nets. Em: XVII Simpósio Brasileiro de Engenharia de Software - SBES'2003, v. I, p. 209-224, 2003.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      13. SOUZA, S. R. S.; MALDONADO, José Carlos; FABBRI, S. C. P. F.. FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle. Em: XV SBES - Simpósio Brasileiro de Engenharia de Software, v. Único, p. 256-271, 2001.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      14. SOUZA, S. R. S.; MALDONADO, José Carlos; FABBRI, Sandra Cpf; MASIERO, P. C.. Statecharts Specifications: A Family of Coverage Testing Criteria. Em: CLEI2000 - XXVI Conferência Latino Americana de Informática, p. 1-12, 2000.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      15. SOUZA, S. R. S.; MALDONADO, José Carlos; FABBRI, Sandra Cpf; LOPES DE SOUZA, W. L.. Mutation Testing Applied to Estelle Specifications. Em: 33rd Hawaii International Conference on System Sciences - Mini-track on Distributed Systems Testing, v. I, p. 1-10, 2000.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      16. WONG, Eric; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger. Use of Proteum to Accelerate Mutation Testing in C Programs. Em: III ISSAT - International Conference on Reliability and Quality in Design, v. I, p. 254-258, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      17. SOUZA, S. R. S.; MALDONADO, José Carlos; VERGÍLIO, Silvia Regina. Análise de Mutantes e Potenciais-Usos: Uma Avaliação Empírica. Em: VIII CITS - Conferência Internacional de Tecnologia de Software, v. I, p. 225-236, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      18. SOUZA, S. R. S.; MALDONADO, José Carlos. Avaliação do Impacto da Minimização de Conjuntos de Casos de Teste no Custo e Eficácia do Critério Análise de Mutantes. Em: XI Simpósio Brasileiro de Engenharia de Software - SBES'97, v. I, p. 445-460, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      19. MALDONADO, J. C.; DELAMARO, M. E.; SOUZA, S. R. S. S.; PAILO, L. F.. Análise de Mutantes: Uma Avaliação Empírica do Axioma de Antiextensionalidade e da Propriedade de Equivalência. Em: Workshp de Qualidade de Software - IX SBES - Simpósio Brasileiro de Engenharia de Software, v. I, p. 136-140, 1995.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      20. VINCENZI, Auri Marcelo Rizzo; BARBOSA, Ellen Francine; DELAMARO, Márcio Eduardo; SOUZA, S. R. S.; MALDONADO, José Carlos. Critério Análise de Mutantes: Estado Atual e Perspectivas.. 1997. WPVTSO - WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO. (Trabalho/resumo em evento local)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      21. SOUZA, S. R. S.; MALDONADO, José Carlos; VERGILIO, Silvia Regina. Análise de Mutantes e Potenciais-Usos: Uma Avaliação Empírica. 1997. WPVTSO - WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO. (Trabalho/resumo em evento local)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      22. SOUZA, S. R. S.; MALDONADO, José Carlos. Uma Estratégia de Minimização de Conjuntos de Casos de Teste para o Critério Análise de Mutantes. 1997. WPVTSO - WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO. (Trabalho/resumo em evento local)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      23. SOUZA, S. R. S.; MALDONADO, José Carlos. Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas. 1997. II Workshop de Teses e Dissertações Defendidas em Ciências da Computação e Matemática Computacional. (Publicação em evento de pós-graduação)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      24. SOUZA, S. R. S.; MALDONADO, José Carlos. Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas. 1995. I Workshop de Dissertações em Andamento do ICMC. (Publicação em evento de pós-graduação)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Simone do Rocio Senger de Souza ⇔ Adenilso da Silva Simão (13.0)
      1. CUTIGI, Jorge Francisco; Simao, A.; SOUZA, S. R. S.. Reducing FSM-Based Test Suites with Guaranteed Fault Coverage. COMPUTER JOURNAL. v. 59, p. 1129-1143, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. SOUZA, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software Testing, Verification & Reliability. v. 25, p. n/a-n/a, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. SOUZA, S. R. S.; VERGILIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; HAUSEN, Alexandre Ceolin. Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience. v. 20, p. 1893-1916, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. SOUZA, S. R. S.; Souza, P. S. L.; Machado, M C C; Camillo, M S; Simão, A.S.; Zaluska, E. Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. Em: 23rd International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 207-212, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. CUTIGI, Jorge Francisco; RIBEIRO, Paulo Henrique; Simão, A. S.; SOUZA, S. R. S.. Redução do Número de Seqüências no Teste de Conformidade de Protocolos. Em: XI Workshop de Testes e Tolerância a Falhas, v. 1, p. 105-117, 2010.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. Endo, A.T.; Lindshulte, M.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.. Event- and Coverage-Based Testing of Web Services. Em: 2nd Workshop on Model-Based Verification & Validation From Research to Practice (MVV) - in conjunction with the Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI), v. 1, p. 1-8, 2010.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. SOUZA, Paulo Sergio Lopes de; Sawabe, E. T.; SIMÃO, Adenilso da Silva; VERGILIO, Silvia Regina; SOUZA, S. R. S.. ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. Em: 15th European PVM/MPI Users' Group Meeting, v. 5205, p. 257-264, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      8. Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs. Em: TAIC PART 2008 - Testing: Academic and Industrial Conference - Practice and Research Techniques, v. 1, p. 3-12, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      9. Sarmanho, F.S.; SOUZA, Paulo Sérgio Lopes de; SOUZA, S. R. S.; SIMÃO, Adenilso da Silva. Structural Testing for Semaphore-Based Multithread Programs. Em: International Conference on Computational Science ICCS2008, v. 5101, p. 337-346, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      10. HAUSEN, Alexandre Ceolin; VERGÍLIO, Silvia Regina; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de; SIMÃO, Adenilso da Silva. A Tool for Structural Testing of MPI Programs. Em: 8th LATW - IEEE Latin-American Test Workshop, v. 1, p. 1-6, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      11. Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de. Aplicação de Teste Estrutural para Composição de Web Services. Em: Brazilian Workshop on Systematic and Automated Software Testing (SAST?2007) - collocated with XXI Simpósio Brasileiro de Engenharia de Software, v. 1, p. 13-20, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      12. SOUZA, S. R. S.; VERGÍLIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; BLISCOSQUE, Thiago Gonçalves; LIMA, Alexandre de Melo; HAUSEN, Alexandre Ceolin. ValiPar: A Testing Tool for Message-Passing Parallel Programs. Em: 17th International Conference on Software Engineering & Knowledge Engineering SEKE2005, v. I, p. 386-391, 2005.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      13. SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; MALDONADO, José Carlos. A Family of Coverage Testing Criteria for Coulored Petri Nets. Em: XVII Simpósio Brasileiro de Engenharia de Software - SBES'2003, v. I, p. 209-224, 2003.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Simone do Rocio Senger de Souza ⇔ Márcio Eduardo Delamaro (12.0)
      1. DELAMARO, MÁRCIO E.; ANDRADE, STEVÃO A.; DE SOUZA, SIMONE R. S.; DE SOUZA, PAULO S. L.. Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. v. 31, p. 337-380, 2021.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. FELIZARDO, Katia Romero; SOUZA, Simone do Rocio Senger; FABBRI, Sandra Camargo Pinto Ferraz; BARBOSA, Ellen Francine; CHAIM, Marcos Lordello; DELAMARO, Márcio Eduardo; JINO, Mario; MALDONADO, José Carlos. Estudos Teóricos e Experimentais. Em: Introdução ao Teste de Software. 2a ed. : Elsevier. 2016.v. 1, p. 331-352.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. SOUZA, Simone do Rocio Senger; FABBRI, Sandra Camargo Pinto Ferraz; BARBOSA, Ellen Francine; CHAIM, Marcos Lordello; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; JINO, Mario; MALDONADO, José Carlos. Estudos Teóricos e Experimentais. Em: Introdução ao Teste de Software. 1 ed. : Elsevier Editora LTDA - Campus - SBC. 2007.p. 251-268.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. MALDONADO, Jose Carlos; VINCENZI, Auri Marcelo Rizzo; BARBOSA, Ellen Francine; SOUZA, S. R. S.; DELAMARO, Márcio Eduardo. Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. Em: Revista da Escola de Informática da SBC - Regional Sul. 1 ed. : "". 1998.p. 53-86.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. SANTOS, SEBASTIÃO; SILVEIRA, BEATRIZ; DURELLI, VINICIUS; DURELLI, RAFAEL; SOUZA, SIMONE; Delamaro, Marcio. On Using Decision Tree Coverage Criteria forTesting Machine Learning Models. Em: SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, v. 1, p. 1-9, 2021.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. SANTOS, SEBASTIÃO H. N.; DA SILVEIRA, BEATRIZ NOGUEIRA CARVALHO; ANDRADE, STEVÃO A.; DELAMARO, MÁRCIO; Souza, Simone R. S.. An Experimental Study on Applying Metamorphic Testing in Machine Learning Applications. Em: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, p. 98-106, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. SANTOS, ITALO; FURLANETTI, ANDRE B. P.; MELO, SILVANA M.; DE SOUZA, PAULO SERGIO LOPES; DELAMARO, MÁRCIO E.; Souza, Simone R. S.. Contributions to improve the combined selection of concurrent software testing techniques. Em: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, p. 69-78, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      8. NEVES, J. S.; NASCIMENTO, P. R. M.; CHAPETTA, W. A.; Raphael Carlos Santos; NEVES, Vania de Oliveira; MELO JUNIOR, W. S.; Delamaro, Marcio Eduardo; SOUZA, Simone do Rocio Senger; SOUZA, Paulo Sergio L.; DALLILO, F. D.. Ensaio de Proficiência em Avaliação da Conformidade de Produtos de Software. Em: Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança - WRAC, v. 1, p. 1-10, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      9. ALVES DE ANDRADE, STEVAO; SANTOS, ITALO; BRITO JUNIOR, CLAUDINEI; JUNIOR, MISAEL; R.S. DE SOUZA, SIMONE; E. DELAMARO, MARCIO. On Applying Metamorphic Testing: An Empirical Study on Academic Search Engines. Em: 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET), v. 1, p. 9-16, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      10. PASCHOAL, LEO NATAN; TURCI, LUCAS FERNANDES; CONTE, TAYANA UCHÔA; Souza, Simone R. S.. Towards a Conversational Agent to Support the Software Testing Education. Em: the XXXIII Brazilian Symposium, v. 1, p. 57-66, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      11. VILELA, Ricardo F.; SOUZA, Paulo Sergio L.; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger. Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. Em: 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), v. 1, p. 242-255, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      12. WONG, Eric; MALDONADO, José Carlos; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger. Use of Proteum to Accelerate Mutation Testing in C Programs. Em: III ISSAT - International Conference on Reliability and Quality in Design, v. I, p. 254-258, 1997.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Simone do Rocio Senger de Souza ⇔ Ellen Francine Barbosa (9.0)
      1. SOUZA, S. R. S.; PRADO, M. P.; BARBOSA, Ellen Francine; MALDONADO, J C. An Experimental Study to Evaluate the Impact of the Programming Paradigm in the Testing Activity. CLEI Electronic Journal. v. 15, p. Paper 3-, 2012.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. SOUZA, Simone do Rocio Senger; FABBRI, Sandra Camargo Pinto Ferraz; BARBOSA, Ellen Francine; CHAIM, Marcos Lordello; VINCENZI, Auri Marcelo Rizzo; DELAMARO, Márcio Eduardo; JINO, Mario; MALDONADO, José Carlos. Estudos Teóricos e Experimentais. Em: Introdução ao Teste de Software. 1 ed. : Elsevier Editora LTDA - Campus - SBC. 2007.p. 251-268.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. PASCHOAL, LEO NATAN; LOUREIRO KRASSMANN, ALIANE; NUNES, FELIPE BECKER; MORAIS DE OLIVEIRA, MYKE; BERCHT, MAGDA; BARBOSA, Ellen Francine; DO ROCIO SENGER DE SOUZA, SIMONE. A Systematic Identification of Pedagogical Conversational Agents. Em: 2020 IEEE Frontiers in Education Conference (FIE), v. 1, p. 1-9, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. FIORAVANTI, MARIA LYDIA; SENA, BRUNO; PASCHOAL, LEO NATAN; SILVA, LAÍZA R.; ALLIAN, ANA P.; NAKAGAWA, ELISA Y.; SOUZA, SIMONE R.S.; ISOTANI, SEIJI; BARBOSA, ELLEN F.. Integrating Project Based Learning and Project Management for Software Engineering Teaching: An Experience Report. Em: ACM Technical Symposium on Computer Science Education, v. 1, p. 806-811, 2018.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. DE SOUZA, DRAYLSON M.; OLIVEIRA, BRUNO H.; Maldonado, Jose Carlos; SOUZA, SIMONE R. S.; BARBOSA, ELLEN F.. Towards the use of an automatic assessment system in the teaching of software testing. Em: 2014 IEEE Frontiers in Education Conference (FIE), v. 1, p. 1-6, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. CAMPANHA, D. N.; SOUZA, S. R. S.; Lemos, O.A.L.; BARBOSA, Ellen Francine; MALDONADO, J C. Reutilização de Conjuntos de Teste: Um Estudo no domínio de Algoritmos de Ordenação. Em: 6th Experimental Software Engineering Latin American Workshop (ESELAW 2009), v. 1, p. 114-123, 2009.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. BARBOSA, ELLEN FRANCINE; SOUZA, SIMONE DO ROCIO SENGER DE; Maldonado, José Carlos. An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing. Em: 2008 IEEE 21st Conference on Software Engineering Education and Training (CSEET), v. 1, p. 189-196, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      8. BARBOSA, Ellen Francine; SOUZA, S. R. S.; Domingues, A.L.S; Chan, A.; Nina, E.; MALDONADO, José Carlos. Uma Experiência no Ensino de Inspeção e Teste de Software. Em: VI Simpósio Brasileiro de Qualidade de Software, v. 1, p. 309-324, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      9. VINCENZI, Auri Marcelo Rizzo; BARBOSA, Ellen Francine; DELAMARO, Márcio Eduardo; SOUZA, S. R. S.; MALDONADO, José Carlos. Critério Análise de Mutantes: Estado Atual e Perspectivas.. 1997. WPVTSO - WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO. (Trabalho/resumo em evento local)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Simone do Rocio Senger de Souza ⇔ Sarita Mazzini Bruschi (4.0)
      1. BACHIEGA, NAYLOR G.; DE SOUZA, PAULO S. L.; BRUSCHI, SARITA M.; DE SOUZA, SIMONE DO R. S.. Performance Evaluation of Container?s Shared Volumes. Em: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), v. 1, p. 114-123, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. BACHIEGA, NAYLOR G.; SOUZA, PAULO S. L.; BRUSCHI, SARITA M.; DE SOUZA, SIMONE DO R. S.. Container-Based Performance Evaluation: A Survey and Challenges. Em: 2018 IEEE International Conference on Cloud Engineering (IC2E), v. 1, p. 398-403, 2018.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. PRADO, RAFAEL R.; SOUZA, PAULO S. L.; DOURADO, GEORGE G. M.; Souza, Simone R. S.; ESTRELLA, JULIO C.; BRUSCHI, SARITA M.; LOURENCO, JOAO. Extracting static and dynamic structural information from java concurrent programs for coverage testing. Em: 2015 XLI Latin American Computing Conference (CLEI), v. 1, p. 667-674, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. OLIVEIRA, A. P.; SOUZA, P. S. L.; SOUZA, S. R. S.; ESTRELLA, J. C.; BRUSCHI, Sarita Mazzini. Teste estrutural aplicado à linguagem funcional Erlang. Em: 9th Brazilian Workshop on Systematic and Automated Software Testing, v. 1, p. 41-50, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Simone do Rocio Senger de Souza ⇔ Júlio Cezar Estrella (3.0)
      1. OLIVEIRA, A. P.; SOUZA, Paulo Sérgio Lopes de; Souza, S. R. S; ESTRELLA, J. C.; BRUSCHI, Sarita Mazzini. A Systematic Mapping about Testing of Functional Programs. Em: International Conference on Software Engineering Research and Practice (SERP), v. 1, p. 27-30, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. PRADO, RAFAEL R.; SOUZA, PAULO S. L.; DOURADO, GEORGE G. M.; Souza, Simone R. S.; ESTRELLA, JULIO C.; BRUSCHI, SARITA M.; LOURENCO, JOAO. Extracting static and dynamic structural information from java concurrent programs for coverage testing. Em: 2015 XLI Latin American Computing Conference (CLEI), v. 1, p. 667-674, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. OLIVEIRA, A. P.; SOUZA, P. S. L.; SOUZA, S. R. S.; ESTRELLA, J. C.; BRUSCHI, Sarita Mazzini. Teste estrutural aplicado à linguagem funcional Erlang. Em: 9th Brazilian Workshop on Systematic and Automated Software Testing, v. 1, p. 41-50, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Simone do Rocio Senger de Souza ⇔ Elisa Yumi Nakagawa (2.0)
      1. PASCHOAL, LEO NATAN; OLIVEIRA, BRAUNER R. N.; NAKAGAWA, ELISA YUMI; Souza, Simone R. S.. Can we use the Flipped Classroom Model to teach Black-box Testing to Computer Students?. Em: the XVIII Brazilian Symposium, v. 1, p. 158-167, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. FIORAVANTI, MARIA LYDIA; SENA, BRUNO; PASCHOAL, LEO NATAN; SILVA, LAÍZA R.; ALLIAN, ANA P.; NAKAGAWA, ELISA Y.; SOUZA, SIMONE R.S.; ISOTANI, SEIJI; BARBOSA, ELLEN F.. Integrating Project Based Learning and Project Management for Software Engineering Teaching: An Experience Report. Em: ACM Technical Symposium on Computer Science Education, v. 1, p. 806-811, 2018.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Simone do Rocio Senger de Souza ⇔ Rosana Teresinha Vaccare Braga (2.0)
      1. Brito, Maria A. S.; Rossi, João L.; Souza, Simone R. S.; Braga, Rosana Teresinha Vaccare. An Experience on Applying Software Testing for Teaching Introductory Programming Courses. CLEI Electronic Journal. v. 15, p. Paper 4-, 2012.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. Brito, M. A. S.; ROSSI, J.; SOUZA, S. R. S.; BRAGA, Rosana Teresinha Vaccare. Reuso de conjuntos de casos de teste no ensino de disciplinas introdutórias de programação. Em: VII Experimental Software Engineering Latin American Workshop, v. 1, p. 101-110, 2010.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Simone do Rocio Senger de Souza ⇔ Seiji Isotani (1.0)
      1. FIORAVANTI, MARIA LYDIA; SENA, BRUNO; PASCHOAL, LEO NATAN; SILVA, LAÍZA R.; ALLIAN, ANA P.; NAKAGAWA, ELISA Y.; SOUZA, SIMONE R.S.; ISOTANI, SEIJI; BARBOSA, ELLEN F.. Integrating Project Based Learning and Project Management for Software Engineering Teaching: An Experience Report. Em: ACM Technical Symposium on Computer Science Education, v. 1, p. 806-811, 2018.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]




(*) Relatório criado com produções desde 1970 até 2023
Data de processamento: 08/03/2023 08:58:45