Simone do Rocio Senger de Souza

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


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, teste de programas concorrentes, experimentação em engenharia de software e qualidade de software. (Texto informado pelo autor)


Identificação


Nome
Simone do Rocio Senger de Souza
Nome em citações bibliográficas
SOUZA, S. R. S.;Souza, Simone R. S.;SOUZA, SIMONE R.S.;Souza, S. R. S;DO ROCIO SENGER SOUZA, SIMONE;DE SOUZA, SIMONE DO ROCIO SENGER;DE SOUZA, SIMONE R. S.

Endereço


Endereço Profissional
Universidade de São Paulo.
Av. Trabalhador São-Carlense, 400
13560970 - Sao Carlos, SP - Brasil - Caixa-postal: 668
Telefone: (16) 33738176
URL da Homepage: www.icmc.usp.br


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


1996 - 2000
Doutorado em Física Aplicada Opção Em Física Computacional.
Instituto de Física de São Carlos, IFSC/USP, Brasil.
Título: Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste, Ano de obtenção: 2000.
Orientador: José Carlos Maldonado.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: teste de especificações formais; sistemas reativos; teste de protocolos de comunicações; Análise de Mutantes; Estelle; Statecharts.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Teste de Protocolos de Comunicação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Teste de Especificações Formais.
Setores de atividade: Informática.
1994 - 1996
Mestrado em Ciências de Computação e Matemática Computacional.
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
Título: Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas,Ano de Obtenção: 1996.
Orientador: José Carlos Maldonado.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: teste de software; Análise de Mutantes; estudos empíricos.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Qualidade de Software.
Setores de atividade: Informática.
1991 - 1992
Especialização em Ciências da Computação. (Carga Horária: 360h).
Universidade Estadual de Ponta Grossa, UEPG, Brasil.
1988 - 1990
Graduação em Bacharelado Em Processamento de Dados.
Universidade Estadual de Ponta Grossa, UEPG, Brasil.


Pós-doutorado e Livre-docência


2014
Livre-docência.
Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
Título: Contribui ções na area de Teste de Software Concorrente, Ano de obtenção: 2014.
Palavras-chave: teste de software; critérios de teste; programação concorrente.
2010 - 2011
Pós-Doutorado.
University of Southampton, SOUTHAMPTON, Inglaterra.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Distribuídos / Especialidade: Computação Paralela Distribuída.


Atuação Profissional



Instituto de Ciências Matemáticas e de Computação, ICMC/USP, Brasil.
Vínculo institucional

2005 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: professor RDIDP, Carga horária: 0, Regime: Dedicação exclusiva.

Atividades

03/2018 - Atual
Direção e administração, Departamento de Sistemas de Computação, .

Cargo ou função
presidente do grupo de apoio psicopedagógico ICMC/USP.
05/2017 - Atual
Direção e administração, Departamento de Sistemas de Computação, .

Cargo ou função
Membro do conselho do departamento de sistemas de computação.
05/2005 - Atual
Pesquisa e desenvolvimento , Departamento de Sistemas de Computação, .

08/2016 - 07/2018
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro titular da Congregação do ICMC/USP.
02/2016 - 07/2018
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Presidente da comissão de graduação do ICMC/USP.
5/2014 - 07/2018
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro titular da comissão de graduação do ICMC/USP.
10/2016 - 06/2018
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro suplente da comissão CLA-PET USP.
02/2016 - 06/2018
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro titular do Conselho de Graduação - CoG USP.
02/2016 - 06/2018
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro suplente da Câmara de Curriculos e Vestibular do CoG USP.
2/2015 - 9/2016
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Presidente da comissão de monitorias do ICMC.
6/2014 - 6/2016
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Membro titular da comissão de biblioteca do ICMC/USP.
05/2014 - 03/2016
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Coordenação do curso de Sistemas de Informação (BSI).
03/2013 - 03/2016
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Membro ttitular da CoC do curso de Sistemas de Informação do ICMC/USP.
4/2015 - 2/2016
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
suplente da presidente da Comissão de Graduação do ICMC.
3/2015 - 7/2015
Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
SSC530 - Introdução a Sistemas de Informação
SSC590 Estágio Supervisionado II
02/2013 - 02/2015
Direção e administração, Departamento de Sistemas de Computação, .

Cargo ou função
professor responsável pelo Laboratório de Engenharia de Software do ICMC/USP.
01/2013 - 01/2015
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
suplente no Conselho Técnico Administrativo do ICMC/USP.
2/2014 - 7/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SSC130 - Engenharia de Software
2/2014 - 7/2014
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SSC530 - Introdução a Sistemas de Informação
11/2013 - 6/2014
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro titular da CAE - Comissão Assessora de Ensino do SSC.
09/2013 - 6/2014
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro suplente da categoria de professor doutor do conselho do Departamento de Sistemas de Computação ICMC/USP.
09/2013 - 04/2014
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro titular da comissão de estágios do ICMC.
9/2013 - 4/2014
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
suplente da presidência da comissão de estágios do ICMC.
4/2013 - 4/2014
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Suplente de Coordenador da Comissão Coordenadora do Curso de Bacharelado em Sistemas de Informação.
7/2013 - 12/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SSC121 - Engenharia de Software I
7/2013 - 12/2013
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC673 - Estágio Supervisionado II
7/2013 - 12/2013
Ensino, Ciência de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC 5877 - Validação e Teste de Software
11/2011 - 11/2013
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro titular da CAE - Comissão Assessora de Ensino do SSC.
11/2011 - 11/2013
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro titular da CoC do Curso de Bacharelado em Informática (atual Sistemas de Informação) ICMC/USP.
09/2011 - 09/2013
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro suplente da categoria de professor doutor do conselho do Departamento de Sistemas de Computação ICMC/USP.
08/2012 - 08/2013
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Membro da comissão para elaborar proposta de projeto empreendedor no ICMC/USP.
4/2013 - 7/2013
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Presidente da comissão encarregada da elaboração, aplicação das provas e seleção dos candidatos para transferência para o ICMC de 2013.
3/2013 - 7/2013
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SSC501 - Introdução à Ciência da Computação I
SSC574 - Projeto Supervisionado ou de Graduação II
3/2013 - 7/2013
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC721 - Teste e Inspeção de Software
3/2013 - 07/2013
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
coordenador de disciplinas de conjuntos de Introdução à Ciência da Computação I (SSC0501) e Lab. de Introdução à Ciência da Computação I (SSC0502).
05/2012 - 3/2013
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Membro suplente da Coc do curso de Sistemas de Informação ICMC/USP.
7/2012 - 12/2012
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC620 - Engenharia de Software
7/2012 - 12/2012
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SSC523 - Tópicos em Engenharia de Software
7/2012 - 12/2012
Ensino, Ciência de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5905 - Revisão Sistemática em Engenharia de Software
07/2012 - 12/2012
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Membro da comissão encarregada da elaboração, aplicação das provas e seleção dos candidatos para transferência para o ICMC de 2012.
2/2012 - 7/2012
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC600 - Introdução à Ciência da Computação I
SSC721 - Teste e Inspeção de Software
2/2012 - 7/2012
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SSC577 - Seminários em Computação II
2/2012 - 7/2012
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Coordenador das disciplinas conjunto de Introdução à Ciência da Computação I.
9/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SSC121 - Engenharia de Software I
9/2011 - 12/2011
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SSC523 - Tópicos em Engenharia de Software
9/2011 - 12/2011
Ensino, Ciência de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC 5905 - Revisão Sistemática em Engenharia de Software
11/2009 - 08/2010
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
presidente da comissão assessora de ensino CAE do Departamento de Sistemas de Computação ICMC/USP.
2/2010 - 7/2010
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC600 - Introdução à Ciência da Computação I
SSC601 - Laboratório de Introdução à Ciência da Computação I
2/2010 - 7/2010
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SSC578 - Seminários em Computação III
10/2006 - 07/2010
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
membro titular da CAE - Comissão Assessora de Ensino do SSC.
7/2009 - 12/2009
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SSC570 - Empreendedores em Informática
7/2009 - 12/2009
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC620 - Engenharia de Software
7/2009 - 12/2009
Ensino, Engenharia Mecânica, Nível: Graduação

Disciplinas ministradas
SSC300 - Linguagens de Programação e Aplicações
6/2008 - 12/2009
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Membro suplente da Comissão Interna de Qualidade e Produtividade do ICMC/USP.
10/2007 - 10/2009
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Membro titular da categoria de professor doutor do conselho do Departamento de Sistemas de Computação ICMC/USP.
9/2006 - 9/2009
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
suplente da CoC do curso de Engenharia de Computação.
03/2009 - 07/2009
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
coordenador de disciplinas de Introdução à Ciência da Computação I.
02/2009 - 07/2009
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5877 - Verificação, Validação e Teste de Software
2/2009 - 7/2009
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SSC600 - Introdução à Ciência da Computação I
SSC601 - Laboratório de Introdução à Ciência da Computação I
05/2008 - 02/2009
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Membro suplente da CoC do curso de Bacharelado em Informática (atual Sistemas de Informação) do ICMC/USP.
08/2008 - 12/2008
Ensino, Ciências de Computação e Matemática Computacional, Nível: Pós-Graduação

Disciplinas ministradas
SSC5877 - Verificação, Validação e Teste de Software
7/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SCE221 - Verificação, Validação e Teste de Software
7/2008 - 12/2008
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SCE532 - Empreendedores em Informática
12/2006 - 12/2008
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
suplente da CoC do curso de Engenharia Ambiental.
05/2008 - 09/2008
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Membro da comissão encarregada da elaboração, aplicação das provas e seleção dos candidatos para transferência para o ICMC de 2008/2009.
9/2006 - 9/2008
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
suplente da categoria de doutor no conselho do departamento de sistemas de computação.
2/2008 - 7/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SCE307 - Engenharia de Software II
2/2008 - 7/2008
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SCE242 - Seminários em Computação II
08/2007 - 02/2008
Conselhos, Comissões e Consultoria, Departamento de Sistemas de Computação, .

Cargo ou função
Membro da comissão organizadora da Semana de Recepção aos Calouros 2008.
8/2007 - 12/2007
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SCE532 - Empreendedores em Informática
7/2007 - 12/2007
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SCE566 - Projeto Supervisionado ou de Graduação I
SCE567 - Projeto Supervisionado ou de Graduação II
2/2007 - 7/2007
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
SCE600 - Introdução à ciência da computação I
2/2007 - 7/2007
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SCE566-Projeto Supervisionado ou de Graduação I
SCE567- Projeto Supervisionado ou de Graduação II
8/2006 - 12/2006
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SCE148 - Sistemas de Informação
8/2006 - 12/2006
Ensino, Engenharia Ambiental, Nível: Graduação

Disciplinas ministradas
SCE246 - Informática e Computação (Eng. Ambiental)
8/2005 - 9/2006
Conselhos, Comissões e Consultoria, Departamento de Ciências de Computação, .

Cargo ou função
suplente da categoria de doutor no conselho do departamento SCC.
2/2006 - 7/2006
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SCE702 - Inspeção e Teste de Software
2/2006 - 7/2006
Ensino, Engenharia Ambiental, Nível: Graduação

Disciplinas ministradas
SCE246 - Informática e Computação
7/2005 - 12/2005
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
SCE 532 - Empreendedores em Informática
7/2005 - 12/2005
Ensino, Engenharia Ambiental, Nível: Graduação

Disciplinas ministradas
SCE246 - Informática e Computação
6/2005 - 7/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
SCE183 - Algoritmos e Estruturas de Dados II (TA)
SCE183 - Algoritmos e Estruturas de Dados II (TB)

Universidade Estadual de Ponta Grossa, UEPG, Brasil.
Vínculo institucional

2000 - 2005
Vínculo: Servidor Público, Enquadramento Funcional: professor adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1996 - 2000
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professora assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1991 - 1996
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professora auxiliar, Carga horária: 40

Atividades

7/2003 - 3/2005
Direção e administração, Setor de Ciências Agrárias e de Tecnologia, Departamento de Informática.

Cargo ou função
chefe adjunto do Departamento de Informática.
2/2004 - 12/2004
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software - Turma A e B
Projeto de Sistemas de Informação
2/2003 - 12/2003
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
Projeto de Sistemas de Informação
2/2002 - 12/2002
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Programação - Turma A e B
1/2001 - 12/2001
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Pogramação de Computadores
Estrutura de Programação
7/2000 - 12/2000
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
Estutura de Programação
2/1993 - 12/1993
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
Engenharia de Software Turma A e B
2/1992 - 12/1992
Ensino, Administração, Nível: Graduação

Disciplinas ministradas
Planejamento em Informática
Informática básica
2/1991 - 12/1991
Ensino, Administração, Nível: Graduação

Disciplinas ministradas
Informática básica


Linhas de pesquisa


1.
Teste de Software, Teste de Software Concorrente, Qualidade de Software, Experimentação em Engenharia de Software


Projetos de pesquisa


2013 - 2015
Teste Paralelo de Programas Concorrentes

Projeto certificado pelo(a) coordenador(a) Paulo Sérgio Lopes de Souza em 18/07/2016.
Descrição: Este projeto de pesquisa aborda o problema do custo da atividade de teste em programas concorrentes, propondo a paralelização desta atividade. O principal objetivo da paralelização é a redução do tempo de resposta do teste, reduzindo-se com isso o custo sem reduzir a qualidade em termos de cobertura do código fonte. As investigações consideram o processo de teste como um todo, incluindo modelos, critérios e a ferramenta de teste ValiPar. A equipe de desenvolvimento conta com a contribuição de pesquisadores da Universidade de Southampton/UK e da Universidade Nova de Lisboa. Alunos da graduação e da pós-graduação também estão envolvidos neste projeto. As principais contribuições deste projeto são: (1) melhorar a eficácia da atividade de teste de programas concorrentes, reduzindo seu custo sem perder qualidade e (2) disponibilizar uma plataforma paralela voltada a este tipo de teste, a qual contribuirá diretamente com a indústria, as pesquisas e o ensino em Engenharia de Software, Computação Paralela e Sistemas Distribuídos..
Situação: Concluído; Natureza: Pesquisa.
2010 - 2011
Teste de Software Aplicado a Sistemas Distribuídos
Descrição: 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..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) .
Integrantes: Simone do Rocio Senger de Souza - Coordenador / Zaluska - Integrante / Paulo - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
Número de produções C, T & A: 4 / Número de orientações: 4
2009 - 2014
INCT-SEC: Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos
Descrição: A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes..
Situação: Concluído; Natureza: Pesquisa.
2009 - Atual
TestPar - Teste de software aplicado a programas concorrentes
Descrição: 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..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (9) / Doutorado: (5) .
Integrantes: Simone do Rocio Senger de Souza - Coordenador / Rodolfo - Integrante / Silvana Morita Melo - Integrante / Rafael Regis Prado - Integrante / Raphael Negrisoli Batista - Integrante / Marcos Pereira dos Santos - Integrante / José Dario Pintor Silva - Integrante / Alexandre Ponce Oliveira - Integrante / Paulo Sergio Lopes de Souza - Integrante / Maria Adelina Silva Brito - Integrante / Victor Hugo Santiago - Integrante / George Gabriel Mendes Dourado - Integrante / Ricardo F. Vilela - Integrante.
2008 - 2012
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

Projeto certificado pelo(a) coordenador(a) Jose Carlos Maldonado em 26/11/2012.
Descrição: 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..
Situação: Concluído; Natureza: Pesquisa.
2008 - 2011
CNPq Universal: Subsídios para atividades de VV&T no desenvolvimento de software
Descrição: 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..
Situação: Concluído; Natureza: Pesquisa.
2008 - 2010
Subsídios para o Teste Estrutural de Aplicações Distribuídas
Descrição: 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..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Simone do Rocio Senger de Souza - Coordenador / Silvia Regina Vergílio - Integrante / Paulo Sérgio Lopes de Souza - Integrante / Adenilso da Silva Simão - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
Número de produções C, T & A: 7 / Número de orientações: 8
2007 - 2010
Projeto QualiPSo - Quality Plataform for Open Source Software
Descrição: 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..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Simone do Rocio Senger de Souza - Integrante / José Carlos Maldonado - Coordenador / Stefano de Panfilis - Integrante.
2003 - 2006
Plavis - Plataforma para Validação e Integração de Software em Sistemas Espaciais
Descrição: 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. ..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Simone do Rocio Senger de Souza - Integrante / José Carlos Maldonado - Coordenador / Márcio Eduardo Delamaro - Integrante / Sandra C P F Fabbri - Integrante / Adenilso da Silva Simão - Integrante / Eliane Martins - Integrante / Ana Maria Ambrósio - Integrante / Maria de Fátima Mattiello Francisco - Integrante / Nandamudi Lankalapalli Vijaykumar - Integrante / Ricardo de Oliveira Anido - Integrante / Tatiana Sugeta - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1
2003 - 2005
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)
Descrição: 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..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Simone do Rocio Senger de Souza - Coordenador / Paulo Sergio Lopes de Souza - Integrante / Silvia Regina Vergílio - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 7
2001 - 2002
Kit Enxoval Recem-Doutor: Aplicabilidade do teste de Mutação para a Validação de Aplicações Concorrentes Usando o PVM
Descrição: O Teste de Mutação tem sido bastante investigado dado a sua eficácia em revelar erros. Esse critério foi originalmente proposto para o teste de programas seqüenciais, já existindo extensões para a sua aplicação no teste de especificações e no teste de programas concorrentes (utilizando a Linguagem ADA). Quando os programas considerados são concorrentes, estes apresentam características que dificultam a atividade de validação pois, além de também serem instanciados para a linguagem de programação utilizada, apresentam paralelismo/concorrência, comunicação e sincronização. O objetivo deste projeto é estudar a aplicabilidade do Teste de Mutação no contexto de aplicações distribuídas que utilizam o Ambiente de Passagem de Mensagens PVM (Parallel Virtual Machine). Com a realização deste projeto de pesquisa pretende-se fornecer subsídios para a atividade de validação de aplicações concorrentes que utilizam o ambiente de passagem de mensagens PVM. Através da definição do Teste de Mutação nesse contexto, pretende-se evidenciar os tipos de erros mais comuns que podem ser cometidos durante o desenvolvimento dessas aplicações..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Simone do Rocio Senger de Souza - Coordenador / Paulo Sergio Lopes de Souza - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1
2001 - 2002
Kit Enxoval Recem-Doutor: Definição de Técnicas e Ferramentas para a Validação de Especificações Formais
Descrição: 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..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Simone do Rocio Senger de Souza - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 2 / Número de orientações: 1


Projetos de extensão


2017 - 2018
Escolas públicas descobrindo o ICMC: atraindo jovens para as áreas de computação, matemática e estatística
Descrição: 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..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (4) .
Integrantes: Simone do Rocio Senger de Souza - Coordenador.Financiador(es): Pró-Reitoria de Graduação - USP - Bolsa.


Outros Projetos


2013 - 2014
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)
Descrição: 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.
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (30) .
Integrantes: Simone do Rocio Senger de Souza - Integrante / Rosana Teresinha Vaccare Braga - Integrante / Adenilso da Silva Simão - Coordenador / João Porto de Albuquerque - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.


Revisor de periódico


2011 - Atual
Periódico: Science of Computer Programming (Print)
2012 - Atual
Periódico: Automated Software Engineering
2012 - Atual
Periódico: Software Testing, Verification and Reliability
2012 - Atual
Periódico: CLEI Electronic Journal
2013 - Atual
Periódico: Information and Software Technology
2013 - Atual
Periódico: the journal of software engineering research and development
2015 - 2015
Periódico: Journal of Parallel and Distributed Computing (Print)
2017 - Atual
Periódico: IEEE Transactions on Reliability
2018 - Atual
Periódico: IET Software
2018 - Atual
Periódico: JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT


Revisor de projeto de fomento


2012 - Atual
Agência de fomento: Fundação de Amparo à Pesquisa do Estado de São Paulo


Á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: Metodologia e Técnicas da Computação/Especialidade: Teste de Software.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Validação de Programas Concorrentes Paralelos.


Idiomas


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


Prêmios e títulos


2018
Homenagem dos alunos do curso de Bacharelado em Ciências de Computação - pela disciplina de Engenharia de Software, SEMCOMP 2018.
2018
Best paper: A Survey on Software Testing Education in Brazil (SBQS 2018), SBQS / SBC.
2018
Best paper: Trilha de Pós-Graduação (ERES 2018) - Achievements, Challenges and Oportunities on Mutation Testing of Concurrent Programs, ERES 2018 - Escola Regional de Engenharia de Software.
2017
Paraninfa dos formandos do curso de Bacharelado em Sistemas de Informação 2017, Instituto de Ciências Matemáticas e de Computação.
2016
Homenagem dos alunos aos melhores professores de Engenharia de Computação - 2016, SAECOMP - Secretaria Acadêmica de Engenharia de Computação.
2013
Homenagem dos alunos aos melhores professores de Engenharia de Computação - 2013, SAECOMP - Secretaria Acadêmica da Engenharia de Computação.
2013
Professora homenageada da área de Engenharia de Computação - Formandos 2013, EESC/São Carlos.
2012
Artigo selecionado entre os melhores do ESELAW2010, An Experience on Applying Software Testing for Teaching Introductory Programming Courses.
2012
Artigo selecionado entre os melhores do ESELAW2010, An Experimental Study to Evaluate the Impact of the Programming Paradigm in the Testing Activity.
2009
Tutora da Turma de 2009 do Curso de Engenharia de Computação, ICMC/USP.
2008
50o Prêmio Jabuti - Melhor Livro de Ciências Exatas:, J. C. Maldonado, M. Jino, M. E. Delamaro (Org.). Introdução ao Teste de Software. SP: Elsevier..
2007
Tutora da Turma de 2007 do Curso de Engenharia de Computação, ICMC/USP.
2004
Prêmio de 3o lugar entre os melhores projetos de conclusão de curso de 2004 da UEPG, projeto orientado, Departamento de Informática - UEPG.
1997
Finalista no IV Concurso de Trabajos de Maestria CLEI-UNESCO, com o trabalho de mestrado Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas, CLEI - UNESCO.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:1
Total de citações:1
Fator H:1
Souza, Simone Senger R  Data: 04/11/2012

Artigos completos publicados em periódicos

1.
MELO, S. M.2018MELO, S. M. ; CARVER, J. C. ; SOUZA, P. S. L. ; SOUZA, S. R. S. . Mapping of empirical research on concurrent software testing: A Systematic Mapping Study. INFORMATION AND SOFTWARE TECHNOLOGY, v. 1, p. 1-32, 2018.

2.
MARTINELLI, V. L. C.2017MARTINELLI, V. L. C. ; MARTINELLI, R. L. C. ; MARCHESAN, I. Q. ; BERRETIN-FELIX, G. ; Souza, S. R. S . Elaboração e desenvolvimento de um website sobre o teste da linguinha. Revista CEFAC, v. 19, p. 260-264, 2017.

3.
MELO, SILVANA MORITA2017MELO, 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.

4.
Cutigi, J. F.2016Cutigi, J. F. ; Simão, A.S. ; Souza, S. R. S . Reducing FSM-Based Test Suites with Guaranteed Fault Coverage. Computer Journal (Print), v. 1, p. 1-22, 2016.

5.
Silva, R A2016Silva, 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.

6.
SOUZA, S. R. S.2015 SOUZA, S. R. S.; Souza, P. S. L. ; Brito, M. A. S. ; Simão, 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, p. n/a-n/a, 2015.

7.
SOUZA, PAULO S.L.2014SOUZA, 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.

8.
Brito, M. A. S.2012Brito, M. A. S. ; ROSSI, J. ; BRAGA, Rosana Teresinha Vaccare ; SOUZA, S. R. S. . An Experience on Applying Software Testing for Teaching Introductory Programming Courses. CLEI Electronic Journal, v. 15, p. Paper 4, 2012.

9.
SOUZA, S. R. S.2012SOUZA, 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.

10.
SOUZA, S. R. S.2008 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.

11.
KIKUTI, D.2003KIKUTI, 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), v. 3, n.2, p. 15-21, 2003.

12.
ZAMBIANCO JUNIOR, Rivaldo Antonio2002ZAMBIANCO 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.III, 2002.

13.
GIACOMETTI, Cassiano2002GIACOMETTI, 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.III, 2002.

14.
DE SOUZA, SIMONE DO ROCIO SENGER1999 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, Kluwer Academic Publishers, v. 8, n.4, p. 285-301, 1999.

Capítulos de livros publicados
1.
FELIZARDO, K. R. ; Souza, S. R. S ; FABBRI, S. C. P. F. ; BARBOSA, Ellen Francine ; CHAIM, Marcos ; DELAMARO, Márcio Eduardo ; JINO, Mario ; MALDONADO, J. C. . Estudos Teóricos e Experimentais. In: M. E. Delamaro; J. C. Maldonado; M. Jino. (Org.). Introdução ao Teste de Software. 2ed.Rio de Janeiro: Elsevier, 2016, v. 1, p. 331-352.

2.
Souza, S. R. S; SOUZA, P. S. L. ; MELO, S. M. ; Silva, R A ; VERGÍLIO, S . Teste de Programas Concorrentes. In: Marcio Eduardo Delamaro; José Carlos Maldonado; Mario Jino. (Org.). Introdução ao teste de software. 2ed.Rio de Janeiro: Elsevier, 2016, v. 1, p. 261-296.

3.
SOUZA, S. R. S.; VERGÍLIO, Silvia Regina ; SOUZA, Paulo Sérgio Lopes de . Teste de Programas Concorrentes. In: Jose Carlos Maldonado; Mario Jino; Márcio Eduardo Delamaro. (Org.). Introdução ao Teste de Software. 1ed.: Elsevier Editora LTDA - Campus - SBC, 2007, v. I, p. 231-248.

4.
SOUZA, S. R. S.; FABBRI, Sandra C P F ; BARBOSA, Ellen Francine ; CHAIM, Marcos ; VINCENZI, Auri Marcelo Rizzo ; DELAMARO, Márcio Eduardo ; JINO, Mario ; MALDONADO, José Carlos . Estudos Teóricos e Experimentais. In: José Carlos Maldonado; Mario Jino; Márcio Eduardo Delamaro. (Org.). Introdução ao Teste de Software. 1ed.Rio de Janeiro: Elsevier Editora LTDA - Campus - SBC, 2007, v. I, p. 251-268.

5.
SOUZA, S. R. S.; MALDONADO, Jose Carlos ; FABBRI, Sandra Cpf ; VINCENZI, Auri Marcelo Rizzo ; BARBOSA, Ellen Francine ; DELAMARO, Márcio Eduardo ; JINO, Mário . Introdução ao Teste de Software. In: Manaus-Belém. (Org.). Revista da II Escola de Informática Norte - SBC. : , 2000, v. , p. 70-108.

6.
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. In: Curitiba; Blumenau; Pelotas. (Org.). Revista da Escola de Informática da SBC - Regional Sul. : , 1998, v. I, p. 53-86.

Trabalhos completos publicados em anais de congressos
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. In: the 49th ACM Technical Symposium, 2018, Baltimore. Proceedings of the 49th ACM Technical Symposium on Computer Science Education - SIGCSE '18, 2018. v. 1. p. 806-811.

2.
SANTIAGO, V. H. ; OLIVEIRA, R. R. ; VILELA, R. F. ; SOUZA, S. R. S. . Evaluating the User Acceptance Testing for Multi-tenant cloud applications. In: 8th International Conference on Cloud Computing and Services Science (CLOSER 2018), 2018, Funchal, Madeira - Portugal. 8th International Conference on Cloud Computing and Services Science, 2018. v. 1. p. 47-56.

3.
BACHIEGA, N. G. ; SOUZA, P. S. L. ; BRUSCHI, Sarita Mazzini ; SOUZA, S. R. S. . Container-Based Performance Evaluation: A Survey and Challenges. In: International Conference on Cloud Engineering, 2018, Orlando. IEEE International Conference on Cloud Engineering (IC2E), 2018. v. 1. p. 398-403.

4.
DA SILVA, HENRIQUE NEVES ; MATTIELLO, GUILHERME RICKEN ; ENDO, ANDRE TAKESHI ; DE SOUZA, ÉRICA FERREIRA ; DE SOUZA, SIMONE DO ROCIO SENGER . Evaluating the Impact of Different Testers on Model-based Testing. In: the III Brazilian Symposium, 2018, SAO CARLOS. Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing - SAST '18, 2018. p. 57-66.

5.
PASCHOAL, L. N. ; Souza, S. R. S . Como Ensinar Teste de Software com Flipped Classroom?. In: VIII Workshop de Teses e Dissertações do CBSoft (WTDSoft 2018), 2018, Sao Carlos. VIII Workshop de Teses e Dissertações do CBSoft (WTDSoft 2018), 2018. v. 1. p. 46-53.

6.
PASCHOAL, L. N. ; Souza, S. R. S . A Survey on Software Test Education in Brazil. In: XVII Simpósio Brasileiro de Qualidade de Software, 2018, Curitiba. Proceedings of the 17th Brazilian Symposium on Software Quality, 2018. v. 1. p. 334-343.

7.
Silva, R A ; SOUZA, S. R. S. . Achievements, Challenges and Opportunities on Mutation Testing of Concurrent Programs. In: Escola Regional de Engenharia de Software (ERES), 2018, Dois Vizinhos, PR. Escola Regional de Engenharia de Software (ERES), 2018. v. 1. p. 1-10.

8.
PASCHOAL, L. N. ; SOUZA, S. R. S. . Uma Experiência sobre a Aplicação de Aprendizagem Baseada em Projetos com Revisão por Pares no Ensino de Gestão de Sistemas de Informação. In: Congresso da Sociedade Brasileira de Computação, 2018, Natal. 26º Workshop sobre Educação em Computação (WEI), 2018. v. 1. p. 276-285.

9.
LUZ, H. J. F. ; Souza, S. R. S ; SOUZA, P. S. L. . Contribuições ao teste de cobertura de aplicações CUDA. In: Escola Regional de Alto Desempenho de São Paulo, 2017, São Carlos. Anais do ERAD-SP 2017, 2017. v. 1. p. 1-4.

10.
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. In: CBIE - Congresso Brasileiro de Informática na Educação, 2017, Recife. Anais dos Workshops do Congresso Brasileiro de Informática na Educação, 2017. v. 6. p. 1089-1098.

11.
PASCHOAL, L. N. ; SILVA, L. R. ; SOUZA, S. R. S. . Abordagem flipped classroom em comparação com o modelo tradicional de ensino: uma investigação empírica no âmbito de Teste de Software. In: CBIE - Congresso Brasileiro de Informática na Educação, 2017, Recife. XXVIII Simpósio Brasileiro de Informática na Educação (SBIE 2017), 2017. v. 28. p. 476-485.

12.
SOUZA, S. R. S.; SANTIAGO, V. H. . Construção de Aplicativos Sociais durante o Ensino de Engenharia de Software: um Relato de Experiência. In: Congresso de Graduação da USP, 2017, São Paulo. 3o Congresso de Graduação da Universidade de São Paulo, 2018. v. 1. p. 66-70.

13.
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 a web service composition. In: International Conference on Information Technology: New Generationsy (ITNG 2016), 2016, Las Vegas. 13th International Conference on Information Technology: New Generations (ITNG 2016), 2016. v. 1. p. 581-590.

14.
DOURADO, G. G. M. ; SOUZA, P. S. L. ; PRADO, R. R. ; BATISTA, R. N. ; SOUZA, S. R. S. ; ESTRELLA, J. C. ; BRUSCHI, Sarita Mazzini ; LOURENCO, J. . A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools. In: International Conference on Computational Science (ICCS 2016), 2016, San Diego, California, USA. Procedia Computer Science, 2016. v. 80. p. 2226-2230.

15.
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. In: 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), 2016, Equador, Chile. XIX Ibero-American Conference on Software Engineering- (CIBSE 2016), 2016. v. 1. p. 229-241.

16.
VILELA, R. F. ; SOUZA, P. S. L. ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. . Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. In: 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), 2016, Equador, Chile. XIX Ibero-American Conference on Software Engineering- (CIBSE 2016), 2016. v. 1. p. 242-255.

17.
SANTIAGO, V. H. ; LUZ, H. J. F. ; OLIVEIRA, R. R. ; SOUZA, P. S. L. ; SOUZA, S. R. S. . A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems. In: The 28th International Conference on Software Engineering & Knowledge Engineering (SEKE 2016), 2016, San Francisco Bay, California. Proceedings of the Twenty-Eighth International Conference on Software Engineering & Knowledge Engineering, 2016. v. 1. p. 1-6.

18.
OLIVEIRA, ALEXANDRE P. ; SOUZA, PAULO S. L. ; Souza, Simone R. S. . ValiErlang. In: the 1st Brazilian Symposium, 2016, Maringa. Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing - SAST. New York: ACM Press, 2016. v. 1. p. 1-10.

19.
SOUZA, P. S. L. ; BATISTA, R. N. ; SOUZA, S. R. S. ; PRADO, R. R. ; DOURADO, G. G. M. ; ESTRELLA, J. C. . Trace Generation and Deterministic Execution for Concurrent Programs. In: Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD), 2016, Aracaju. Anais do WSCAD 2016 Simpósio de Sistemas Computacionais de Alto Desempenho, 2016. v. 1. p. 240-251.

20.
SOUZA, S. R. S.; OLIVEIRA, Bruno Henrique ; GRILLO, F. ; CICO, C. . Construção de Plataformas Digitais durante o Ensino de Engenharia de Software: um Relato de Experiência. In: Simpósio Brasileiro de Engenharia de Software, 2016, Maringá. IX FÓRUM DE EDUCAÇÃO EM ENGENHARIA DE SOFTWARE (FEES 2016) - CBSOFT 2016, 2016. v. 1. p. 13-22.

21.
MELO, S. M. ; SOUZA, P. S. L. ; SOUZA, S. R. S. . Towards an empirical study design for concurrent software testing. In: The International Conference for High Performance Computing, Networking, Storage and Analysis, 2016, Salt Lake City. Proceedings of the Fourth International Workshop on Software Engineering for HPC in Computational Science and Engineering (SE-HPCCSE '16), 2016. v. 1. p. 1-8.

22.
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. In: the 7th International Workshop, 2016, Seattle. Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016, 2016. p. 23.

23.
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. In: International Conference on Software Engineering Research and Practice, 2015, Las Vegas. International Conference on Software Engineering Research and Practice (SERP), 2015. v. 1. p. 27-30.

24.
Brito, M. A. S. ; SANTOS, M. P. ; SOUZA, Paulo Sergio Lopes de ; Souza, S. R. S . Integration testing criteria for mobile robotic systems. In: SEKE - International Conference on Software Engineering and Knowledge Engineering, 2015, Pittsburgh. 27th International Conference on Software Engineering and Knowledge Engineering, 2015. v. 1. p. 182-187.

25.
MELO, S. M. ; SOUZA, S. R. S. ; Silva, R A ; SOUZA, Paulo Sergio Lopes de . Concurrent Software Testing in Practice: A Catalog of Tools. In: Workshop on Automated Software Testing, 2015, Bergamo, Italia. A-Test - Workshop on Automated Software Testing, 2015. v. 1. p. 31-40.

26.
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. In: 2015 XLI Latin American Computing Conference (CLEI), 2015, Arequipa. 2015 Latin American Computing Conference (CLEI), 2015. v. 1. p. 1-8.

27.
OLIVEIRA, A. P. ; SOUZA, P. S. L. ; SOUZA, S. R. S. ; ESTRELLA, J. C. ; BRUSCHI, Sarita Mazzini . Teste estrutural aplicado à linguagem funcional Erlang. In: Brazilian Workshop on Systematic and Automated Software Testing, 2015, Belo Horizonte. 9th Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2015. v. 1. p. 41-50.

28.
SANTIAGO, V. H. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . Estudo e definição de uma estratégia sistemática de teste para aplicações na nuvem. In: Workshop de Teses e Dissertações do CBSoft, 2015, Belo Horizonte. V Workshop de Teses e Dissertações do CBSoft, 2015. v. 1. p. 1-7.

29.
SOUZA, D. M. ; OLIVEIRA, Bruno Henrique ; MALDONADO, J. C. ; Souza, S. R. S ; BARBOSA, Ellen Francine . Towards the use of an automatic assessment system in the teaching of software testing. In: Frontiers in Education Conference, 2014, Madri. Frontiers in Education Conference, 2014. v. 1. p. 1-6.

30.
SILVA, J. D. P. ; Souza, S. R. S ; Souza, P. S. L. . Geração Automática de Dados de teste para Programas Concorrentes com o uso de meta-heurística. In: Brazilian Workshop on Systematic and Automated Software Testing, co alocado ao Congresso Brasileiro de Software (CBSoft), 2014, Maceió. 8th Brazilian Workshop on Systematic and Automated Software Testing, 2014. v. 1. p. 71-80.

31.
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. In: International Conference on Computational Science, ICCS 2013., 2013, Barcelona, Espanha. International Conference on Computational Science, 2013. v. 1. p. 250-259.

32.
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. In: International Conference on Computational Science, ICCS 2013., 2013, Barcelona, Espanha. International Conference on Computational Science, 2013. v. 1. p. 149-158.

33.
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. In: CONTECSI, 2013. 10th International Conference on Information Systems and Technology Management. v. 1. p. 1-8.

34.
FELIZARDO, K. R. ; SOUZA, S. R. S. ; MALDONADO, J. C. . The Use of Visual Text Mining to Support the Study Selection Activity in Systematic Literature Reviews: A Replication Study. In: Third International Workshop on Replications in Software Engineering, co-alocated to International Symposium on Empirical Software Engineering and Measurement (ESEM), 2013, Baltimore, USA. International Workshop on Replications in Software Engineering, 2013. v. 1. p. 1-10.

35.
Silva, R A ; SOUZA, S. R. S. ; Souza, P. S. L. . Mutation Operators for Concurrent Programs in MPI. In: 13th Latin American Test Workshop, 2012, Quito. 13th IEEE Latin American Test Workshop, 2012. v. 1. p. 69-64.

36.
Silva, R A ; SOUZA, S. R. S. ; Souza, P. S. L. . Execução Determinística de Programas Concorrentes Durante o Teste de Mutação. In: VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, co-alocado ao CBSOFT2012, 2012, Natal. VI SAST - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012. v. 1. p. 1-10.

37.
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. In: 23rd International Conference on Software Engineering and Knowledge Engineering, 2011, Miami Beach. SEKE2011. Skokie, IL, USA: Knowledge Systems Institut Graduate School, 2011. v. 1. p. 207-212.

38.
Cutigi, J. F. ; Ribeiro, P.H. ; SIMÃO, Adenilso da Silva ; SOUZA, S. R. S. . Redução do Número de Seqüências no Teste de Conformidade de Protocolos. In: XI Workshop de Testes e Tolerância a Falhas, 2010, Gramado. XI Workshop de Testes e Tolerância a Falhas, 2010. v. 1. p. 105-117.

39.
Endo, A.T. ; Lindshulte, M. ; SIMÃO, Adenilso da Silva ; SOUZA, S. R. S. . Event- and Coverage-Based Testing of Web Services. In: 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), 2010, Cingapura. 2nd Workshop on Model-Based Verification & Validation From Research to Practice (MVV), 2010. v. 1. p. 1-8.

40.
CAMPANHA, D. N. ; SOUZA, S. R. S. ; MALDONADO, Jose Carlos . Mutation testing in procedural and object-oriented paradigms: An evaluation of data structure programs. In: Simpósio Brasileiro de Engenharia de Software (SBES'2010), Congresso Brasileiro de Software: Teoria e Prática (CBSoft'2010), 2010, Salvador. XXIV Simpósio Brasileiro de Engenharia de Software,, 2010. v. 1. p. 91-100.

41.
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. In: Experimental Software Engineering Latin American Workshop, 2010, Goiania. VII Experimental Software Engineering Latin American Workshop, 2010. v. 1. p. 101-110.

42.
PRADO, M. P. ; SOUZA, S. R. S. ; MALDONADO, J C . Resultados de um estudo de caracterização e avaliação de critérios de teste estruturais entre os paradigmas procedimental e OO. In: VII Experimental Software Engineering Latin American Workshop, 2010, Goiania. VII Experimental Software Engineering Latin American Workshop, 2010. v. 1. p. 90-99.

43.
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. In: ESELAW - Experimental Software Engineering Latin American Workshop, 2009, São Carlos. Proceedings of 6th Experimental Software Engineering Latin American Workshop, 2009. v. 1. p. 114-123.

44.
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. In: 8th International Conference on Computational Science, 2008, Krakow. LNCS - Computational Science ? ICCS 2008. Heidelberg: Springer-Verlag, 2008. v. 5101. p. 337-346.

45.
BARBOSA, Ellen Francine ; SOUZA, S. R. S. ; MALDONADO, Jose Carlos . An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing. In: Software Engineering Education & Training, 2008, Charleston, South Carolina. 21 Conference on Software Engineering Education & Training, 2008. v. 1. p. 189-196.

46.
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. In: Euro PVM/MPI 2008, 2008, Dublin. LNCS - Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008. v. 5205. p. 257-264.

47.
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. In: TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques, 2008, Windsor. TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques, 2008. v. 1. p. 3-12.

48.
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. In: Experimental Software Engineering Latin American Workshop, 2008, Salvador. ESELAW'2008 - 5th Experimental Software Engineering Latin American Workshop, 2008. v. 1. p. 1-10.

49.
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. In: LAtin-American Test Workshop - LATW, 2007, Cuzco. 8th IEEE LAtin-American Test Workshop, 2007. v. 1. p. 1-6.

50.
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. In: Simpósio Brasileiro de Qualidade de Software, 2007, Porto de Galinhas. VI Simpósio Brasileiro de Qualidade de Software, 2007. v. 1. p. 309-324.

51.
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. In: Brazilian Workshop on Systematic and Automated Software Testing (SAST?2007) - collocated with XXI Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa. 1st Brazilian Workshop on Systematic and Automated Software Testing (SAST?2007), 2007. v. 1. p. 13-20.

52.
VERGÍLIO, Silvia Regina ; SOUZA, S. R. S. ; SOUZA, Paulo Sergio Lopes de . Coverage Testing Criteria for Message-Passing Parallel Programs. In: Latin-American Test Workshop - LATW, 2005, Salvador. LATW2005 - 6th IEEE Latin-AmericanTestWorkshop, 2005. v. 1. p. 161-166.

53.
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. In: International Conference on Software Engineering and Knowledge Engineering, 2005, Taipei. The Seventeenth International Conference on Software Engineering and Knowledge Engineering, 2005. v. I. p. 386-391.

54.
SIMÃO, Adenilso da Silva ; SOUZA, S. R. S. ; MALDONADO, José Carlos . A Family of Coverage Testing Criteria for Coulored Petri Nets. In: Simpósio Brasileiro de Engenharia de Software, 2003, Manaus, AM. 17º SBES, UFAM/BR, 6 a 10 de outubro, 2003, 2003. v. I. p. 209-224.

55.
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. In: International Conference on Document Analysis and Recognition, 2003, Edinburgh. International Conference on Document Analysis and Recognition. Edinburgh: University of Essex, 2003. v. 1. p. 1-5.

56.
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. In: XXII International Conference of the Chilean Computer Science Society - VI Workshop on Distributed Systems and Parallelism, 2002, Copiapó. Proceedings of XXII International Conference of the Chilean Computer Science Society, 2002. v. 1. p. 1-10.

57.
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. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 2001, Rio de Janeiro. XV SBES -SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 2001. p. 256-271.

58.
SOUZA, S. R. S.; MALDONADO, José Carlos ; FABBRI, Sandra Cpf ; LOPES DE SOUZA, W. L. . Mutation Testing Applied to Estelle Specifications. In: 33rd Hawaii International Conference on System Sciences, 2000, Maui. Proceedings of the 33rd Hawaii International Conference on System Sciences, for the Mini-track on: Distributed Systems Testing, 2000. v. I. p. 1-10.

59.
SOUZA, S. R. S.; MALDONADO, José Carlos ; FABBRI, Sandra Cpf ; MASIERO, P. C. . Statecharts Specifications: A Family of Coverage Testing Criteria. In: CLEI2000 - Conferência Latino Americana de Informática, 2000, Cidade de México. Anais da Conferência Latino Americana de Informática, 2000. p. 1-12.

60.
SOUZA, S. R. S.; MALDONADO, José Carlos ; WONG, E. W. . Application of Test Set Minimization to Mutation-Based Test Criteria. In: IV ISSAT - International Conference on Reliability and Quality in Design, 1998, Seattle. Proceedings of the International Conference on Reliability and Quality in Design, 1998. v. I. p. 275-281.

61.
WONG, E. W. ; MALDONADO, José Carlos ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. . Use of Proteum to Accelerate Mutation Testing in C Programs. In: III ISSAT - International Conference on Reliability and Quality in Design, 1997, Califórnia. Proceedings of the International Conference on Reliability and Quality in Design, 1997. v. I. p. 254-258.

62.
SOUZA, S. R. S.; MALDONADO, José Carlos ; VERGÍLIO, Silvia Regina . Análise de Mutantes e Potenciais-Usos: Uma Avaliação Empírica. In: VIII CITS - Conferência Internacional de Tecnologia de Software, 1997, Curitiba. Anais da Conferência Internacional de Tecnologia de Software, 1997. v. I. p. 225-236.

63.
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. In: XI SBES -Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do Simpósio Brasileiro de Engenharia de Software. v. I. p. 445-460.

64.
SOUZA, Paulo Sergio Lopes de ; SANTANA, M. J. ; SANTANA, R. C. ; SOUZA, S. R. S. . Parallel Virtual Machine for Windows95. In: Third European PVM Conference - EuroPVM'96, 1996, Munique. Lecture Notes in Computer Science, 1996. v. 1156. p. 288-295.

65.
MALDONADO, José Carlos ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. . Análise de Mutantes: Uma Avaliação Empírica do Axioma de Antiextensionalidade. In: Workshop de Qualidade de Software - SBES'95, 1995, Recife. Anais do Workshop de Qualidade de Sofware, 1995. v. I. p. 136-140.

Resumos expandidos publicados em anais de congressos
1.
MELO, S. M. ; SOUZA, S. R. S. ; SOUZA, P. S. L. ; CARVER, J. C. . How to test your concurrent software: an approach for the selection of testing techniques. In: SIGPLAN International Workshop on Software Engineering for Parallel Systems, 2017, Vancouver, BC, Canada. 4th ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems, 2017. v. 1. p. 42-43.

2.
OLIVEIRA, Bruno Henrique ; Souza, S. R. S . The Agile Quality Culture - A survey on agile culture and software quality. In: International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), 2014, Vancouver, Canadá. International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), 2014. v. 1. p. 1-4.

3.
SANTOS, M. P. ; SOUZA, S. R. S. . Adaptação dos critérios de teste de programas concorrentes para o teste de integração de robôs móveis. In: WORKSHOP DE TESES E DISSERTAÇÕES DO CBSOFT, 2014, Maceio. IV WORKSHOP DE TESES E DISSERTAÇÕES DO CBSOFT, 2014. v. 1. p. 22-26.

4.
MELO, S. M. ; SOUZA, S. R. S. . Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Contexto de Programação Concorrente. In: WORKSHOP DE TESES E DISSERTAÇÕES DO CBSOFT, 2014, Maceio. IV WORKSHOP DE TESES E DISSERTAÇÕES DO CBSOFT, 2014. v. 1. p. 79-85.

5.
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. In: SEKE, 2012, San Francisco Bay, USA. 24th International Conference on Software Engineering and Knowledge Engineering. Skokie: Knowledge Systems Institute Graduate School, 2012. v. 1. p. 476-479.

6.
Souza, Simone R. S.; BRITO, MARIA A. S. ; SILVA, RODOLFO A. ; SOUZA, PAULO S. L. ; ZALUSKA, ED . Research in concurrent software testing. In: the Workshop, 2011, Toronto. Proceedings of the Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '11. New York: ACM Press. v. 1. p. 1-5.

7.
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. In: 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), 2007, Gramado. Workshop on Languages and Tools for Parallel and Distributed Programming, 2007. v. 1. p. 18-21.

8.
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. In: Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis. XIII Sessão de Ferramentas do SBES, 2006. v. I. p. 7-12.

9.
SOUZA, S. R. S.; MALDONADO, José Carlos . Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste. In: XIV CTD - Concurso de Teses e Dissertações, 2001, Fortaleza. XIV CTD - Concurso de Teses e Dissertações - XXI Congresso da Sociedade Brasileira de Computação, 2001. v. I. p. 1-9.

Resumos publicados em anais de congressos
1.
Brito, M. A. S. ; SOUZA, S. R. S. . Avaliação da Efetividade dos Critérios de Teste Estruturais no Contexto de Programas Concorrentes. In: 15º Workshop de Teses e Dissertações em Engenharia de Software (WTES'2010), 24º Simpósio Brasileiro de Engenharia de Software (SBES'2010), Congresso Brasileiro de Software: Teoria e Prática (CBSoft'2010), 2010, 2010, Salvador. 15º Workshop de Teses e Dissertações em Engenharia de Software (WTES'2010), 2010. v. 6. p. 31-36.

2.
Brito, M. A. S. ; FELIZARDO, K. ; SOUZA, Paulo Sergio Lopes de ; SOUZA, S. R. S. . Concurrent Software Testing: A Systematic Review. In: 22nd IFIP International Conference on Testing Software and Systems, 2010, Natal. 22nd IFIP International Conference on Testing Software and Systems, 2010. v. 1. p. 86-91.

Apresentações de Trabalho
1.
SOUZA, S. R. S.. Teste de Software Concorrente: quem precisa?. 2017. (Apresentação de Trabalho/Simpósio).

2.
SOUZA, S. R. S.. Teste de programas concorrentes. 2015. (Apresentação de Trabalho/Conferência ou palestra).

3.
SOUZA, S. R. S.. O que faz o profissional da ciência da computação?. 2015. (Apresentação de Trabalho/Conferência ou palestra).

4.
SOUZA, SIMONE R.S.. Engenharia de Software - uma visão geral da área. 2014. (Apresentação de Trabalho/Comunicação).

5.
SOUZA, S. R. S.. Computação e oportunidades no mercado. 2014. (Apresentação de Trabalho/Comunicação).

6.
SOUZA, S. R. S.; Brito, M. A. S. ; Silva, R A ; Souza, P. S. L. ; Zaluska, E . Research in Concurrent Software Testing: A Systematic Review. 2011. (Apresentação de Trabalho/Congresso).

7.
SOUZA, S. R. S.. Teste de Software aplicado a programas concorrentes. 2007. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
ASANO JUNIOR, L. C. ; SOUZA, S. R. S. . Estudo e Definição de mecanismos para Redução de Custos da Atividade de Teste de Programas Paralelos. 16º Simpósio Internacional de Iniciação Científica da USP, 2009 (Publicação em Evento de Iniciação Científica).

2.
ASANO JUNIOR, L. C. ; SOUZA, S. R. S. . Estudo Experimental dos Critérios de Teste Estruturais para Programas Paralelos em PVM. 16º Simpósio Internacional de Iniciação Científica da USP, 2008 (Publicação em Evento de Iniciação Científica).

3.
ALVARENGA, M. L. T. ; SOUZA, S. R. S. . Desenvolvimento de um Módulo para Redução de grafos de Programas para uma Ferramenta de Ensino de Teste de Software. 16º SIICUSP - Simpósio Internacional de Iniciação Científica da USP, 2008 (Publicação em Evento de Iniciação Científica).

4.
ALVARENGA, M. L. T. ; SOUZA, S. R. S. . Apoio ao Desenvolvimento de uma Ferramenta de Ensino para Teste deSoftware: Construção de um Módulo para a Redução de Vértices Seqüenciais em Grafos de Programas. II WICT - Workshop de Iniciação Científica e Tecnológica - ICMC/USP, 2008 (Trabalho/resumo em evento local).

5.
PITARELLO, Bianca ; SOUZA, S. R. S. . Módulo de Avaliação de Seqüências de Teste da Ferramenta SCCTool. SIICUSP - Trabalho de Iniciação Científica - ICMC/ USP, São Carlos, 2006 (Publicação em Evento de Iniciação Científica).

6.
GONÇALVES, Thiago Bliscosque ; LIMA, Alexandre de Melo ; SOUZA, S. R. S. ; SOUZA, Paulo Sérgio Lopes de . Caracterização dos Aspectos de Implementação dos Operadores de Mutação para PVM. IV Encontro de Pesquisa da UEPG, 2004 (Publicação em Evento de Iniciação Científica).

7.
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. XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

8.
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. Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

9.
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. Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

10.
BRUNO, João Walter ; SOUZA, S. R. S. . Definição de Critérios de Teste e de uma interface gráfica para a ferramenta ValiPVM. Foz do Iguaçu: XII Encontro Anual de Iniciação Científica, 2003 (Publicação em Evento de Iniciação Científica).

11.
PERIM FILHO, José Reinaldo ; SOUZA, S. R. S. . Definição e implementação de um modelo para representação de programas paralelos em PVM. Foz do Iguaçu: XII Encontro Anual de Iniciação Científica, 2003 (Publicação em Evento de Iniciação Científica).

12.
WIECHETECK, L. V. B. ; Souza, S. R. S . Especificação em UML de uma ferramenta para validação de aplicações paralelas em PVM 2003 (Publicação em Evento de Iniciação Científica).

13.
GIACOMETTI, Cassiano ; SOUZA, S. R. S. . Definição de um conjunto de operadores de mutação para PVM. Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica).

14.
ZAMBIANCO JUNIOR, Rivaldo Antonio ; SOUZA, S. R. S. . Reach-Tree: uma ferramenta para geração de árvore de alcançabilidade para Estelle. Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica).

15.
TULLIO, Rurik ; SOUZA, S. R. S. ; MALDONADO, José Carlos . Avaliação de Estratégias para Redução de Custos do Critério Análise de Mutantes 1999 (Publicação em Evento de Iniciação Científica).

16.
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. São Carlos: II Workshop de Teses e Dissertações Defendidas em Ciências da Computação e Matemática Computacional, 1997 (Publicação em Evento de Pós-Graduação).

17.
SOUZA, S. R. S.; MALDONADO, José Carlos ; VERGILIO, Silvia Regina . Análise de Mutantes e Potenciais-Usos: Uma Avaliação Empírica. Águas de Lindóia: WPVTSO - WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997 (Trabalho/resumo em evento local).

18.
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. Águas de Lindóa: WPVTSO - WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997 (Trabalho/resumo em evento local).

19.
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. Águas de Lindóia: WPVTSO - WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997 (Trabalho/resumo em evento local).

20.
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. São Carlos: I Workshop de Dissertações em Andamento do ICMC, 1995 (Publicação em Evento de Pós-Graduação).


Produção técnica
Programas de computador sem registro
1.
Silva, R A ; SOUZA, S. R. S. ; SOUZA, Paulo Sergio Lopes de . ValiMut: Teste de Mutação para programas em MPI. 2011.

2.
HAUSEN, Ac ; VERGILIO, Silvia Regina ; SOUZA, S. R. S. ; Souza, P. S. L. . ValiMPI: Uma Ferramenta de Teste Estrutural oara Programas Paralelos em ambientes de passagem de mensagens. 2005.

Trabalhos técnicos
1.
SOUZA, S. R. S.. Membro do Comitê de Programa do ESELAW 2014 ? 11º Experimental Latin American Workshop. 2014.

2.
SOUZA, S. R. S.. Membro do Comitê de Programa do Mutation 2014 ? 9th International Workshop on Mutation Analysis. 2014.

3.
SOUZA, S. R. S.. Membro do comitê de programa do SBSI 2013 - Simpósito Brasileiro de Sistemas de Informação. 2013.

4.
SOUZA, S. R. S.. Membro do Comitê de Programa do ESELAW 2013 ? 10º Experimental Latin American Workshop. 2013.

5.
SOUZA, S. R. S.. Membro do Comitê de Programa do Mutation 2013 ? 8th International Workshop on Mutation Analysis. 2013.

6.
SOUZA, S. R. S.. Membro do Comitê de Programa do SAST 2013 ? 7o Brazilian Workshop on Systematic and Automated Software Testing. 2013.

7.
SOUZA, S. R. S.. Membro do Comitê de Programa do ESELAW 2012 ? 9º Experimental Latin American Workshop. 2012.

8.
SOUZA, S. R. S.. Membro do Comitê de Programa do SAST 2012 ? 6o Brazilian Workshop on Systematic and Automated Software Testing. 2012.

9.
SOUZA, S. R. S.. Membro do Comitê de Programa do SBES 2012 ? 26o Simpósio Brasileiro de Engenharia de Software. 2012.

10.
SOUZA, S. R. S.. Membro do Comitê de Programa do SBSI 2012 ? 8o Simpósio Brasileiro de Sistemas de Informação. 2012.

11.
SOUZA, S. R. S.. Membro do Comitê de Programa do PADTAD 2012 ? 10o Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. 2012.

12.
SOUZA, S. R. S.. Membro do Comitê de Programa do ESELAW 2011 ? 8º Experimental Latin American Workshop. 2011.

13.
SOUZA, S. R. S.. Membro do Comitê de Programa do SAST 2011 ? 5º Brazilian Workshop on Systematic and Automated Software Testing. 2011.

14.
Brito, M. A. S. ; FELIZARDO, K. ; SOUZA, Paulo Sergio Lopes de ; SOUZA, S. R. S. . Concurrent Software Testing: A Systematic Review. 2010.

15.
SOUZA, S. R. S.. Membro do Comitê de Programa do VII Experimental Latin American Workshop (ESELAW). 2010.

16.
SOUZA, S. R. S.. Membro do Comitê de Programa do SAST 2010 ? 4th Brazilian Workshop on Systematic and Automated Software Testing. 2010.

17.
SOUZA, S. R. S.. Membro do Comitê de Programa da Seleção de Workshops para o I Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2010. 2010.

18.
SOUZA, S. R. S.. Membro do Comitê de Programa da XXXV Conferência Latinoamericana de Informática (XXXV CLEI). 2009.

19.
SOUZA, S. R. S.. Membro do Comitê de Programa do XVI Concurso Latinoamericano de Tesis de Maestría (CLTM 2009),. 2009.

20.
SOUZA, S. R. S.. Membro do Comitê de Programa do SAST 2009 ? 3th Brazilian Workshop on Systematic and Automated Software Testing. 2009.

21.
SOUZA, S. R. S.. Membro da Comissão Científica do 17º Simpósio Internacional de Iniciação Científica da Universidade de São Paulo - Ciências Exatas e Engenharias (SIICUSP 2009). 2009.

22.
SOUZA, S. R. S.. Membro do Comitê de Programa XVI Sessão de Ferramentas - XXIII Simpósio Brasileiro de Engenharia de Software. 2009.

23.
SOUZA, S. R. S.. Avaliação de Trabalhos do SBES-2006 - Simpósio Brasileiro de Engenharia de Software. 2006.

24.
SOUZA, S. R. S.. Avaliação de Trabalhos da REIC - Revista Eletrônica de Iniciação Científica. 2006.

25.
SOUZA, S. R. S.. Membro do Comitê de Programa da Sessão de Ferramentas do SBES-2006 - Simpósio Brasileiro de Engenharia de Software. 2006.

26.
SOUZA, S. R. S.. Avaliação de Trabalhos do SBQS-2006 - Simpósio Brasileiro de Qualidade de Software. 2006.

27.
SOUZA, S. R. S.. Avaliação de Trabalhos do WEI-2006 - Workshop sobre Educação na Informática do CSBC - Congresso Nacional da Sociedade Brasileira de Computação. 2006.. 2006.

28.
SOUZA, S. R. S.. Avaliação de Trabalhos do SBSI-2005 - Simpósio Brasileiro de Sistemas de Informação. 2005.

29.
SOUZA, S. R. S.. Coordenador de Sessão de demonstração da II Mostra de Projetos em Computação (UEPG). 2005.

30.
SOUZA, S. R. S.. Avaliação de trabalhos do ERI2004 - XII Escola Regional de Informática da SBC. 2004.

31.
SOUZA, S. R. S.. Coordenador de Sessão no IV Encontro de Pesquisa da UEPG. 2004.

32.
SOUZA, S. R. S.. Coordenador de Sessão no II Encontro de Pesquisa da UEPG. 2002.

33.
SOUZA, S. R. S.. Coordenadora do Curso de Extensão - Introdução à Linguagem C. 2001.

34.
SOUZA, S. R. S.. Delegado local da Olimpíada Brasileira de Informática. 2001.

35.
SOUZA, S. R. S.. Coordenadora de Sessão Técnica do X Encontro Anual de Iniciação Científica. 2001.

36.
Souza, S. R. S. Coordenadora de Sessão Técnica do XIII CICTE - Congresso de Iniciação Científica. 1994.


Demais tipos de produção técnica
1.
SANTOS, M. P. ; OLIVEIRA, R. R. ; NAKAGAWA, E. Y. ; Souza, S. R. S . Teste de Desempenho para sistemas embarcados críticos: uma revisão sistemática. 2014. (Desenvolvimento de material didático ou instrucional - NotasDidáticas).

2.
Souza, Simone R. S.; SIMAO, A. S. ; DELAMARO, Márcio Eduardo ; BARBOSA, Ellen Francine . Teste de Software - Módulo Teste de Mutação. 2011. (Curso de curta duração ministrado/Outra).

3.
Brito, M. A. S. ; FELIZARDO, K. ; SOUZA, Paulo Sergio Lopes de ; Souza, S. R. S . Concurrent Software Testing: A Systematic Review. 2010. (Desenvolvimento de material didático ou instrucional - NotasDidáticas).

4.
MALDONADO, J. C. ; BARBOSA, Ellen Francine ; VINCENZI, A. M. ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. ; JINO, Mario . Introdução ao Teste de Software. 2004. (Desenvolvimento de material didático ou instrucional - Notas didáticas).

5.
SOUZA, S. R. S.. Curso de Engenharia de Software. 2001. (Curso de curta duração ministrado/Especialização).

6.
SOUZA, S. R. S.; MALDONADO, José Carlos . Introdução ao Teste de Software. 2000. (Curso de curta duração ministrado/Extensão).

7.
BARBOSA, Ellen Francine ; MALDONADO, José Carlos ; VINCENZI, Auri Marcelo Rizzo ; DELAMARO, Márcio Eduardo ; Souza, S. R. S ; JINO, Mario . Introdução ao Teste de Software. 2000. .

8.
MALDONADO, J. C. ; VINCENZI, A. M. ; BARBOSA, Ellen Francine ; SOUZA, S. R. S. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. 1998. (Desenvolvimento de material didático ou instrucional - Notas Didáticas).

9.
SOUZA, M. A. ; SOUZA, Paulo Sergio Lopes de ; Souza, Simone R. S. ; SANTANA, M. J. ; SANTANA, R. C. . Aplicações de RPC no Ambiente SUNOS. 1995. (Desenvolvimento de material didático ou instrucional - Notas didáticas).

Demais trabalhos
1.
SOUZA, S. R. S.. Testes de Software. 2007 (palestra técnica) .

2.
SOUZA, S. R. S.; BARBOSA, e F . Engenharia de Software e Sistemas de Informação. 2006 (palestra técnica) .

3.
SOUZA, S. R. S.. Qualidade de Software e Atividades de Verificação e Validação. 2006 (palestra técnica) .

4.
SOUZA, S. R. S.. Teste de Software Aplicado a Programas Concorrentes. 2005 (palestra técnica) .

5.
SOUZA, S. R. S.. Mutation Testing Applied to Estelle. 2001 (palestra técnica) .

6.
SOUZA, S. R. S.. Teste de Mutação: Estado Atual e Perspectivas. 2001 (palestra técnica) .

7.
SOUZA, S. R. S.. Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste. 2001 (apresentação trabalho) .

8.
SOUZA, S. R. S.. Teste de Software. 2001 (palestra técnica) .

9.
SOUZA, S. R. S.. Introdução ao Teste de Software. 2000 (apresentação minicurso) .

10.
Souza, S. R. S. Uma Visão Geral das Principais Características de Estelle. 1999 (palestra técnica) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
DELAMARO, Márcio Eduardo; SOUZA, S. R. S.; BISCARO, H. H.; VINCENZI, A. M.. Participação em banca de Misael Costa Junior. Automatização de oráculos de teste para imagens médicas de modelos tridimensionais. 2018. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

2.
MATOS, S. N.; Souza, S. R. S; BORGES, H. B.. Participação em banca de LUAN BUKOWITZ BELUZZO. ABORDAGEM PARA AVALIAR E DETECTAR PONTOS DE INSERÇÃO E APLICAÇÃO DE PADRÕES DE PROJETO EM CÓDIGO-FONTE. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Tecnológica Federal do Paraná.

3.
MALDONADO, J. C.; VINCENZI, A. M.; GIMENES, I. M. S.; Souza, S. R. S. Participação em banca de Nilton Mendes de Souza,. RAModelTI: agregando informações de teste de software no Modelo para Arquiteturas de Referência (RAModel). 2017. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

4.
MALDONADO, J. C.; FERRARI, F. C.; Souza, S. R. S; BATISTA, T. V.. Participação em banca de Diógenes Dias Simão. ProSA-RAT: Um processo para estabelecimento de arquiteturas de referência com informações de teste de software?. 2017. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

5.
SOUZA, S. R. S.; BARBOSA, Ellen Francine; FERRARI, F. C.. Participação em banca de Ricardo Fontao Verhaeg. Uma abordagem de predição de falhas de software no contexto de desenvolvimento ágil. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

6.
Souza, S. R. S; Simão, A.S.; VINCENZI, A. M.. Participação em banca de Marcos Pereira dos Santos. Estudo e adaptação de critérios de teste de programas concorrentes para o teste de integração de sistemas robóticos móveis. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

7.
Endo, A.T.; SOUZA, S. R. S.; LERARIO, A.. Participação em banca de Guilherme de Cleva Farto. Uma Contribuição ao Teste Baseado em Modelo no contexto de aplicações móveis. 2016. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Tecnológica Federal do Paraná.

8.
MALDONADO, J. C.; DIAS NETO, A. C.; VINCENZI, A. M.; Souza, S. R. S. Participação em banca de Pedro Henrique Dias Valle. Jogos educacionais: uma contribuição para o ensino de teste de software. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

9.
Souza, S. R. S; ISOTANI, S.; RODELLO, I. A.. Participação em banca de Felipe Diniz Dallilo. Uma abordagem multinível para a obtenção de alinhamento estratégico no gerenciamento de processos de negócio. 2014. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

10.
SIMAO, A. S.; Souza, S. R. S; BONIFACIO, A. L.. Participação em banca de Pedro Victor Pontes Pinheiro. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML. 2014. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

11.
Souza, S. R. S; FABBRI, S. C. P. F.; de ALBUQUERQUE, J. P.. Participação em banca de Bruno Henrique Oliveira. Qualidade de Software no desenvolvimento com métodos ágeis. 2014. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

12.
Souza, S. R. S; VINCENZI, A. M.; Simão, A.S.. Participação em banca de Jose Dario Pintor. Geração Automática de Dados de teste para Programas Concorrentes com meta-heurística. 2014. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

13.
Simão, A.S.; SOUZA, S. R. S.; BONIFACIO, A. L.. Participação em banca de Faimison Rodrigues Porto. Estratégia para geração de sequencias de verificação para máquinas de estados. 2013. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

14.
SOUZA, S. R. S.; Simão, A.S.; FERRARI, F. C.. Participação em banca de Rodolfo Adamshuk Silva. Teste de mutação para programas concorrentes em MPI. 2013. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

15.
BARBOSA, Ellen Francine; SOUZA, S. R. S.; CHAIM, Marcos. Participação em banca de Draylson Micael de Souza. Ensino e Aprendizado de fundamentos de programação: uma abordagem baseada em teste de software. 2012. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

16.
Simão, A.S.; AMBRÓSIO, Ana Maria; SOUZA, S. R. S.. Participação em banca de Arineiza Cristina Pinheiro. Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estado. 2012. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

17.
SOUZA, S. R. S.; SIMAO, A. S.; CHAIM, M. L.. Participação em banca de Silvana Morita Melo. Avaliação do Custo e Efetividade dos Critérios de Teste Estruturais no Contexto de Programas Concorrentes com Memória Compartilhada. 2012. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

18.
SOUZA, S. R. S.; VERGILIO, Silvia Regina; MASIERO, P. C.. Participação em banca de Maria Adelina Silva Brito. Avaliação da Efetividade de Critérios de Teste Estruturais no Contexto de Programas Concorrentes. 2011. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

19.
FABBRI, Sandra C P F; Camargo, V.V.; SOUZA, S. R. S.. Participação em banca de Fábio Roberto Octaviano. Uma Proposta de Ferramenta para a Geração de Casos de Teste a partir de Casos de Uso (Exame de Qualificação). 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

20.
VILELA, P. R. S.; Peixoto, C.A.S.; SOUZA, S. R. S.. Participação em banca de Carlos Bernardes de Abreu. Sistema de Visualização Gráfica para apoiar a Tomada de Decisão durante a Fase de Teste. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Metodista de Piracicaba.

21.
SOUZA, S. R. S.; MASIERO, P C; MARTINS, Eliane. Participação em banca de Alex Donizeti Betez Alberto. Uma Estratégia para a minimização de máquinas de estados finitos parciais. 2009. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

22.
VILELA, P. R. S.; SILVA, A. E. A.; SOUZA, S. R. S.. Participação em banca de Fabiane Pifer Furlan. Visualização de Informação como Apoio ao Planejamento do Teste de Software. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Metodista de Piracicaba.

23.
SIMÃO, Adenilso da Silva; AMBRÓSIO, Ana Maria; SOUZA, S. R. S.. Participação em banca de Lúcio Felippe de Mello Neto. Minimização de conjuntos de casos de teste para máquinas de estados finitos. 2008. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

24.
SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; VERGILIO, Silvia Regina. Participação em banca de andré Takeshi Endo. Teste de Composição de web-services: uma estratégia baseada em um modelo de teste de programas paralelos. 2008. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

25.
FABBRI, S. C. P. F.; SOUZA, S. R. S.; MARTIMIANO, L. A. F.. Participação em banca de Luiz Cavamura Júnior. AQUA - Atividades de Qualidade no Contexto Ágil. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

26.
MASIERO, P. C.; SOUZA, S. R. S.; VALENTE, M. T. O.. Participação em banca de Paula Marques Donegan. Geração de Famílias de Produtos de software com Arquitetura Baseada em Componentes. 2008. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

27.
CARVALHO, S. V.; VIJAYKUMAR, Nandamudi Lankalapalli; SENNE, E. L. F.; MOREIRA, F. J. O.; SOUZA, S. R. S.. Participação em banca de Alessandro Oliveira Arantes. WEB-PerformCharts: A Web-based Test Case Generator from Statecharts Modelling. 2008. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais.

28.
VERGILIO, Silvia Regina; SOUZA, S. R. S.. Participação em banca de Igor Fabiano Nazar. Uma Ferramenta para Teste de Esquemas de Estrutura de Dados. 2007. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

29.
VERGÍLIO, Silvia Regina; SOUZA, S. R. S.; POZO, Aurora Ramirez Trinidad. Participação em banca de Cláudio Martin Rocha. Explorando o Relacionamento entre Métricas Baseadas em Caso de Uso e o Número de Casos de Teste. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

30.
VERGÍLIO, Sílvia Regina; SOUZA, S. R. S.. Participação em banca de Alexandre Ceolin Hausen. ValiMPI: Uma Ferramenta de Teste Estrutural oara Programas Paralelos em ambientes de passagem de mensagens. 2005. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

31.
DELAMARO, Márcio Eduardo; SOUZA, S. R. S.; SPOTO, Edmundo Sérgio. Participação em banca de José Luiz Vieira de Oliveira. Record and Playback para o teste de aplicações WEB. 2004. Dissertação (Mestrado em Mestrado Em Ciência da Computação) - Fundação de Ensino Eurípedes Soaresda Rocha.

32.
SOUZA, S. R. S.; VERGILIO, Silvia Regina. Participação em banca de Edenilson José da Silva. PREDTOOL: Uma Ferramenta para Apoiar o Teste Baseado em Predicados. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Teses de doutorado
1.
Souza, S. R. S; AMBRÓSIO, Ana Maria; FERRARI, F. C.; WOLF, D.; MALDONADO, J. C.. Participação em banca de Maria Adelina Silva Brito. Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveis. 2017. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

2.
DELAMARO, Márcio Eduardo; Souza, S. R. S. Participação em banca de Rafael Alves Paes de Oliveira. Oráculos de teste para sistemas com saídas complexas: o caso dos sistemas TTS. 2017. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

3.
BARBOSA, e F; Souza, S. R. S; MARTIMIANO, L. A. F.. Participação em banca de Draylson Micael de Souza. Subsídios à integração de ferramentas de avaliação automática e sistemas de gerenciamento de aprendizagem. 2017. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

4.
Simão, A.S.; BONIFACIO, A. L.; SOUZA, S. R. S.; OLIVEIRA JUNIOR, E. A.; SANTIAGO JUNIOR, V. A.. Participação em banca de Vanderson Hafemann Fragal. Geração automática de conjuntos de teste configuráveis para linhas de produto de software. 2017. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

5.
SIMAO, A. S.; Souza, S. R. S; MARTINS, Eliane; MELO, A. C. V.; ANDRADE, W. L.. Participação em banca de Sofia Larissa da Costa Paiva. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de sistemas de transiçao com entrada/saída. 2016. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

6.
BARBOSA, Ellen Francine; FORTES, R. P. M.; BRANDAO, A. A. F.; Souza, S. R. S; PIMENTEL, E. P.. Participação em banca de Nemésio Freitas Duarte Filho. Uma contribuição ao estabelecimento de uma arquitetura de referência para ambientes de aprendizagem móvel. 2016. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

7.
Souza, S. R. S; FABBRI, S. C. P. F.; FERRARI, F. C.; CORTE, T.; MENDONCA, M.. Participação em banca de Elis Cristina Montoro Hernandes. Insight: Uma Abordagem guiada pela informação para análise qualitativa com suporte de visualização e mineração de texto. 2014.

8.
JINO, Mario; CHAIM, Marcos; SOUZA, S. R. S.. Participação em banca de Maria Claudia Figueiredo Pereira Emer. Abordagem de Teste Baseada em Defeitos para Esquemas de Dados. 2007. Tese (Doutorado em doutorado em engenharia elétrica) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
DELAMARO, Márcio Eduardo; SOUZA, S. R. S.; LEMOS, O. A. L.. Participação em banca de Stevão Alves de Andrade. Teste de mutação aplicado a ambientes de realidade virtual modelados em grafo de cena. 2018. Exame de qualificação (Doutorando em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

2.
DELAMARO, Márcio Eduardo; VINCENZI, A. M.; FERRARI, F. C.; Souza, S. R. S. Participação em banca de Delcio Nonato Araujo da Silva. Geração de dados de testes para sistemas dinâmicos adaptativos usando técnicas baseadas em busca. 2017. Exame de qualificação (Doutorando em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

3.
SOUZA, S. R. S.; VINCENZI, A. M.; SIMÃO, A. S.. Participação em banca de Victor Hugo Santiago Costa Pinto. Teste de Software em Aplicações na Nuvem: Evidências empíricas sobre a efetividade, custo e aplicabilidade. 2016. Exame de qualificação (Doutorando em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

4.
VERGILIO, Silvia Regina; SOUZA, S. R. S.; DIAS NETO, A. C.; POZO, Aurora Ramirez Trinidad. Participação em banca de Giovani Guizzo. Uma abordagem baseada em hiper-heurística para a geração de estratégias de redução de custo do teste de mutação. 2016. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

5.
Souza, S. R. S; COSTA, E. B.; BORGES, M. A. F.. Participação em banca de Simone de Sousa Borges. Uma Abordagem para Formação Espontânea de Grupos de Alta Performance Utilizando Técnicas de Gamificação e sua Aplicação em Ambientes Inteligentes de Aprendizagem Colaborativa. 2014. Exame de qualificação (Doutorando em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

6.
SOUZA, S. R. S.; LUCREDIO, D.; GIMENES, I. M. S.. Participação em banca de Vanderson Hafemann Fragal. Geração de Teste Baseado em Modelos para as Dimensões de Evolução em Linha de Produto de Software. 2014. Exame de qualificação (Doutorando em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

7.
SOUZA, S. R. S.; TORI, R.; RODELLO, I. A.. Participação em banca de Alinne Cristinne Correa dos Santos. Uma contribuição à definição e automatização da atividade de teste para sistemas de realidade virtual. 2013. Exame de qualificação (Doutorando em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

8.
MASIERO, P. C.; SOUZA, S. R. S.; MELO, A. C. V.. Participação em banca de Sofia Larissa da Costa. Teste de sistemas de transição com entrada e saída. 2013. Exame de qualificação (Doutorando em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

9.
MALDONADO, J. C.; SOUZA, S. R. S.; CHAIM, Marcos. Participação em banca de Draylson Micael de Souza. Subsídios à integração de ferramentas de avaliação automática e sistemas de gestão da aprendizagem. 2013. Exame de qualificação (Doutorando em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

10.
MASIERO, P C; CHAIM, Marcos; SOUZA, S. R. S.. Participação em banca de Vânia de Oliveira Neves. Teste Estrutural de Sistemas Embarcados. 2011. Exame de qualificação (Doutorando em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

Qualificações de Mestrado
1.
MATOS, S. N.; Souza, S. R. S; ALVES, G. V.; BORGES, A. P.. Participação em banca de LUAN BUKOWITZ BELUZZO. PROPOSTA DE UMA ARQUITETURA MULTIAGENTES PARA DETECÇÃO DE PONTOS DE INSERÇÃO E APLICAÇÃO DE PADRÕES DE PROJETO E METAPADRÕES EM CÓDIGO-FONTE. 2017. Exame de qualificação (Mestrando em mestrado em ciência da computação) - Universidade Tecnológica Federal do Paraná.

2.
Souza, S. R. S; DELAMARO, Márcio Eduardo; MALDONADO, J. C.. Participação em banca de Misael Costa Junior. Automatização de oráculos de teste para o processamento de imagens médicas de modelos tridimensionais. 2016. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

3.
FERRARI, F. C.; Camargo, V.V.; SOUZA, S. R. S.. Participação em banca de Bento Rafael Siqueira. Caracterização de desafios e estratégias de teste para sistemas adaptativos. 2015. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

4.
SOUZA, S. R. S.; SIMAO, A. S.; VINCENZI, A. M.. Participação em banca de Ricardo Ferreira Vilela. Avaliação Experimental de Abordagens para a Geração Automática de Dados de Teste para Programas Concorrentes. 2015. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

5.
SOUZA, S. R. S.; FORTES, R. P. M.; FELIZARDO, K. R.. Participação em banca de Lilian Passos Scatalon. Subsídios à Condução de Experimentos no Ensino de Fundamentos de Programação. 2015. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

6.
Souza, S. R. S; FERRARI, F. C.; WOLF, D.. Participação em banca de Marcos Pereira dos Santos. Adaptação de critérios de teste de programas concorrentes para o teste de integração de robôs móveis. 2014. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

7.
Souza, S. R. S; MALDONADO, J. C.; VINCENZI, A. M.. Participação em banca de Ricardo Fontão Verhaeg. Estudo e implementação de técnicas para redução de esforço na atividade de teste no contexto de métodos ágeis. 2014. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

8.
FERRARI, F. C.; LUCREDIO, D.; SOUZA, S. R. S.. Participação em banca de Thiago Gaspar Levin. Avaliação Inter-paradigma de conjuntos de teste: Programação a Objetos versus Programação Orientada a Aspectos. 2013. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

9.
SOUZA, S. R. S.; VINCENZI, A. M.; Simão, A.S.. Participação em banca de Jose Dario Pintor da Silva. Geração de Dados de Teste Automática para Teste de Programas Concorrentes. 2013. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

10.
Souza, S. R. S; PENTEADO, Rosangela A Delosso; de ALBUQUERQUE, J. P.. Participação em banca de Bruno Henrique Oliveira. Qualidade de Software no Desenvolvimento com Métodos Ágeis. 2013. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

11.
Simão, A.S.; SOUZA, S. R. S.; MOURA, A. V.. Participação em banca de Faimison Rodrigues Porto. Estratégia para geração de sequencias de verificação para máquinas de estados. 2012. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

12.
SOUZA, S. R. S.; VERGILIO, Silvia Regina; FABBRI, S. C. P. F.. Participação em banca de Maria Adelina Silva Brito. Avaliação da Efetividade dos Critérios de Teste Estruturais no Contexto de Programas Concorrentes. 2010. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

13.
MASIERO, P. C.; SOUZA, S. R. S.; FABBRI, S. C. P. F.. Participação em banca de Bruno Barbieri de Pontes Cafeo. Teste estrutural de integração contextual (Nivel N) de programas orientados a objetos e a aspectos: definições, implementação e avaliação. 2010. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

14.
DELAMARO, Márcio Eduardo; SOUZA, S. R. S.; FABBRI, S. C. P. F.. Participação em banca de Rafael Alves Paes de Oliveira. Apoio à automatização de oráculos de teste para programas com interfaces gráficas. 2010. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

15.
SOUZA, S. R. S.; Simão, A.S.; BARBOSA, Ellen Francine. Participação em banca de Marllos Paiva Prado. Comparação de Critérios de Teste no Paradigma Procedural e OO: um Estudo Experimental. 2008. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

16.
BARBOSA, Ellen Francine; SOUZA, S. R. S.; PIMENTEL, M. G.. Participação em banca de Vanessa Araújo Borges. Uma Contribuição ao Desenvolvimento de Ferramentas de Apoio à Modelagem de Conteúdos Educacionais. 2008. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

17.
BARBOSA, Ellen Francine; SOUZA, S. R. S.. Participação em banca de Rodolfo de Souza Barbeiro. Subsídios ao Desenvolvimento e Disponibilização de Módulos Educacionais para Ensino a Distância. 2008. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

18.
SIMAO, A. S.; SOUZA, S. R. S.. Participação em banca de André Takeshi Endo. Teste de Composição de web-services: uma estratégia baseada em um modelo de teste de programas paralelos. 2007. Exame de qualificação (Mestrando em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação.

19.
SOUZA, S. R. S.; FABBRI, Sandra Cpf; PENTEADO, Rosangela A Delosso. Participação em banca de Luiz Cavamura Junior. Caracterização das atividades de teste e inspeção no contexto ágil. 2006. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de São Carlos.

20.
SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de; ZOLA, Wagner M N. Participação em banca de Alexandre C. Hausen. Part2-MPI: Uma Ferramenta para Critérios de Teste Estrutural em Programas Paralelos. 2004. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Monografias de cursos de aperfeiçoamento/especialização
1.
SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de; BRITTO JR, A. S.. Participação em banca de Mauricio Zadra Pacheco. Estudo da Implantação de Sistemas de Gerenciamento de Fluxo de Trabalho em Pequenas e Médias Empresas. 2002. Monografia (Aperfeiçoamento/Especialização em Especialização Em Banco de Dados) - Universidade Estadual de Ponta Grossa.

2.
SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de; BRITTO JR, A. S.. Participação em banca de Epifânio Ruffini Jr.. Gerenciamento de Documentos Eletrônicos. 2002. Monografia (Aperfeiçoamento/Especialização em Especialização Em Banco de Dados) - Universidade Estadual de Ponta Grossa.

Trabalhos de conclusão de curso de graduação
1.
RODRIGUES, E. L. L.; SOUZA, S. R. S.; GONZAGA, A.. Participação em banca de Giuliano Barbosa Prado.Planex: Website de comparação de taxas de câmbio. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação.

2.
Souza, S. R. S; PACCES, V. H. P.; OLIVARES, I. R. B.. Participação em banca de Lais da Silva Lira.Validação de software para laboratórios. 2016. Trabalho de Conclusão de Curso (Graduação em Bacharelado em química) - Instituto de Química de São Carlos.

3.
SOUZA, S. R. S.; VACCARE, Rosana Terezinha. Participação em banca de Giulia Fragoso Grigoli.Estágio em gerenciamento de projetos, gestão de portifólios e mapeamento de processos. 2016. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação.

4.
SOUZA, S. R. S.; RODRIGUES, E. L. L.; CLIQUET JUNIOR, A.. Participação em banca de Guilherme Galdino Siqueira.Sistema eletrônico baseado em Android e Arduino para auxilio de pessoas com deficiencia visual. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - escola de engenharia de são carlos.

5.
SOUZA, S. R. S.; COSTA, E. B.; SCHIABEL, L. V.. Participação em banca de Eduardo Soldera Garcia.Desenvolvimento da eletrônica de um sistema automatizado para testes de impacto em lentes solares e análises de lentes. 2015. Trabalho de Conclusão de Curso (Graduação em engenharia elétrica) - escola de engenharia de são carlos.

6.
SOUZA, S. R. S.; MASIERO, P. C.. Participação em banca de Giovanni Martins Piovesan.Gerenciamento de relacionamento com cliente para rede Raiadrogasil. 2015. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação.

7.
RODRIGUES, E. L. L.; VIEIRA, M. A. C.; Souza, S. R. S. Participação em banca de André Felipe Nunes Trofino.Implementação de sistema robótico autônomo movimentado de acordo com informações visuais. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - escola de engenharia de são carlos.

8.
SOUZA, S. R. S.; TRINDADE JUNIOR, O.. Participação em banca de Carlos Henrique Joaquim.Sistema de gestão tributária - desenvolvimento e aplicação. 2014. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação.

9.
ROMERO, R. A. F.; SOUZA, S. R. S.. Participação em banca de Rafael Regis Prado.Desenvolvimento de Benchmarks para avaliação de ferramentas de teste para programas concorrentes em Java. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação.

10.
MOREIRA, E. S.; SOUZA, S. R. S.. Participação em banca de Lucas Vioto.Processo de nossa remessa e custódia de cheques - teste para validação. 2011. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação.

11.
MALDONADO, Jose Carlos; SOUZA, S. R. S.. Participação em banca de Israel Amador Re.Utilização do GCC na análise de cobertura de código. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação.

12.
MATOS, S. N.; BORGES, H. B.; SOUZA, S. R. S.. Participação em banca de Rodolfo Adamshuk Silva.Verificação do Subframework de Análise Semântica de Fórmulas Utilizando Testes de Software na Fase de Unidade. 2009. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Análise e Desenvolvimento de Sistema) - Universidade Tecnológica Federal do Paraná.

13.
DELBEM, A. C. B.; SOUZA, S. R. S.. Participação em banca de Guilherme Fonseca de Souza Leite.Análise e Desenvolvimento para Sistemas do projeto GM. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação.

14.
DELBEM, A. C. B.; SOUZA, S. R. S.. Participação em banca de Dario Fernandes de Oliveira.Estágio no PMO da área de Application Outsourcing da empresa CPM Braxis. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação.

15.
SOUZA, S. R. S.; BRAGA, Rosana Teresinha Vaccare. Participação em banca de Fabrício Correia Sales.Elaboração dos Aspectos Técnicos de Propostas Comerciais relacionadas a Projetos de Gerência de Segurança e Gerência de Processos de Negócio. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação.

16.
SOUZA, S. R. S.; MALDONADO, José Carlos. Participação em banca de Alípio de Oliveira Neto.Aplicação de Testes no Desenvolvimento de um Sistema de Gestão de Fomento. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação.

17.
SOUZA, S. R. S.; BRAGA, Rosana Teresinha Vaccare. Participação em banca de Paula Fernandes Marcondes da Silva.Investigação de Arquitetura e Funcionalidades de Sistema de Help. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação.

18.
SOUZA, S. R. S.; MALDONADO, Jose Carlos. Participação em banca de Rafael Aoyama Achiles.Métodos de Teste de Software. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação.

19.
SOUZA, S. R. S.; BRAGA, Rosana Teresinha Vaccare. Participação em banca de André Luiz Ficher Furloni.Propostas e Gerência de Projetos para Serviços de TI. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação.

20.
BRAGA, Rosana Teresinha Vaccare; SOUZA, S. R. S.. Participação em banca de José Rodolfo Beluzo.Desenvolvimento de aplicativos e layouts para ambiente WEB. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação.

21.
BRAGA, Rosana Teresinha Vaccare; SOUZA, S. R. S.. Participação em banca de William Camilo Andrade.Sistemas de Gerenciamento de conteúdo pra congressos científicos. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação.

22.
BARBOSA, Ellen Francine; SOUZA, S. R. S.. Participação em banca de Rafael Pizzirani.Automatização do Exame de Proficiência em Inglês do ICMC-USP. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação.

23.
SOUZA, S. R. S.. Participação em banca de Fabricio Correia Sales.Elaboração dos aspectos técnicos de propostas comerciais relacionadas a gerência da segurança. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação.

24.
SOUZA, S. R. S.. Participação em banca de Rafael Aoyama Achiles.Métodos de Teste de Software. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação.

25.
SOUZA, S. R. S.; VACCARE, Rosana Terezinha. Participação em banca de Eduardo Carui.Desenvolvimento de Softwares Integrados ao Oracle Applications. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação.

26.
SOUZA, S. R. S.. Participação em banca de Rafael Pereira dos Santos.Ferramenta facilitadora para interação de usuários em projetos web. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação.

27.
SOUZA, S. R. S.; CELINSKI, T. M.; GUEIBER, E.. Participação em banca de Ricardo Charão.SCCA-Sistema de Controle de Carregamento de Aves. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

28.
SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de. Participação em banca de André Brandelero; Cassiano Giacometti.Sistema de Gerenciamento de Ovinos - SISOVI. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

29.
SOUZA, S. R. S.; DIAS, A. H.; BARBOSA FILHO, S.. Participação em banca de Fábio Bindi; Juliano J. Baniski.Sistema Gerenciador de Ordem de Serviço e Estoque para Empresa de Manutenção de Equipamentos de Informática. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

30.
SOUZA, S. R. S.; BARBOSA FILHO, S.; DIAS, A. H.. Participação em banca de Fabrício Chrestani.CONFROT: Aplicação para Elaboração de Rotas de Viagens, Auxílio ao Monitoramento e Controle de Tráfego de Frotas. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

31.
SOUZA, S. R. S.; FOLTRAN JR, D. C.; VAZ, M. S. M. G.. Participação em banca de Dieine da Silva.CONTAB2003: Software Contábil. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.

32.
SOUZA, S. R. S.; VAZ, M. S. M. G.; FOLTRAN JR, D. C.. Participação em banca de Cláudia Saad dos Santos Sá.Sistema de Clínica Veterinária Wendy & Billy. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa.



Participação em bancas de comissões julgadoras
Concurso público
1.
SOUZA, S. R. S.; PENTEADO, Rosangela A Delosso; CURI, M.. processo seletivo para contratação de docente na categoria de professor contratado nível III (doutor). 2016. Instituto de Ciências Matemáticas e de Computação.

2.
SOUZA, S. R. S.; Neto, O. M.; Dias, I.. processo seletivo para contratação de docente na categoria de professor contratado nível II (mestrado). 2013. Instituto de Ciências Matemáticas e de Computação.

3.
Neto, O. M.; SOUZA, S. R. S.; PENTEADO, Rosangela A Delosso. processo seletivo para contratação de docente na categoria de professor contratado nível II (assistente). 2013. Instituto de Ciências Matemáticas e de Computação.

4.
MASIERO, P. C.; SOUZA, S. R. S.; VINCENZI, A. M.; VIJAYKUMAR, Nandamudi Lankalapalli; PENTEADO, Rosangela A Delosso. concurso para professor doutor para o departamento de sistemas de computação ICMC/USP. 2009. Instituto de Ciências Matemáticas e de Computação.

5.
SOUZA, S. R. S.; FABBRI, S. C. P. F.; PARDO, T. A. S.. processo seletivo para contratação de docente na categoria Auxiliar de Ensino. 2008. Instituto de Ciências Matemáticas e de Computação.

6.
SOUZA, S. R. S.; CELINSKI, T. M.; VAZ, M. S. M. G.. Banca examinadora de Concurso Público professor auxiliar na área de Estruturas de Dados e Análise de Algoritmos. 2002. Universidade Estadual de Ponta Grossa.

7.
SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de; SOUZA, J. U. F.. Banca examinadora de concurso público para professor assistente na área de tecnologia da computação. 1998. Universidade Estadual de Ponta Grossa.

8.
SOUZA, S. R. S.. Banca examinadora de concurso público para professor assistente na área de engenharia de software - banco de dados. 1998. Universidade Estadual de Ponta Grossa.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
II Congresso de Graduação da USP. 2016. (Congresso).

2.
Simpósio Brasileiro de Engenharia de Software.Construção de Plataformas Digitais durante o Ensino de Engenharia de Software: um Relato de Experiencia. 2016. (Simpósio).

3.
Workshop on Distributed Computing. 2014. (Congresso).

4.
Ciclo de palestras do ICMC/USP. 2013. (Encontro).

5.
International Conference on Computational Science (ICCS 2013). 2013. (Congresso).

6.
Workshop de Integração de Programação Neurolinguística. 2013. (Encontro).

7.
III Congresso Brasileiro de Software: Teoria e Prática (CBSof 2012). 2012. (Congresso).

8.
VI Congresso do Departamento de Sistemas de Computação (CongreSSC 2012)). .. 2012. (Congresso).

9.
VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, co-alocado ao CBSOFT2012. Execução Determinística de Programas Concorrentes Durante o Teste de Mutação. 2012. (Congresso).

10.
Workshop Gerenciando Projetos de inovação. 2012. (Seminário).

11.
I Workshop de Egressos da Pós-Graduação do ICMC. 2011. (Simpósio).

12.
V Congresso Departamento de Sistemas de Computação. V Congresso do Departamento de Sistemas de Computação. 2011. (Congresso).

13.
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD - IX). Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (Invited Speaker). 2011. (Congresso).

14.
Workshop - Pós-Graduação ICMC 10-20: metas de curso e longo prazo. 2010. (Encontro).

15.
17o SIICUSP. avaliação de Sessão Técnica de posters de Iniciação Científica. 2009. (Congresso).

16.
ESELAW - Experimental Software Engineering Latin American Workshop. 2009. (Congresso).

17.
III Congresso do Departamento de Sistemas de Computação. 2009. (Encontro).

18.
minicurso Introdução à Engenharia de Software Experimental - ESELAW 2009. 2009. (Outra).

19.
Minicurso Using Qualitative Methods in Empirical Studies of Software Engineering, ESELAW2009. 2009. (Outra).

20.
Uso de Métodos Estatísticos para Planejamento de Estudos Experimetnais - ESELAW2009. 2009. (Outra).

21.
XII Brazilian Symposium on Formal Methods (SBMF 2009). 2009. (Simpósio).

22.
8th International Conference on Computational Science. Structural Testing for Semaphore-Based Multithread Programs. 2008. (Congresso).

23.
Euro PVM/MPI 2008. 2008. (Congresso).

24.
II Congresso do Curso Interunidades Engenharia de Computação. 2008. (Encontro).

25.
II Congresso do Departamento de Sistemas de Computação. 2008. (Encontro).

26.
I Workshop dos cursos de Graduação do ICMC. 2008. (Encontro).

27.
Sebrae: Repasse da disciplina de empreendedorismo. 2008. (Outra).

28.
TaicPart: Testing Academic & Industrial Conference - Practice and Research Techniques. 2008. (Congresso).

29.
Workshop do Bacharelado em Ciências da Computação. 2008. (Encontro).

30.
1a Tarde de Discussão sobre o curso de Engenharia de Computação. 2007. (Encontro).

31.
I Congresso do Departamento de Sistemas de Computação. 2007. (Encontro).

32.
I Workshop de Ensino do Departamento de Sistemas de Computaão. 2007. (Encontro).

33.
VI Semana Acadêmica de Tecnologia em Informática.Testes de Software. 2007. (Seminário).

34.
I Congresso de Curso Interunidades Engenharia de Computação. 2006. (Encontro).

35.
VIII Semana da Computação. 2005. (Simpósio).

36.
Workshop do Projeto Plavis - Março.Pesquisas em Teste de Especificações Formais. 2005. (Encontro).

37.
Workshop do Projeto Plavis - Novembro.Pesquisas em Teste de Especificações Formais. 2005. (Encontro).

38.
Workshop Brazil-France: oportunities for research cooperatio in software testing.Research in Software Testing. 2003. (Encontro).

39.
Workshop de Programação Extrema. 2003. (Simpósio).

40.
Seminário de Processo de Software ABNT. 2002. (Oficina).

41.
XXII Congresso da Sociedade Brasileira de Computação. 2002. (Congresso).

42.
Centro de Treinamento em Informática: Palestra Empreendedorismo. 2001. (Seminário).

43.
I Encontro de Planejamento e Avaliação do Kit Enxoval CNPq. 2001. (Encontro).

44.
III Curso de Qualidade SBC. 2001. (Seminário).

45.
I Simpósio de Informática e Tecnologia - UEPG. 2001. (Simpósio).

46.
XIV CTD - Concurso de Teses e Dissertações.Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste. 2001. (Simpósio).

47.
XV SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle.. 2001. (Congresso).

48.
XXI Congresso da Sociedade Brasileira de Computação. 2001. (Congresso).

49.
Ciclo de Palestras UEPG. 2000. (Seminário).

50.
Curso: A practical perspective for software process improvement. 2000. (Outra).

51.
Curso: Estelle uma técnica de descrição formal. 1999. (Outra).

52.
Curso: Integrated Techniques and Tools for Maintaining Large Software Systemas. 1999. (Outra).

53.
IV Simpósio de Teses e Dissertações do ICMC/USP. 1999. (Simpósio).

54.
III Simpósio de Teses e Dissertações do ICMC/USP. 1998. (Simpósio).

55.
II Semana da Computação do ICMC/USP. 1998. (Simpósio).

56.
Tutorial Introdução à Arquitetura de Software (SBES). 1998. (Outra).

57.
Uma aproximação à experiência didática para alunos de pós-graduação do ICMC. 1998. (Outra).

58.
XII Simpósio Brasileiro de Engenharia de Software. 1998. (Simpósio).

59.
15o Simpósio Brasileiro de Redes de Computadores. 1997. (Simpósio).

60.
Curso: Software Testing Reliability. 1996. (Outra).

61.
Third European PVM Conference - EuroPVM'96. 1996. (Congresso).

62.
X Simpósio Brasileiro de Engenharia de Software. 1996. (Simpósio).

63.
Curso: Introdução à programação x-view. 1995. (Outra).

64.
Curso: Tópicos em Interface usuário-computador. 1995. (Outra).

65.
IX Simpósio Brasileiro de Engenharia de Software. 1995. (Simpósio).

66.
Workshop de Dissertações Concluídas e em Andamento do ICMC. 1995. (Encontro).

67.
Workshop de Qualidade de Software - SBES'95. Análise de Mutantes: Uma Avaliação Empírica do Axioma de Antiextensionalidade. 1995. (Congresso).

68.
Curso: An Overview of Software Testing. 1994. (Outra).

69.
VIII Simpósio Brasileiro de Engenharia de Software. 1994. (Simpósio).

70.
XIII Congresso de Iniciação Científica e Tecnológica em Engenharia. 1994. (Congresso).

71.
IV Jornada de Informática PUCCAMP/IBM Brasil. 1992. (Seminário).

72.
Curso: Sistemas IBM-VM, XEDIT, SQL, CSP. 1991. (Outra).

73.
I Semana de Informática da UEPG. 1988. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
Endo, A.T. ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. ; MALDONADO, José Carlos ; VINCENZI, A. M. ; DIAS NETO, A. C. ; MACHADO, P. . I Simpósio Brasileiro de Teste de Software Sistemático e Automatizado (SAST 2016). 2016. (Congresso).

2.
SOUZA, S. R. S.; VINCENZI, A. M. . 9th Workshop on Systematic and Automated Software Testing (SAST 2015). 2015. (Congresso).

3.
Souza, S. R. S. Workshop on Distributed Computing. 2014. (Congresso).

4.
SOUZA, S. R. S.; BRADBURY, J. . 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012). 2012. (Congresso).

5.
VERGILIO, Silvia Regina ; SOUZA, S. R. S. . SAST 2009 - Brazilian Workshop on Systematic and Automated Software Testing. 2009. (Congresso).

6.
SOUZA, S. R. S.. II Congresso do Departamento de Sistemas de Computação. 2008. (Congresso).

7.
SOUZA, S. R. S.. II Mostra de Projetos em Computação - ProComp2004. 2004. (Exposição).

8.
Souza, S. R. S. ProComp2003 - I Mostra de Projetos em Computação. 2003. (Exposição).

9.
SOUZA, S. R. S.. Delegado local da IV Olimpíada de Informática OBI - UEPG. 2002. .

10.
SOUZA, S. R. S.. Delegado local da III Olimpíada de Informática OBI - UEPG. 2001. .

11.
SOUZA, S. R. S.. II Semana de Informática do Departamento de Informática da UEPG. 1992. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
André Felipe Trofino. Investigação de bugs concorrentes em aplicações móveis. Início: 2018. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

2.
Italo de Oliveira Santos. Teste de Software Concorrente: Avaliação Experimental de Técnicas de Teste de Software. Início: 2018. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

3.
Leo Natan Paschoal. Definição de abordagem de apoio para Flipped Classroom no Ensino de Teste de Software. Início: 2017. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

Tese de doutorado
1.
João Choma Neto. Uma abordagem multiobjetivo para teste de software baseada em algoritmo genético adaptativo. Início: 2018. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

2.
Ricardo Ferreira Vilela. Geração de Dados de Teste para Programas Concorrentes. Início: 2016. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

3.
Victor Hugo Santiago Costa Pinto. Investigação e De finição de Mecanismos de Teste de Software para o Contexto de Computação em Nuvem. Início: 2014. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

Supervisão de pós-doutorado
1.
Maria Adelina Silva Brito. Início: 2018. Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.

Trabalho de conclusão de curso de graduação
1.
Ricardo Chagas. Execução Determinística para o Teste Estrutural de Programas Concorrentes com C e MPI. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

Iniciação científica
1.
Lucas Fernandes Turci. Chatterbot: uma Contribuição ao Ensino de Teste de Software. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).

2.
Samuel de Oliveira Gamito. Um Mecanismo para apoiar a Análise das Interações dos Alunos com Conteúdos em Sistemas Conversacionais. Início: 2018. Iniciação científica (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. (Orientador).

3.
Ricardo Chagas. Uma Contribuição ao Ensino de Teste de Programas Concorrentes. Início: 2017. Iniciação científica (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Ricardo Verhaeg. Uma abordagem de predição de falhas de software no contexto de desenvolvimento ágil. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

2.
Marcos Pereira dos Santos. Estudo e adaptação de critérios de teste de programas concorrentes para o teste de integração de sistemas robóticos móveis. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Simone do Rocio Senger de Souza.

3.
Ricardo Ferreira Vilela. Avaliação Experimental de Abordagens para a Geração Automática de Dados de Teste para Programas Concorrentes. 2016. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Simone do Rocio Senger de Souza.

4.
Bruno Henrique Oliveira. Qualidade de Software no desenvolvimento com métodos ágeis. 2014. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

5.
Jose Dario Pintor. Geração de Dados de Teste Automática para Teste de Programas Concorrentes. 2014. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

6.
Rodolfo Adamshuk Silva. Teste de Mutação Aplicado a Sistemas Distribuídos. 2013. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Simone do Rocio Senger de Souza.

7.
Silvana Morita Melo. Avaliação do Custo e Efetividade dos Critérios de Teste Estruturais no Contexto de Programas Concorrentes com Memória Compartilhada. 2012. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Simone do Rocio Senger de Souza.

8.
Maria Adelina Silva Brito. Avaliação da Efetividade dos Critérios de Teste Estruturais no Contexto de Programas Concorrentes. 2011. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Simone do Rocio Senger de Souza.

9.
Marllos Paiva Prado. Um Estudo de Caracterização e Avaliação de Critérios de Teste Estruturais entre os paradigmas procedimental e OO. 2009. Dissertação (Mestrado em Ciências de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

10.
Alexandre Ceolin Hausen. ValiMPI: Uma Ferramenta de Teste Estrutural para Programas Paralelos em Ambientes de Passagem de Mensagem. 2005. 82 f. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, . Coorientador: Simone do Rocio Senger de Souza.

Tese de doutorado
1.
Silvana Morita Melo. Estabelecimento de um framework para avaliação de mecanismos de teste para programas concorrentes. 2013. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Simone do Rocio Senger de Souza.

2.
Rodolfo Adamshuk Silva. Teste baseado em buscas aplicado a programas concorrentes. 2013. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

3.
Maria Adelina Silva Brito. Estudo e Definição do Teste de Integração de Software para o Contexto de Sistemas Embarcados Críticos. 2012. Tese (Doutorado em Ciência de Computação e Matemática Computacional) - Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Simone do Rocio Senger de Souza.

Trabalho de conclusão de curso de graduação
1.
Thiago dos Santos Pinheiro. Teste de Software aplicado a software de gestão empresarial: Evidências e Resultados. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

2.
Leonardo Moura de Oliveira. Jogo Educacional para Apoiar a Aprendizagem de Técnicas de Teste de Software. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

3.
Mauricio Branco da Fonseca. Teste de software em plicativos móveis no ambiente empresarial: um relato de experiência. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

4.
Victor Martinelli. Desenvolvimento dirigido a testes em aplicação Web com AngularJS. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

5.
Bruno Ramos de Macêdo Rodrigues. Métodos ágeis na prática: relato de experiência no desenvolvimento de aplicativo móvel. 2016. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

6.
Camila Alves Pereira. Mapeamento de processos para implantação de um sistema ERP. 2014. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

7.
Rodrigo Kiei Nakandakari. Automatização de Testes em Sistemas Web. 2013. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

8.
Henrique Mancebo Russo. Estudo e Implementação de Operadores de Mutação para Programas Concorrentes em MPI. 2013. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

9.
Mário Santos Camillo. Avaliação Experimental do Teste Temporal na Atividade de Teste de Programas Paralelos. 2008. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

10.
Alexandre Jun Kimura. Definição de Metodologias de Gerência de Projetos apoiadas no PMBOK. 2008. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

11.
Glaucio Miura. Estudo do Modelo ITIL e Aplicação de uma das Gerências em um Processo de Negócio Real. 2007. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

12.
Eduardo Augusto Baucia. Estudo e Aplicação de ERP em Pequena Empresa. 2007. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

13.
Glaucio Miura. Definição de uma ferramenta de apoio à Implantação do Modelo ITIL. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

14.
Alex Dias dos Santos. Empreendendo em informática. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

15.
Rodrigo Mithuhiro Oshiro. Monitoramento de Projetos e Perfil de Usuários. 2005. 38 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

16.
Gislaine Teixeira Ichi. SAPPE: Software de Apoio ao Programa Pró-Egresso de Ponta Grossa. 2004. 47 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa. Orientador: Simone do Rocio Senger de Souza.

Iniciação científica
1.
Felipe Moreira Moura. Selectt Tool ? Automatizando o processo de seleção de técnicas de teste de software concorrente.. 2017. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

2.
Laércio da Cruz Asano Júnior. Estudo e Implementação de Mecanismos para Determinação de Elementos Não Executáveis durante o Teste Estrutural de Programas Concorrentes. 2010. Iniciação Científica - Escola de Engenharia de São Carlos, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Simone do Rocio Senger de Souza.

3.
Laércio da Cruz Asano Júnior. Estudo Experimental dos Critérios de Teste Estruturais para Programas Paralelos em PVM. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

4.
Matheus Lin Truglio Alvarenga. Apoio ao Desenvolvimento de uma Ferramenta de Ensino para Teste de Software. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

5.
Laércio da Cruz Asano Júnior. Definição e Implementação de Mecanismos para Redução do Custo de Aplicação do Teste Estrutural em Programas Paralelos. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

6.
Matheus Lin Truglio Alvarenga. Execução Determinística de Programas Paralelos. 2008. Iniciação Científica. (Graduando em Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

7.
Bianca Pitarello. Implementação do Módulo de Avaliação de Seqüências de Teste da Ferramenta SCCTool - Specification Coverage Criteria Testing Tool. 2006. 13 f. Iniciação Científica. (Graduando em Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

8.
João Walter Bruno. Definição de Critérios de Teste e de uma Interface Gráfica para a Ferramenta de Teste ValiPVM. 2004. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

9.
Alexandre de Melo Lima. Implementação de Recursos para Extrair Informações sobre Comandos de Comunicação em Aplicações Paralelas em PVM. 2004. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

10.
Thiago Bliscosque Gonçalves. Implementação de Recursos para Extrair Informações sobre Troca de Mensagens em Aplicações Paralelas em PVM. 2004. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

11.
Luciana Vilas Boas Wiecheteck. ESPECIFICAÇÃO EM UML DE UMA FERRAMENTA PARA VALIDAÇÃO DE APLICAÇÕES PARALELAS EM PVM. 2003. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa. Orientador: Simone do Rocio Senger de Souza.

12.
João Walter Bruno. Definição de uma Interface para o protótipo da ferramenta ValiPVM. 2003. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa. Orientador: Simone do Rocio Senger de Souza.

13.
José Reinaldo Perim. Definição e Implementação de um Modelo para Representação de Programas Paralelos em PVM. 2003. 0 f. Iniciação Científica. (Graduando em Engenharia de Computação) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

14.
Luiz Duda. Definição e Implementação de uma Representação Intermediária para Programas Paralelos em MPI. 2003. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

15.
Rivaldo Antonio Zambianco Junior. Tree-Reach:Árvore de Alcançabilidade para Sistemas Especificados em Estelle. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

16.
Cassiano Giacometti. Aplicabilidade do Teste de Mutação para Aplicações Paralelas em PVM. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado Em Informática) - Universidade Estadual de Ponta Grossa, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Simone do Rocio Senger de Souza.

Orientações de outra natureza
1.
Draylson Micael de Souza. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC720 Teste e Inspeção de Software. 2013. Orientação de outra natureza. (Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

2.
Jose Dario Pintor da Silva. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC501 Introdução à Ciência da Computação I. 2013. Orientação de outra natureza. (Bacharelado em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

3.
Marcos Pereira dos Santos. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC121 Engenharia de Software I. 2013. Orientação de outra natureza. (Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

4.
Bruno Henrique Oliveira. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC720 Teste e Inspeção de Software. 2012. Orientação de outra natureza. (Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

5.
Bruno Henrique Oliveira. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC620 Engenharia de Software. 2012. Orientação de outra natureza. (Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

6.
Draylson Micael de Souza. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC523 Tópicos em Engenharia de Software. 2012. Orientação de outra natureza. (Bacharelado em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

7.
Rodolfo Adamshuk Silva. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC121 Engenharia de Software I. 2011. Orientação de outra natureza. (Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

8.
Bruno Henrique Oliveira. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC523 Tópicos em Engenharia de Software. 2011. Orientação de outra natureza. (Bacharelado em Sistemas de Informação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

9.
Paulo Henrique Ribeiro. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC601 - Laboratório de Introdução à Ciência da Computação I. 2009. Orientação de outra natureza. (Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

10.
Rafael Messias Martins. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC600 - Introdução à Ciência da Computação I. 2009. Orientação de outra natureza. (Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

11.
David Fernandes Neto. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC570 Empreendedores em Informática. 2009. Orientação de outra natureza. (Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

12.
Rafael Messias Martins. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SSC620 Engenharia de Software. 2009. Orientação de outra natureza. (Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

13.
André Abe Vicente. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SCE 307 Engenharia de Software II. 2008. Orientação de outra natureza. (Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

14.
Rodolfo de Souza Barbeiro. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SCE532 Empreendedores em Informática. 2008. Orientação de outra natureza. (Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

15.
Marllos de Paiva Prado. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SCE532 Empreendedores em Informática. 2007. Orientação de outra natureza. (Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

16.
Erika Nina Hohn. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SCE566 Projeto Supervisionado ou de Graduação I. 2007. Orientação de outra natureza. (Bacharelado Em Informática) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

17.
Alessandra Chan. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SCE 702 Inspeção e Teste de Software. 2006. Orientação de outra natureza. (Engenharia de Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

18.
Erika Nina Hohn. Supervidor de PAE (Programa de Aperfeiçoamento de Ensino) da disciplina SCE148 Sistemas de Informação. 2006. Orientação de outra natureza. (Ciência da Computação) - Instituto de Ciências Matemáticas e de Computação. Orientador: Simone do Rocio Senger de Souza.

19.
Fernando da Silveira Lameira. Supervisor de monitoria junto à disciplina Algoritmos e Programação. 2002. Orientação de outra natureza. (Engenharia de Computação) - Universidade Estadual de Ponta Grossa. Orientador: Simone do Rocio Senger de Souza.

20.
Alan Fabricio Kochmann. Supervisor de monitoria junto à disciplina Algoritmos e Programação. 2002. Orientação de outra natureza. (Engenharia de Computação) - Universidade Estadual de Ponta Grossa. Orientador: Simone do Rocio Senger de Souza.



Educação e Popularização de C & T



Cursos de curta duração ministrados
1.
Souza, Simone R. S.; SIMAO, A. S. ; DELAMARO, Márcio Eduardo ; BARBOSA, Ellen Francine . Teste de Software - Módulo Teste de Mutação. 2011. (Curso de curta duração ministrado/Outra).

2.
SOUZA, S. R. S.; MALDONADO, José Carlos . Introdução ao Teste de Software. 2000. (Curso de curta duração ministrado/Extensão).

3.
SOUZA, S. R. S.. Curso de Engenharia de Software. 2001. (Curso de curta duração ministrado/Especialização).

4.
BARBOSA, Ellen Francine ; MALDONADO, José Carlos ; VINCENZI, Auri Marcelo Rizzo ; DELAMARO, Márcio Eduardo ; Souza, S. R. S ; JINO, Mario . Introdução ao Teste de Software. 2000. .


Desenvolvimento de material didático ou instrucional
1.
MALDONADO, J. C. ; VINCENZI, A. M. ; BARBOSA, Ellen Francine ; SOUZA, S. R. S. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. 1998. (Desenvolvimento de material didático ou instrucional - Notas Didáticas).

2.
MALDONADO, J. C. ; BARBOSA, Ellen Francine ; VINCENZI, A. M. ; DELAMARO, Márcio Eduardo ; SOUZA, S. R. S. ; JINO, Mario . Introdução ao Teste de Software. 2004. (Desenvolvimento de material didático ou instrucional - Notas didáticas).

3.
Brito, M. A. S. ; FELIZARDO, K. ; SOUZA, Paulo Sergio Lopes de ; Souza, S. R. S . Concurrent Software Testing: A Systematic Review. 2010. (Desenvolvimento de material didático ou instrucional - NotasDidáticas).

4.
SANTOS, M. P. ; OLIVEIRA, R. R. ; NAKAGAWA, E. Y. ; Souza, S. R. S . Teste de Desempenho para sistemas embarcados críticos: uma revisão sistemática. 2014. (Desenvolvimento de material didático ou instrucional - NotasDidáticas).

5.
SOUZA, M. A. ; SOUZA, Paulo Sergio Lopes de ; Souza, Simone R. S. ; SANTANA, M. J. ; SANTANA, R. C. . Aplicações de RPC no Ambiente SUNOS. 1995. (Desenvolvimento de material didático ou instrucional - Notas didáticas).




Página gerada pelo Sistema Currículo Lattes em 18/11/2018 às 21:25:45