Rede de Colaboração
Diretório de grupos de pesquisa
SciELO - artigos em texto completo|
Jose Carlos Maldonado Professor Titular do Instituto de Ciências Matemáticas e de Computação (ICMC-USP). Possui graduação em Engenharia Elétrica pela Universidade de São Paulo (1978), mestrado em Engenharia e Tecnologia Espaciais pelo Instituto Nacional de Pesquisas Espaciais (1983) e doutorado em Engenharia Elétrica - Computação e Automação pela Universidade Estadual de Campinas (UNICAMP) (1991). Título de
Livre-Docente da USP (1996). Vice-Diretor do ICMC-USP (2007-2010). Presidente da Sociedade Brasileira de Computação SBC(2007-2009; 2009-2011); foi Diretor de Educação da SBC (97-99), Membro do Conselho da SBC (1999-2003; 2011-2015), Vice-Presidente da SBC (2003-2005; 2005-2007). Presidente da SBC 2007-2011. Membro do CA-CC/CNPq (2006-2009); Adjunto da Área de Computação da CAPES (2004-2007; 2007-2010). Membro da Coordenação de Área da FAPESP (a partir de 2006). Coordenador do Grupo de TIC do IEA Instituto de Estudos
Avançados/USP-São Carlos. Membro da rede de pesquisa - International Software Engineering Research Network (ISERN, até 2010). Membro da Comissão Permanente de Avaliação da USP. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos
seguintes temas: teste de software, educação em engenharia de software, engenharia de software experimental, sistemas embarcados críticos, e ambientes e métodos de ensino. Já publicou mais de 40 artigos em periódicos e mais de uma centena de artigos completos arbitrados, além de 03 livros e mais de uma dezena de capítulos de livros. Coordenou e participou de dezenas de projetos de pesquisa financiados por agências de pesquisa. Coordena o Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC), financiado pelo CNPq/Fapesp. Participa de Comitês Editorias de Periódicos Internacionais e já
coordenou/participou de mais de uma centena de Comitês de Programas de Eventos Científicos. Recebeu vários prêmios e homenagens, destacando-se: Comenda do Mérito Científico 2008, Premio Jabuti 2008 de Ciências Exatas, Ciências e Tecnologia (terceiro lugar); Destaque Acadêmico 2007 proferido pela ABDI - Agência Brasileira de Desenvolvimento Industrial; e IV Prêmio Nacional de Informática 1991, conferido pela SEI, MODDATA S/A, Fundação Roberto Marinho.
Última
atualização do currículo em 16/01/2012
Endereço para acessar este CV: http://lattes.cnpq.br/8807333466702951 |
Dados pessoais
| Nome | Jose Carlos Maldonado |
| Nome em citações bibliográficas | MALDONADO, J. C.;MALDONADO, J;Maldonado, Jose Carlos;Maldonado, José Carlos;Maldonado, J.C. |
| Sexo | Masculino |
| Endereço profissional | Universidade de São Paulo, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação. Av. Trabalhador São-carlense, 400 - Caixa Postal 668 Centro 13560970 - Sao Carlos, SP - Brasil - Caixa-Postal: 668 Telefone: (16) 33739669 Fax: (16) 33739751 URL da Homepage: http://www.icmc.usp.br |
Formação acadêmica/Titulação
| 1997 | Livre-docência. Universidade de São Paulo, USP, Brasil. Título: Critérios de Teste de Software: Aspectos Teóricos, Empíricos e de Automatização, Ano de obtenção: 1997. Palavras-chave: Analise de Mutantes; Teste de Software; Criterios e Estrategias de Testes; Ferramentas de Teste; Teste estrutural. 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. Setores de atividade: Informática; Qualidade e Produtividade. |
| 1995 - 1996 | Pós-Doutorado
. Purdue University. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil . 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. |
| 1985 - 1991 | Doutorado em Engenharia Elétrica - Computação e Automação
.
Universidade Estadual de Campinas, UNICAMP, Brasil. Título: Critérios Potenciais Usos: Uma Contribuição ao Teste Estrutural de Software, Ano de Obtenção: 1991. Orientador: Mário Jino. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil . Palavras-chave: Criterios e Estrategias de Testes; Ferramentas de Teste; Testes e Validacao de Software; Teste estrutural. 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. Setores de atividade: Qualidade e Produtividade; Informática. |
| 1979 - 1983 | Mestrado em Engenharia e Tecnologia Espaciais
.
Instituto Nacional de Pesquisas Espaciais, INPE, Brasil. Título: UM SISTEMA DE CONTROLE E SUPERVISÃO DE BORDO", Ano de Obtenção: 1983. Orientador:  EDUARDO WITAKER BERGAMINI.
Palavras-chave: Controle e Supervisao de Bordo; Criterios e Estrategias de Testes; Ferramentas de Teste; Protocolos de Comunicacao; Sistemas de Computacao; Testes e Validacao de Software. Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações. Grande área: Engenharias / Área: Engenharia Aeroespacial / Subárea: Sistemas Aeroespaciais / Especialidade: Satélites e Outros Dispositivos Aeroespaciais. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico. Setores de atividade: Aeronáutica e Espaço; Fabricação de Aparelhos e Equipamentos de Telecomunicação. |
| 1976 - 1978 | Especialização em Ênfase Em Computação Eletrônica
.
Universidade de São Paulo, USP, Brasil. |
| 1974 - 1978 | Graduação em Engenharia Elétrica
.
Universidade de São Paulo, USP, Brasil. |
Atuação profissional
| International Software Engineering Research Network, ISERN, Alemanha. |
| Vínculo institucional |
| 2004 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Membro da rede de pesquisa |
| Universidade Estadual de Campinas, UNICAMP, Brasil. |
| Vínculo institucional |
| 1992 - 1992 | Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 0 |
| Atividades |
| 1/1992 - 2/1992 | Pesquisa e desenvolvimento , Faculdade de Engenharia Elétrica e de Computação, Departamento de Engenharia da Computação e Automação Industrial. |
|
Linhas de pesquisa Engenharia de Software |
| Universidade de São Paulo, USP, Brasil. |
| Vínculo institucional |
| 2008 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Presidente da comissão CDCT |
| Outras informações | Presidente da comissão para distribuição de cargos de professor titular (CDCT) do ICMC-USP. Portaria 073/2008 de 28.08.08. |
| Vínculo institucional |
| 2007 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Membro do CPA/USP |
| Outras informações | CPA/USP (Comissão Permanente de Avaliação) |
| Vínculo institucional |
| 2006 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Membro titular do CTA |
| Outras informações | CTA - Conselho Técnico-Administrativo membro titular vice-diretor |
| Vínculo institucional |
| 2006 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Vice-diretor do ICMC/USP |
| Vínculo institucional |
| 2002 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Titular, Carga horária: 40 |
| Vínculo institucional |
| 2006 - 2008 | Vínculo: Servidor Público, Enquadramento Funcional: Membro titular do Conselho Departamental SSC |
| Outras informações | Representante dos Professores Titulares. |
| Vínculo institucional |
| 1997 - 2002 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Livre Docente, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 1991 - 1997 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Doutor, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 1985 - 1991 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 1/2000 - Atual | Direção e administração, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação. |
| Cargo ou função Chefe de Departamento. |
| 1988 - Atual | Ensino, Ciência da Computação Icmc São Carlos, Nível: Pós-Graduação. |
| Disciplinas ministradas Engenharia de Software Seminários Avançados em Engenharia de Software Tópicos de Engenharia de Software (Padrões e Frameworks de Software) Tópicos de Engenharia de Software I Seminários Avançados em Engenharia de Software I |
| 3/1985 - Atual | Pesquisa e desenvolvimento , Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação. |
|
Linhas de pesquisa Engenharia de Software Sistemas de Informação Software Básico |
| 1985 - Atual | Ensino, Ciências de Computação, Nível: Graduação. |
| Disciplinas ministradas Introdução à Ciência da Computação Teoria dos Grafos Aplicada à Computação Introdução aos Sistemas de Informação Introdução à Programação Sistemática Linguagens de Programação Tópicos de Ciências de Computação Linguagens e Técnicas de Programação e Aplicações Macros e Linguagens de Montagem Computadores e Sociedade Programação Sistemática II Laboratório de Programação II Microprocessadores e Microcomputadores Engenharia de Software Linguagens Montadoras I Tópicos Especiais em Engenharia de Software Engenharia de Software apoiada por Computador Introdução à Computação Introdução à Programação de Computadores VV&T Verificação Validação e Teste de Software |
| 2008 - 2012 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Projeto de cooperação acadêmica ICMC-USP - USO UEM, PUC-RS: Integrando e aprimorando atividades de pesquisa, ensino/treinamento e transferência tecnológica em teste e validação de software |
| 2008 - 2011 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Técnicas Baseadas em Modelos para Teste de Software em Sistemas Dinâmicos |
| 2009 - 2010 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Desenvolvimento e Evolução de um Sistema Web Livre para o Domínio de Acervos Históricos: Uma Complementação na Formação em Engenharia de Software |
| 2008 - 2010 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Disseminação de Informações de Acervos Históricos com o Memória Virtual |
| 2007 - 2010 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Estudo e Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis |
| 2006 - 2010 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa QualiPSo - Quality Platform for Open Source Software |
| 2006 - 2009 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa VV&T de Software em Sistemas Espaciais e Reengenharia de Software |
| 2005 - 2008 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis Uso de Programação Orientada a Aspectos para o Desenvolvimento de Frameworks e Apoio ao Teste de Programas |
| 2004 - 2008 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Memória Virtual de São Carlos |
| 2005 - 2007 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Architect+: Ambiente para Co-Projeto de Hardware/Software em Plataformas de FPGAs com Aplicação em Robótica Móvel |
| 2001 - 2007 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa PBQP - Programa Brasileiro da Qualidade e Produtividade |
| 2005 - 2006 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa PLAVIS: Platform for software validation & integration on space systems |
| 2004 - 2006 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa PARFAIT - Investigação e Definição de um Processo de Reengenharia Orientada a Objetos Visando ao Apoio por Computador Projeto SAFE (Software Engineering Available for Everyone) |
| 2004 - 2005 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação |
| 2003 - 2005 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa PLAVIS: Plataforma para Validação e Integração de Software em Sistemas Espaciais |
| 2003 - 2004 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação |
| 2001 - 2003 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Readers II - Collaborative research to develop, validate and package reading techniques for software defect detection |
| 2001 - 2002 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação |
| 1999 - 2001 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Métodos em Engenharia de Software, em Soluções Numéricas e Mecânica dos Fluidos e em Singularidades e Sistemas Dinâmicos |
| 1996 - 1998 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Métodos e Ferramentas para Apoio ao Desenvolvimento de Software |
| 1994 - 1997 | Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, . |
|
Projetos de pesquisa Validação e Teste de Sistemas de Operação |
| Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. |
| Vínculo institucional |
| 2008 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Adjunto de Área |
| Vínculo institucional |
| 2005 - 2007 | Vínculo: Colaborador, Enquadramento Funcional: Membro do Comitê de Área, Carga horária: 0 |
| Atividades |
| 1/2000 - Atual | Conselhos, Comissões e Consultoria, . |
|
Cargo ou função
Membro de comitê assessor. |
| Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. |
| Vínculo institucional |
| 2007 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Membro do CA-CC/CNPq |
| Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. |
| Vínculo institucional |
| 2007 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Membro da Coordenação da Área |
| Outras informações | Membro da Coordenação da Área Ciência e Engenharia de Computação |
| Sociedade Brasileira de Computação, SBC, Brasil. |
| Vínculo institucional |
| 2007 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Presidente |
| Vínculo institucional |
| 2005 - 2007 | Vínculo: Colaborador, Enquadramento Funcional: Vice-Presidente |
| Vínculo institucional |
| 2003 - 2005 | Vínculo: Colaborador, Enquadramento Funcional: Vice-Presidente |
| Vínculo institucional |
| 1999 - 2003 | Vínculo: Colaborador, Enquadramento Funcional: Membro do Conselho |
| Vínculo institucional |
| 1997 - 1999 | Vínculo: Colaborador, Enquadramento Funcional: Diretor de Educação, Carga horária: 0 |
| Atividades |
| 06/2003 - 06/2007 | Direção e administração, . |
| Cargo ou função Vice-presidente. |
| 1/1999 - 1/2003 | Conselhos, Comissões e Consultoria, . |
|
Cargo ou função
Membro de conselho. |
| 1/1997 - 1/1999 | Conselhos, Comissões e Consultoria, . |
|
Cargo ou função
Diretor Executivo. |
| Sociedade Brasileira para o Progresso da Ciência - São Paulo, SBPC, Brasil. |
| Vínculo institucional |
| 2007 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Membro do Conselho das Sociedades Científicas |
| Instituto de Estudos Avançados/USP-São Carlos, IEA/USP, Brasil. |
| Vínculo institucional |
| 2007 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Coordenador do grupo de TI do IEA/São Carlos |
| Instituto de Pesquisas Eldorado, ELDORADO, Brasil. |
| Vínculo institucional |
| 2007 - Atual | Vínculo: Colaborador, Enquadramento Funcional: Membro do Conselho Técnico-Científico |
| Outras informações | Membro do Conselho Técnico-Científico |
| Instituto Nacional de Pesquisas Espaciais, INPE, Brasil. |
| Vínculo institucional |
| 1979 - 1985 | Vínculo: Servidor público ou celetista, Enquadramento Funcional: PESQUISADOR, Carga horária: 40 |
| Atividades |
| 01/1979 - 03/1985 | Pesquisa e desenvolvimento , Coordenação Geral de Engenharia e Tecnologia Espacial, Divisão de Eletrônica Aeroespacial. |
|
Linhas de pesquisa DESENVOLVIMENTO DE HARDWARE E SOFTWARE BASICOS PARA ATIVIDADES // ESPACIAIS Desenvolvimento de Sistemas Aeroespacias |
| 3/1979 - 1983 | Outras atividades técnico-científicas , Coordenação Geral de Engenharia e Tecnologia Espacial, Divisão de Eletrônica Aeroespacial. |
|
Atividade realizada Mestrado. |
| Spar Aerospace Limited, SAL, Canadá. |
| Vínculo institucional |
| 1984 - 1984 | Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 0 |
| Atividades |
| 3/1984 - 9/1984 | Pesquisa e desenvolvimento . |
|
Linhas de pesquisa Sistemas de Bordo |
| Strathclyde University, SU, Inglaterra. |
| Vínculo institucional |
| 1994 - 1994 | Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador, Carga horária: 0 |
| Atividades |
| 2/1994 - 2/1994 | Pesquisa e desenvolvimento . |
| Technical University of Denmark, DTU, Dinamarca. |
| Vínculo institucional |
| 1990 - 1990 | Vínculo: Professor Visitante, Enquadramento Funcional: PROFESSOR VISITANTE |
| Atividades |
| 01/1990 - 04/1990 | Pesquisa e desenvolvimento . |
|
Linhas de pesquisa ATIVIDADES DE PESQUISA EM TESTES BASEADO EM ESPECIFICACAO |
Linhas de Pesquisa
| 1. | ATIVIDADES DE PESQUISA EM TESTES BASEADO EM ESPECIFICACAO |
| 2. | DESENVOLVIMENTO DE HARDWARE E SOFTWARE BASICOS PARA ATIVIDADES // ESPACIAIS |
| 3. | Desenvolvimento de Sistemas Aeroespacias |
| 4. | Engenharia de Software |
| 5. | Sistemas de Informação |
| 6. | Software Básico |
| 7. | Engenharia de Software |
| 8. | Sistemas de Bordo |
Projetos de Pesquisa
| 2009 - 2010 | Desenvolvimento e Evolução de um Sistema Web Livre para o Domínio de Acervos Históricos: Uma Complementação na Formação em Engenharia de Software |
| Descrição: Disciplinas da graduação na área de Engenharia de Software têm por objetivo proporcionar aos alunos conhecimento acerca dos diversos aspectos relacionados ao desenvolvimento de software. Este projeto objetiva então a complementação da formação do aluno de graduação em computação no tocante à área de Engenharia de Software. Para isso, práticas, tecnologias, ferramentas e atividades de Engenharia de Software estudados nessas disciplinas serão aplicadas pelo aluno para o desenvolvimento e evolução de um sistema de software, no caso o Memória Virtual, um sistema web para catalogação e disseminação de informações sobre acervos históricos. Para a condução deste projeto, primeiramente o aluno deverá conduzir um estudo do processo de software adotado no desenvolvimento do Memória Virtual, buscando um entendimento de como as atividades de Engenharia de Software vêm sendo conduzidas. Paralelamente, o aluno deverá ser integrado tanto à equipe de desenvolvedores quanto aos outros pesquisadores. Em seguida, o aluno deverá realizar um estudo aprofundado das ferramentas que compõem o ambiente de desenvolvimento e implantação do Memória Virtual. Com base nas atividades até então realizadas o aluno irá dar apoio à evolução das funcionalidades do Memória Virtual e ao projeto e implementação de novas interfaces web do Memória Virtual. Em seguida, realizará a validação do sistema frente às novas funcionalidades e interfaces web desenvolvidas, por meio da observação da utilização do sistema pelos clientes.. Situação: Em andamento; Natureza: Extensão. Alunos envolvidos: Graduação ( 1) . Integrantes: Elisa Yumi Nakagawa - Coordenador / Jose Carlos Maldonado - Integrante. Financiador(es): Pró-Reitoria de Graduação da USP - Bolsa.. |
| 2008 - 2012 | Projeto de cooperação acadêmica ICMC-USP - USO UEM, PUC-RS: Integrando e aprimorando atividades de pesquisa, ensino/treinamento e transferência tecnológica em teste e validação de software |
| Situação: Em andamento; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.. |
| 2008 - 2011 | Técnicas Baseadas em Modelos para Teste de Software em Sistemas Dinâmicos |
| Descrição: O objetivo principal deste projeto é definir, implementar e avaliar técnicas de geração automática de dados de teste para modelos de sistemas dinâmicos como Simulink e Scicos. Nesta primeira etapa será explorada principalmente a técnica de teste funcional.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Márcio Eduardo Delamaro - Coordenador / Rodrigo Fraxino Araújo - Integrante / Jose Carlos Maldonado - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.. |
| 2008 - 2010 | Disseminação de Informações de Acervos Históricos com o Memória Virtual |
| Descrição: São Carlos e região possuem uma diversidade de acervos de inestimável valor histórico. Similar à grande parte dos acervos brasileiros, muitos encontram-se em estado precário de conservação e outros são desconhecidos até por pesquisadores. Nesse contexto, o Projeto Memória Virtual de São Carlos realizou importantes contribuições, inclusive com o desenvolvimento de um sistema web livre chamado Memória Virtual que possibilita a disponibilização de informações de acervos históricos de diversas naturezas, a saber, acervos documentais, bibliográficos, arquitetônicos, naturais, museológicos e imateriais, de forma integrada. Visando a dar continuidade ao uso desse sistema, este projeto objetiva envolver alunos de graduação da área de Computação para as atividades de treinamento e evolução do Memória Virtual para ser utilizado no Patrimônio Cultural Rural Paulista, um projeto de políticas públicas da FAPESP que visa o tratamento dos acervos documentais relativo às fazendas históricas paulistas.. Situação: Em andamento; Natureza: Extensão. Integrantes: Elisa Yumi Nakagawa - Integrante / Maria Cristina Ferreira de Oliveira - Integrante / Elaine Parros M. de Sousa - Integrante / Jose Carlos Maldonado - Coordenador. Financiador(es): Pró-Reitoria de Cultura e Extensão Universitária da USP - Bolsa.. |
| 2008 - 2009 | INCT de 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: Em andamento; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2008 - 2009 | Uma Contribuição ao Desenvolvimento Aberto, Cooperativo e Distribuído de Módulos Educacionais |
| Situação: Em andamento; Natureza: Pesquisa. Integrantes: M.A.S. TURINE - Integrante / Ellen Francine Barbosa - Coordenador / Elisa Yumi Nakagawa - Integrante / D M B Paiva - Integrante / Jose Carlos Maldonado - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2008 - 2009 | Definição e Estabelecimento de Mecanismos de Apoio ao Desenvolvimento Aberto, Cooperativo e Distribuído de Módulos Educacionais |
| Situação: Em andamento; Natureza: Pesquisa. Integrantes: M.A.S. TURINE - Integrante / Ellen Francine Barbosa - Coordenador / Elisa Yumi Nakagawa - Integrante / D M B Paiva - Integrante / Jose Carlos Maldonado - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.. |
| 2007 - 2010 | Estudo e Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis |
| Descrição: O objetivo deste projeto é dar continuidade ao projeto de pesquisa sobre teste de programas para dispositivos móveis (Processo 478001/04-5) focando, principalmente, na condução de estudos experimentais visando a avaliar a adequação dos critérios de teste estruturais definidos e a ferramenta de teste JaBUTi/ME.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Jose Carlos Maldonado - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.. |
| 2007 - 2009 | Ambiente para Co-Projeto de Hardware/Software em Plataformas de FPGAs com Aplicação em Robótica Móvel - Parte 2 |
| Descrição: Este projeto pretende fornecer um Ambiente para Co-Projeto de Hardware/Software em Plataformas de FPGAs com Aplicação em Robótica Móvel. A partir de um algoritmo de aplicação em robótica móvel, escrito em linguagem C e/ou Java, o sistema gerará automaticamente um SoC (System-on-a-chip) para acelerar a aplicação. Este SoC será implementado em circuitos reprogramáveis do tipo FPGA (Field Programmable Gate Array) de última geração dos fabricantes Altera e Xilinx. Será utilizada a linguagem Java, com extensões, para a programação do sistema. A arquitetura alvo será constituída por um microprocessador de Bytecodes Java, executando em paralelo com o softcore Processor NIOS II da Altera, e ambos associados a várias unidades de processamento reconfiguráveis (RPUs) desenvolvidas especialmente para a área de robótica. A metodologia para a construção do ambiente utilizará técnicas estado-da-arte em compiladores para computação reconfigurável. Esta metodologia permitirá a pesquisadores e projetistas na área da robótica móvel testar seus algoritmos em sistemas de capacidade de desempenho elevada e, deste modo, explorar novas soluções destes sistemas para uso em tempo-real; um requisito cada vez mais presente na robótica móvel embutida. O projeto incluirá também a pesquisa de novas técnicas de compilação mais apropriadas para o tipo de sistemas em causa. A metodologia proposta será suportada por ferramentas pré-existentes e por novas investigações que serão pesquisadas e desenvolvidas no âmbito deste projeto. Os testes de validação do sitema gerado serão realizados com um robô Pioneer 3DX. Este projeto teve início em Abril de 2005 através do convênio CNPq/Grices.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2007 - 2009 | Subsídios para atividades de VV&T no desenvolvimento de softwareSubsídios para atividades de VV&T no desenvolvimento de software |
| Descrição: A definição de estratégias e técnicas de VV&T (Verificação, Validação e Teste) ao longo de todo processo de desenvolvimento de software é um ponto fundamental para a geração de produtos de software de maior qualidade. A diversidade de domínios de aplicação e a proposição de novos paradigmas de desenvolvimento de software requerem que sejam exploradas atividades de teste e inspeção nesses contextos para que a qualidade dos produtos elaborados possa ser devidamente tratada. Atualmente, é indispensável a avaliação do custo e benefícios dessas estratégias, técnicas e métodos por meio de estudos experimentais, conforme preconizado pela comunidade de Engenharia de Software Experimental. A maioria dos critérios de teste existente foi proposta para o paradigma de desenvolvimento procedimental e várias pesquisas têm sido conduzidas para estabelecer estratégias e novos critérios que sejam mais adequados e efetivos em outros paradigmas de desenvolvimento. O mesmo acontece com as técnicas de leitura que dão apoio às atividades de inspeção, pois para cada tipo de artefato a ser avaliado, as técnicas de leitura devem ser adequadas. Neste sentido, 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: Em andamento; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2007 - 2009 | CNPq-Prosul, Latin-America Research Network on Aspect-Oriented Software Development |
| Descrição: Colaboração entre grupos de pesquisas sul-americanos com interesse em programação orientada a aspectos.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Paulo Cesar Masiero - Integrante / Carlos José Pereira de Lucena - Coordenador / Jose Carlos Maldonado - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2006 - 2010 | QualiPSo - Quality Platform for Open Source Software |
| Descrição: Definição e implementação de tecnologias, procedimentos e políticas que apóiem o desenvolvimento de software livre.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. Financiador(es): União Européia - Information Society Technologies - Auxílio financeiro.. |
| 2006 - 2009 | VV&T de Software em Sistemas Espaciais e Reengenharia de Software |
| Descrição: Este Plano de Pesquisa prioriza as atividades definidas no escopo do Projeto PLAVIS. A proposta de trabalho é do Projeto PLAVIS é apresentada na Parte 1 deste documento. O projeto PLAVIS deu origem a uma proposição ao COFFECUB/CAPES de um projeto conjunto com pesquisadores franceses. Uma outra linha de pesquisa investiga processos de reengenharia baseado em linguagens de padrão e em frameworks. No período anterior, no escopo de um doutorado, foi definido um processo de reengenharia denominado PARFAIT e uma estratégia de reuso de teste e evolução de frameworks. Pretendemos também dar ênfase nessa linha de pesquisa.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.. |
| 2005 - 2008 | Utilização de Teste Estrutural para Programa Java em Dispositivos Móveis |
| Descrição: Nos últimos anos, o crescimento de processadores voltados a dispositivos móveis tem sido enorme. Com ele, surge a necessidade da produção de software para tais dispositivos, o que, por sua vez, leva à preocupação com a qualidade, através do desenvolvimento de metodologias específicas para o desenvolvimento de tais softwares. Neste cenário de dispositivos móveis, uma tecnologia que se destaca é J2ME. Ela permite que a linguagem Java seja utilizada no desenvolvimento de software para tais dispositivos, com uma série de vantagens. Entre elas, a habilidade de executar em diferentes plataformas Se, por um lado, novas tecnologias na área de computação trazem benefícios para quem as usa, por outro lado, introduzem novos desafios para desenvolvedores de software e cientistas ligados à Engenharia de Software. Em particular, àqueles envolvidos com a atividade de teste. Esse projeto propõe-se a contribuir com o desenvolvimento de software para dispositivos móveis, baseados na tecnologia Java, através do desenvolvimento de uma ferramenta que permita a aplicação de critérios de teste estruturais nesse ambiente. Dadas as limitações de memória, armazenamento persistente, disponibilidade de conexão de rede, entre outras, os programas para plataformas móveis são desenvolvidos cross platform, em geral, num ambiente desktop. O teste de programas para dispositivos móveis se dá, em geral, em duas etapas distintas, uma no desktop através de sua execução em simuladores ou emuladores e a outra no próprio dispositivo, dado que os simuladores não podem garantir total compatibilidade com o dispositivo alvo. Devido a estas mesmas limitações, é inviável que ferramentas de teste como a JaBUTi sejam executadas no dispositivo móvel. Portanto, a solução que se propõe é a criação de um ambiente em que o teste possa ser executado cross platform.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 1) . Integrantes: Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Jose Carlos Maldonado - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2005 - 2008 | Uso de Programação Orientada a Aspectos para o Desenvolvimento de Frameworks e Apoio ao Teste de Programas |
| Descrição: Aproveitando experiências anteriores do grupo na área de teste de programas, pretende-se investigar como apoiar o teste estrutural de programs orientados a ospectos, com foco na linguagen AspectJ. Esta pequisa proporá novos critérios de teste estrutural baseados no conceito de aspectos e tambem o teste de integração. Pretende-se também investigar como a POA pode apoiar o teste de programas orientados a objetos, com ênfase no teste funcional. Critérios estruturais baseados em modelos de falhas de AspectJ e uma ferramenta de apoio ao teste funcional serão desenvolvidas. Ouotros assuntos relacionados são critérios de modularização de projetos orientados a aspectos e frameworks orientados a aspectos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 6) Doutorado ( 3) . Integrantes: Paulo Cesar Masiero - Coordenador / Reginaldo Ré - Integrante / Antonielly Garcia Rodrigues - Integrante / Marcelo Medeiros Eler - Integrante / Otávio A. L. Lemos - Integrante / Ivan Gustavo Franchin - Integrante / Jose Carlos Maldonado - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.. |
| 2005 - 2007 | Architect+: Ambiente para Co-Projeto de Hardware/Software em Plataformas de FPGAs com Aplicação em Robótica Móvel |
| Descrição: Este projeto pretende fornecer um Ambiente para Co-Projeto de Hardware/Software em Plataformas de FPGAs com Aplicação em Robótica Móvel. A partir de um algoritmo de aplicação em robótica móvel, escrito em linguagem C e/ou Java, o sistema gerará automaticamente um SoC (System-on-a-chip) para acelerar a aplicação. Este SoC será implementado em circuitos reprogramáveis do tipo FPGA (Field Programmable Gate Array) de última geração dos fabricantes Altera e Xilinx. Será utilizada a linguagem Java, com extensões, para a programação do sistema. A arquitetura alvo será constituída por um microprocessador de Bytecodes Java, executando em paralelo com o softcore Processor NIOS II da Altera, e ambos associados a várias unidades de processamento reconfiguráveis (RPUs) desenvolvidas especialmente para a área de robótica. A metodologia para a construção do ambiente utilizará técnicas estado-da-arte em compiladores para computação reconfigurável. Esta metodologia permitirá a pesquisadores e projetistas na área da robótica móvel testar seus algoritmos em sistemas de capacidade de desempenho elevada e, deste modo, explorar novas soluções destes sistemas para uso em tempo-real; um requisito cada vez mais presente na robótica móvel embutida. O projeto incluirá também a pesquisa de novas técnicas de compilação mais apropriadas para o tipo de sistemas em causa. A metodologia proposta será suportada por ferramentas pré-existentes e por novas investigações que serão pesquisadas e desenvolvidas no âmbito deste projeto.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2005 - 2006 | PLAVIS: Platform for software validation & integration on space systems |
| Situação: Concluído; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.. |
| 2004 - 2008 | Memória Virtual de São Carlos |
| Descrição: Projeto Memória Virtual de São Carlos tem como objetivo principal a informatização dos acervos históricos do município de São Carlos e região, possibilitando acessibilidade, organização e preservação do patrimônio histórico e cultural das fazendas e museus da região de São Carlos, integrando e disponibilizando assim, acervos do município dispersos fisicamente por meio da utilização de ferramentas de software livre para a implementação e implantação do sistema de software. Observa-se que o município de São Carlos e região apresentam uma diversidade de acervos de inestimável valor histórico. Esses acervos contêm elementos de caráter diversificado de extrema relevância para o resgate da história do município e inclusive relacionados à própria história do Brasil. Atualmente, esses acervos, bem como grande parte dos acervos brasileiros, encontram-se, muitas vezes, em estado precário de conservação e outros ainda, desconhecidos até mesmo por pesquisadores da área. Verifica-se nos últimos dois anos diversos esforços isolados, tanto público quanto privado, no sentido de organizar os acervos e disponibilizá-los aos interessados. Para isso, no contexto deste projeto será desenvolvido um sistema Web para a gestão integrada de acervos históricos utilizando um ambiente livre de desenvolvimento. Além disso, normas nacionais e internacionais de definição de conjunto de atributos para representação da informação na base de dados serão utilizadas. Esse sistema possibilitará também promover a conscientização sobre a importância de preservar a grande diversidade de acervos históricos. Vale ressaltar que um sistema como o proposto não é encontrado nem como software livre, nem como software proprietário; aqueles identificados possuem funcionalidades ou bases de dados limitadas, o que não está em consonância com os objetivos do projeto. Isso vem reforçar a relevância da disponibilização de sistema desse domínio de aplicação como software livre.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 15) . Integrantes: Elisa Yumi Nakagawa - Integrante / Maria Cristina Ferreira de Oliveira - Integrante / Gláucia Maria Saia Cristianini - Integrante / Juliana de Souza Moraes - Integrante / Lourdes de Souza Moraes - Integrante / Anja Pratschke - Integrante / Juliana Geraldi - Integrante / Luzia Sigoli Fernandes Costa - Integrante / Ana Lúcia Cerávolo - Integrante / Francisco de Sá Neto - Integrante / Jose Carlos Maldonado - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.. |
| 2004 - 2006 | PARFAIT - Investigação e Definição de um Processo de Reengenharia Orientada a Objetos Visando ao Apoio por Computador |
| Descrição: Este projeto de pesquisa tem como objetivo definir um processo de reengenharia baseado em framework e todo um arcabouço de apoio que: a) reduza o tempo da reengenharia, fornecendo alguma forma de reuso nas fases de engenharia reversa (por exemplo, linguagem de padrões organizacional, linguagem de padrões de análise, frameworks, etc) e de engenharia avante (por exemplo, frameworks, requisitos de teste associados aos padrões da linguagem de padrões, etc), e apoio computacional para a maioria das atividades do processo; e b) garanta a qualidade do produto resultante a fim de satisfazer as necessidades dos usuários.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.. |
| 2004 - 2006 | Projeto SAFE (Software Engineering Available for Everyone) |
| Descrição: Desenvolvimento de um framework que integre ferramentas de software livre de apoio às atividadesde engenharia de software.. Situação: Concluído; Natureza: Pesquisa. Integrantes: M.A.S. TURINE - Integrante / Renata P M Fortes - Coordenador / R T V Braga - Integrante / D M B Paiva - Integrante / Marco Aurélio Graciotto Silva - Integrante / Andre Pimenta Freire - Integrante / Alexandre Michetti Manduca - Integrante / Daniel Carnio Junqueira - Integrante / Alexandre Arakaki - Integrante / Jose Carlos Maldonado - Integrante. Financiador(es): Financiadora de Estudos e Projetos - Cooperação.. |
| 2004 - 2005 | Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação |
| Descrição: Este projeto visa a identificar recursos de teste e validação que possam ser empregados no teste de programas Orientado a Objetos (OO). O foco principal tem sido a investigação e o desenvolvimento de critérios e ferramentas, baseados em critérios estrutural e de mutação, para o teste de unidade (intra-método).. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 1) Doutorado ( 1) . Integrantes: Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / Jose Carlos Maldonado - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.. |
| 2003 - 2005 | PLAVIS: Plataforma para Validação e Integração de Software em Sistemas Espaciais |
| Descrição: O objetivo global do projeto PLAVIS é validar a aplicabilidade dos métodos, técnicas e ferramentas desenvolvidos para Testes de Software ( geração, seleção, execução e análise automatizada de testes) em aplicações espaciais. Além disso, será também enfocada a qualidade dos testes, tanto do ponto de vista da cobertura (seja do código, seja da especificação), quanto do ponto de vista da eficácia para encontrar falhas. Os objetivos específicos são: a) Adaptação e aplicação de ferramentas existentes, desenvolvidas em meio acadêmico pelos grupos envolvidos, em estudos de casos reais da área espacial fornecidos pelo INPE; b) Transferência de tecnologia 1. Criação de plataforma integrada no INPE contendo as ferramentas de modelagem, testes e análise de desempenho citadas em (a) . 2. Capacitação da equipe de Engenharia Espacial do INPE no uso das ferramentas. 3. Avaliação dos resultados obtidos com o uso das ferramentas em casos reais. c) Disseminação de resultados 1. Publicação em veículos de qualidade (congressos e periódicos); 2. Teses, dissertações e trabalhos de iniciação científica. 3. Mini-cursos e workshops anuais. Ao final, ter-se-á um conjunto de ferramentas disponíveis no INPE para uso em projetos reais de aplicações espaciais pelos desenvolvedores de sistemas no INPE. Em longo prazo, planeja-se que outras empresas e instituições acadêmicas utilizem a plataforma.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2003 - 2004 | Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação |
| Descrição: Este projeto visa a identificar recursos de teste e validação que possam ser empregados no teste de programas Orientado a Objetos (OO). O foco principal tem sido a investigação e o desenvolvimento de critérios e ferramentas, baseados em critérios estruturia e de mutação, para o teste de unidade (intra-método).. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 1) Doutorado ( 1) . Integrantes: Márcio Eduardo Delamaro - Integrante / Auri Marcelo Rizzo Vincenzi - Integrante / Jose Carlos Maldonado - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2001 - 2007 | PBQP - Programa Brasileiro da Qualidade e Produtividade |
| Descrição: Desenvolvimento de mecanismos de apoio ao ensino e treinamento de conceitos pertinentes ao domínio de teste de software.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Jose Carlos Maldonado - Coordenador. . |
| 2001 - 2003 | Readers II - Collaborative research to develop, validate and package reading techniques for software defect detection |
| Descrição: Definição de uma família de tecnologias de análise de software que deverão ser validadas empiricamente em experimentos controlados e posteriormente empacotadas em pacotes de laboratório de engenharia de software adaptáveis e reusáveis.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Sandra Camargo Pinto Ferraz Fabbri - Integrante / Manoel Gomes de Mendonça Neto - Integrante / G. H. Travassos - Integrante / V. R. Basili - Coordenador / Jose Carlos Maldonado - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.. |
| 2001 - 2002 | Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação |
| Descrição: : Projeto desenvolvido dentro do Projeto Brasileiro de Qualidade de Software (PBQS) do MCT.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Márcio Eduardo Delamaro - Coordenador / Auri Marcelo Rizzo Vincenzi - Integrante / Jose Carlos Maldonado - Integrante. Financiador(es): Universidade de São Paulo - Cooperação / Ministério da Ciência e Tecnologia - Cooperação.. |
| 1999 - 2001 | Métodos em Engenharia de Software, em Soluções Numéricas e Mecânica dos Fluidos e em Singularidades e Sistemas Dinâmicos |
| Descrição: Projeto de Equipamento Multiusuário. Situação: Concluído; Natureza: Pesquisa. Integrantes: Paulo Cesar Masiero - Coordenador / José Alberto Cuminato - Integrante / Maria Aparecida Soares Ruas - Integrante / Alexandre Nolasco de Carvalho - Integrante / Jose Carlos Maldonado - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.. |
| 1996 - 1998 | Métodos e Ferramentas para Apoio ao Desenvolvimento de Software |
| Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 3) . Integrantes: Paulo Cesar Masiero - Integrante / Jose Carlos Maldonado - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.. |
| 1994 - 1997 | Validação e Teste de Sistemas de Operação |
| Descrição: O Projeto Teste e Validação de Sistemas de Operação (PVTSO) está inserido no contexto dos Projetos de Integração da Coordenação Geral (PICs) do programa de Desenvolvimento Estratégico em Informática (DESI-BR), patrocinado pelo PNUD BRA/92/019 (Programa das Nações Unidas para o Desenvolvimento) e supervisionado pelo CNPq/MCT. Este projeto é desenvolvido pelo CPqD/TELEBRÁS, ICMSC-USP (São Carlos) e pelo FEEC/DCA/UNICAMP. O PVTSO visa a estabelecer uma estratégia de teste e validação de software para os projetos do Departamento de Sistemas de Operação (DSO) do Centro de Pesquisa e Desenvolvimento (CPqD), em concordância com as atividades, objetivos e padrões estabelecidos pela Metodologia Unificada para Sistemas Aplicativos (MUSA). O DSO é o responsável pelo desenvolvimento dos sistemas de operação para as empresas operadores do Sistema TELEBRÁS. Além disso, este projeto tem como meta integrar os esforços e recursos humanos existentes em universidades e no CPqD, promovendo a transferência de conhecimentos técnico-científicos, possibilitando o constante aprimoramento de pessoal e de produtos. Visa também a aproximar o ambiente acadêmico ao ambiente de desenvolvimento e às reais necessidades do mercado, fornecendo assim subsídios fundamentais para que as atividades de pesquisa sejam conduzidas de forma a contribuir para a aceleração da capacitação do parque industrial nacional.. Situação: Concluído; Natureza: Extensão. Integrantes: A.N. CRESPO - Integrante / André Villas Boas - Integrante / Edmundo S Spoto - Integrante / Plínio R S Vilela - Integrante / Márcio Eduardo Delamaro - Integrante / Simone do Rocio Senger de Souza - Integrante / Silvia Regina Vergilio - Integrante / Mario Jino - Integrante / Elisa Yumi Nakagawa - Integrante / Marcos Lordello Chaim - Integrante / Jose Carlos Maldonado - Coordenador. Financiador(es): Programas das Nações Unidas para o Desenvolvimento no Brasil - Auxílio financeiro.. |
Membro de corpo editorial
| 2006 - Atual | Periódico: Software Testing, Verification and Reliability |
| 2004 - Atual | Periódico: Empirical Software Engineering |
| 2006 - 2006 | Periódico: IEE Proceedings. Software |
Revisor de periódico
| 2006 - 2006 | Periódico: IEE Proceedings. Software |
Á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: Sistemas de Informação. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação /
Especialidade: Software Básico. |
Idiomas
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Francês | Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco. |
| Espanhol | Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco. |
Prêmios e títulos
| 2008 | Premio Jabuti de Ciências Exatas, Ciências e Tecnologia (terceiro lugar) pelo livro "Introdução ao teste de software", Câmara Brasileira do Livro. |
| 2007 | Destaque Academico 2007, ABDI - Agência Brasileira de Desenvolvimento Industrial. |
| 2004 | Artigo reconhecido como um dos 6 melhores trabalhos do SBES - 2004 (de 133 submetidos e 18 selecionados), SBC - XVIII SBES - Simpósio Brasileiro de Engenharia de Software. |
| 2002 | Primeiro Lugar - Prêmio de Ferramentas: mudelgen: A Tool for Processing Mutant Operator Descriptions (co-autor), SBC - XVI SBES - Simpósio Brasileiro de Engenharia de Software. |
| 2001 | Segundo Lugar - Prêmio de Ferramentas: Uma Ferramenta para Apoiar o Teste e Validação de Especificação Baseadas em Máquinas de Estado Finito (co-autor), SBC - XV SBES - Simpósio Brasileiro de Engenharia de Software. |
| 2001 | Selecionado entre os três melhores e indicado para o Journal of Brazilian Computer Society: MuDEL - A Language and System for Describing and Generating Mutants (co-autor), SBC - XV SBES - Simpósio Brasileiro de Engenharia de Software. |
| 2000 | Primeiro Lugar - Prêmio de Ferramentas: PROTEUM-RS/PN: UMA FERRAMENTA PARA APOIAR A EDIÇÃO, SIMULAÇÃO E VALIDAÇÃO DE REDES DE PETRI BASEADA NO TESTE DE MUTAÇÃO (co-autor), XIV SBES - Simpósio Brasileiro de Engenharia de Software. |
| 1999 | Menção Honrosa - Iniciação Científica, Universidade de São Paulo. |
| 1993 | Segundo Lugar - Prêmio de Ferramentar: PROTEUM:UMA FERRAMENTA DE TESTE BASEADA NA ANALISE DE MUTANTES, VII SBES-Simpósio Brasileiro de Engenharia de Software. |
| 1991 | IV PREMIO NACIONAL DE INFORMATICA PELO TRABALHO, SEI, MODDATA S/A, FUNDACAO ROBERTO MARINHO. |
Produção em C,T & A
| Produção bibliográfica |
| Artigos completos publicados em periódicos |
| 1. |  NAKAGAWA, Elisa Yumi ; Ferrari, Fabiano C. ; SASAKI, M. M. F. ; MALDONADO, J. C. . An Aspect-oriented Reference Architecture for Software Engineering Environments. The Journal of Systems and Software , v. 84, p. 1670-1684, 2011. |
| 2. | BARBOSA, E. F. ; MALDONADO, J. C. . Towards the establishment of IMA-CID: An integrated modeling approach for developing educational modules. Journal of the Brazilian Computer Society (Impresso), v. 17, p. 37, 2011. |
| 3. | FELIZARDO, K. R. ; Mendes, Emília ; MacDonell, Stephen G. ; MALDONADO, J. C. . A Systematic Mapping on the use of Visual Data Mining to Support the Conduct of Systematic Literature Reviews. Journal of Software, v. 1, p. 1-10, 2011. |
| 4. | FELIZARDO, K. R. ; ANDERY, Gabriel F. ; Paulovich, Fernando ; MINGHIM, R. ; MALDONADO, J. C. . A Visual Approach to Assist the Selection Review of Primary Studies in Systematic Reviews. Information and Software Technology, v. 1, p. 1-20, 2011. |
| 5. | SASAKI, M. M. F. ; NAKAGAWA, Elisa Yumi ; MALDONADO, J. C. . Desenvolvimento de uma Ferramenta de Documentacção de Teste de Software: Uma Perspectiva Transversal. REIC. Revista Eletrônica de Iniciação Científica (Online), v. 1, p. 1-13, 2010. |
| 6. | OLIVEIRA JUNIOR, E. A. ; GIMENES, Itana Maria de Souza ; MALDONADO, J. C. . Systematic Management of Variability in UML-based Software Product Lines. Journal of Universal Computer Science (Print), v. 16, p. 2374-2393, 2010. |
| 7. | MALHEIROS, Viviane ; SEAMAN, Carolyn ; MALDONADO, J. C. . Collaborative and Distributed Software Process Improvement (SPI): Strategies and Infrastructure. INFOCOMP (UFLA. Impresso), v. Specia, p. 71-79, 2010. |
| 8. | SIMÃO, A. S. ; Petrenko, A. ; MALDONADO, J. C. . Comparing finite state machine test coverage criteria. IET Software, v. 3, p. 91-105, 2009. |
| 9. | Simão, Adenilso ; Maldonado, José Carlos ; da Silva Bigonha, Roberto . A transformational language for mutant description. Computer Languages, Systems & Structures, v. 35, p. 322-339, 2009. |
| 10. | SIMÃO, A. S. ; Simao, A. ; MALDONADO, J. C. ; BIGONHA, R. S. . A transformational language for mutant description. Computer Languages, Systems & Structures, v. 35, p. 322-339, 2009. |
| 11. | SIMÃO, A. S. ; Simao, A. ; PETRENKO, A. ; MALDONADO, J. C. . Comparing finite state machine test coverage criteria. IET Software (Print), v. 3, p. 91-105, 2009. |
| 12. | NAKAGAWA, E. Y. ; SOUSA, E. P. M. ; OLIVEIRA, M. C. F. ; Murata, Kyoshi de B. ; NASCIMENTO, E. B. ; FUKASE, R. ; ANDERY, G. F. ; BIANCHI, Thiago ; PAZZOTO, F. S. ; MALDONADO, J. C. . Experiência no Desenvolvimento de um Sistema Web Livre no Contexto de um Projeto de Pesquisa Multi-disciplinar. REIC. Revista Eletrônica de Iniciação Científica, v. VIII, p. 1-16, 2008. |
| 13. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . IDEAS04: Architectural requirements as basis to quality of software engineering environments. Revista IEEE América Latina, v. 6, p. 260-266, 2008. |
| 14. | BONIFACIO, A ; MOURA, A ; SIMAO, A ; MALDONADO, J . Towards Deriving Test Sequences by Model Checking. Electronic Notes in Theoretical Computer Science, v. 195, p. 21-40, 2008. |
| 15. | BONIFACIO, A ; MOURA, A ; SIMÃO, A. S. ; Simao, A. ; MALDONADO, J. C. . Towards Deriving Test Sequences by Model Checking. Electronic Notes in Theoretical Computer Science, v. 195, p. 21-40, 2008. |
| 16. | CAGNIN, M. I. ; BRAGA, R. T. V. ; GERMANO, F. S. ; PENTEADO, R. D. ; MALDONADO, J. C. . A Version Control Tool for Framework-based Applications. CLEI Electronic Journal, v. 10, p. 7-13, 2007. |
| 17. | LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Control and Data Flow Structural Testing Criteria for Aspect-Oriented Programs. Journal of Systems and Software, New Yoork, v. 80, n. 6, p. 862-882, 2007. |
| 18. | CRESPO, A. N. ; JINO, M. ; PASQUINI, A. ; MALDONADO, J. C. . A binomial software reliability model based on coverage of structural testing criteria. Empirical Software Engineering, v. 10, p. 81-104, 2007. |
| 19. | LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; MASIERO, P. C. . Control and data flow structural testing criteria for aspect-oriented programs. The Journal of Systems and Software, v. 80, p. 862-882, 2007. |
| 20. | VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. ; WONG, W. E. . Establishing structural testing criteria for Java bytecode. Software, Practice & Experience, v. 36, n. 14, p. 1513-1541, 2006. |
| 21. | MALDONADO, J. C. ; CARVER, J. ; SHULL, F. ; FABBRI, S. C. P. .F. ; DÓRIA, E. S. ; MARTIMIANO, LA.F. ; MENDONÇA, M. G. ; BASILI, V. R. . Perspective-Based Reading: A Replicated Experiment Focused on Individual Reviewer Effectiveness. Empirical Software Engineering, v. 11, n. 1, p. 119-142, 2006. |
| 22. | VINCENZI, A. M. R. ; SIMÃO, A. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Muta-Pro: Towards the Definition of a Mutation Testing Process. Journal of the Brazilian Computer Society, v. 12, p. 47-61, 2006. |
| 23. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. ; SOARES, I. W. . Constraint Based Structural Testing Criteria. Journal of Systems and Software, v. 79, n. 6, p. 756-771, 2006. |
| 24. | VINCENZI, A. M. R. ; SIMÃO, A. S. ; Simão, A. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Muta-Pro: Towards the definition of a mutation testing process. Journal of the Brazilian Computer Society (Impresso), v. 12, p. 49-61, 2006. |
| 25. | VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. ; WONG, W. E. . Establishing structural testing criteria for Java bytecode. Software, Practice & Experience (Print), (aceito para publicação), v. 36, p. 1513-1541, 2006. |
| 26. | VINCENZI, A. M. R. ; SIMÃO, A. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Muta-Pro: Towards the Definition of a Mutation Testing Process. Journal of the Brazilian Computer Society (Impresso), (aceito para publicação), v. 12, p. 47-61, 2006. |
| 27. | MALDONADO, J. C. ; Carver, Jeff ; Shull, Forrest ; Fabbri, Sandra C. P. F. ; Dória, Emerson S. ; Martimiano, Luciana A. F. ; Mendonça, M. G. ; Basili, Victor R. . Perspective-Based Reading: A Replicated Experiment Focused on Individual Reviewer Effectiveness. Empirical Software Engineering, v. 11, n. 1, p. 119-142, 2006. |
| 28. | FELIZARDO, K. R. ; FABBRI, Sandra ; DOMINGUES, André ; VISCONTI, Marcello ; MALDONADO, J. C. . COTEST - Code Testing Experiment Supporting Tool. 5th Acm Ieee International Symposium On Empirical Software Engineering, Rio de Janeiro - Brasil, 2006. |
| 29. | VINCENZI, A. M. R. ; MALDONADO, J. C. ; WONG, E. ; DELAMARO, M. E. . Coverage Testing of Java Programs and Components. Journal Of Science Of Computer Programming, v. 1, p. 211-230, 2005. |
| 30. | WONG, E. W. ; SUGETA, T. ; QI, Y. ; MALDONADO, J. C. . Smart Debugging Software Architectural Design in SDL. Journal of Systems and Software, v. 76, p. 15-28, 2005. |
| 31. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Experimental Results from Application of Fault-Sensitive Testing Strategies. Revista de Informática Teórica e Aplicada, v. 12, n. 1, p. 61-82, 2005. |
| 32. | VINCENZI, A. M. R. ; MALDONADO, J. C. ; WONG, W. E. ; DELAMARO, M. E. . Coverage Testing of Java Programs and Components. Science of Computer Programming (Print), USA, v. 56, n. 1-2, p. 211-230, 2005. |
| 33. | SHULL, F. ; MENDONÇA NETO, M. G. ; BASILI, V. R. ; CARVER, J. ; MALDONADO, J. C. ; FABBRI, S. C. F. P. ; TRAVASSOS, G. H. ; OLIVEIRA, M. C. F. . Knowledge-Sharing Issues in Experimental Software Engineering. Empirical Software Engineering An Empirical Journal, v. 9, n. 1, p. 111-137, 2004. |
| 34. | CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . A Debugging Strategy Based on Requirements of Testing. Journal Of Software Maintenance And Evolution, v. 16, n. 4, p. 277-308, 2004. |
| 35. | Shull, Forrest ; Mendonça, M. G. ; Basili, Victor R. ; Carver, Jeff ; MALDONADO, J. C. ; Fabbri, Sandra C. P. F. ; Travassos, Guilherme H. ; Oliveira, Maria Cristina F. de . Knowledge-Sharing Issues in Experimental Software Engineering. Empirical Software Engineering, v. 9, p. 111-137, 2004. |
| 36. | WONG, W. E. ; SUGETA, T. ; MALDONADO, J. C. . Coverage Testing Software Architectural Design in SDL. Computer Networks, v. 42, p. 359-374, 2003. |
| 37. | SIMÃO, A. S. ; Simao, A. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; SANTANA, A. C. L. . A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electronic Journal, Chile, v. 6, n. 1, p. 1, 2003. |
| 38. | SIMÃO, A. S. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; SANTANA, A. C. L. . A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters. CLEI Electronic Journal, v. 6, p. 7, 2003. |
| 39. | FELIZARDO, K. R. ; FABBRI, Sandra C P F ; MALDONADO, J. C. . COTEST - Code Testing Experiment Support Tool: Uma ferramenta de apoio à Replicação de experimentos em nível de código fonte. Clei El Centro Latino Americano de Estudios En Informática, TCL 225, v. 1, p. 115-117, 2003. |
| 40. | SIMÃO, A. S. ; SUGETA, T. ; MALDONADO, J. C. ; MONARD, M. C. . Prolog & TXL: A Case Study for Prototyping Structural Testing Supporting Tools. Conferência Latino Americana de Informática Eletronic Journal, v. 5, 2002. |
| 41. | SIMÃO, A. S. ; MALDONADO, J. C. . MuDeL: a Language and a System for Describing and Generating Mutants. Journal of the Brazilian Computer Society, Porto Alegre, RS, Brasil, v. 8, p. 73-86, 2002. |
| 42. | VINCENZI, A. M. R. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. ; DELAMARO, M. E. ; SANCHES, Rosely . Bayesian-learning based guidelines to determine equivalents mutants. International Journal of Software Engineering and Knowledge Engineering, v. 12, n. 6, p. 1-15, 2002. |
| 43. | SIMÃO, A. S. ; Simao, A. ; MALDONADO, J. C. . MuDeL: a Language and a System for Describing and Generating Mutants. Journal of the Brazilian Computer Society (Impresso), v. 8, n. 1, p. 73-86, 2002. |
| 44. | SIMÃO, A. S. ; Simao, A. ; SUGETA, T. ; MALDONADO, J. C. ; MONARD, M. C. . Prolog & TXL: A Case Study for Prototyping Structural Testing Supporting Tools. Clei Eletronic Journal, v. 5, n. 1, p. 1-10, 2002. |
| 45. |  DELAMARO, M. E. ; MALDONADO, J. C. ; MATHUR, A. . Interface Mutation: An Approach for Integration Testing. Ieee Transaction On Software Engineering, v. 27, n. 3, p. 228-247, 2001. |
| 46. | BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Toward the Determination of Sufficient Mutant Operators for C. Software Testing Verification And Reliability Journal, v. 11, n. 2, p. 113-136, 2001. |
| 47. | DELAMARO, M. E. ; MALDONADO, J. C. ; PASQUINI, A. ; MATHUR, A. . Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. Journal Of Empirical Software Engineering, v. 6, n. 2, p. 111-142, 2001. |
| 48. | VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint based Criteria: An Approach for Test Case Selection in the Structural Testing. Journal Of Electronic Testing, v. 17, n. 2, p. 175-183, 2001. |
| 49. | VINCENZI, A. M. R. ; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria. Software Testing Verification And Reliability Journal Edição Especial, v. 11, n. 4, p. 249-268, 2001. |
| 50. | VINCENZI, A. M. R. ; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria. Software Testing, Verification and Reliability, v. 11, n. 4, p. 249-268, 2001. |
| 51. | SOUZA, S. R. S. S. ; MALDONADO, J. C. ; FABBRI, S. C. F. P. ; SOUZA, V. L. . Mutation Testing Applied to Estelle Specifications. Software Quality Journal, v. 8, n. 4, p. 285-301, 2000. |
| 52. | SANT'ANA, D. A. ; MALDONADO, J. C. ; FABBRI, S. C. F. P. . Teste e Validação de Sistemas Reativos. Revista de Iniciação Científica do Cetepe Eesc Usp, São Carlos-SP, n. 2, p. 7-10, 2000. |
| 53. | CRESPO, A. N. ; JINO, M. ; PASQUINI, A. ; MALDONADO, J. C. . Relationships Between Code Coverage of the Potential-Uses Criteria and Software Reliability. Revista de Ciências Exatas da Universidade São Francisco, v. 18, p. 21-37, 2000. |
| 54. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . La Influencia Del Número de Predicados En La Ejecutabilidade de Un Camino En El Contexto de Prueba Basada En Flujo de Dados. Revista Informacion Tecnologia, La Serena - Chile, p. 171-178, 1997. |
| 55. | VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Program Graph Visualization. Software Practice & Experience, v. 27, n. 11, p. 1245-1262, 1997. |
| 56. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Proteum/FSM:Uma Ferramenta de Teste Baseada na Análise de Mutantes para Apoiar a Validação de Especificações em Máquinas de Estado Finito. Revista Multiciência, SÃO CARLOS - SP, v. 1, n. 1, p. 66-77, 1996. |
| 57. | MALDONADO, J. C. ; DELAMARO, M. E. ; CHAIM, M. L. ; JINO, M. . Uma Visão Sobre a Análise de Mutantes e o Ambiente de Teste Proteum. Revista do Instituto de Informática, CAMPINAS - SP, v. 3, n. 1, p. 11-23, 1995. |
| 58. | CANGUSSU, J. ; PENTEADO, R. A. D. ; MASIERO, P. C. ; MALDONADO, J. C. . Validation of Statecharts Based on Programmed Execution. Journal of Computing and Information, Ontario - Canadá, v. 1, n. 2, 1995. |
| 59. | MALDONADO, J. C. ; DELAMARO, M. ; CHAIM, Marcos Lordello ; JINO, Mario . Uma Visão sobre Análise de Mutantes e o Ambiente de Teste Proteum. Revista de Informática da Puccamp, Campinas, SP, v. 3, n. 1, p. 11-23, 1995. |
| 60. | MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Poke-Tool - Uma Ferramenta Para Suporte à Aplicação dos Critérios Potenciais Usos Para Teste de Programas. Revista do Instituto de Informática, CAMPINAS - SP, v. 2, n. 1, p. 28-39, 1994. |
| 61. | CANGUSSU, J. ; MASIERO, P. C. ; MALDONADO, J. C. . Execução Programada de Statecharts. Revista Brasileira de Computação, RIO DE JANEIRO - RJ, p. 3-14, 1994. |
| 62. | MASIERO, P. C. ; MALDONADO, J. C. ; BOAVENTURA, I. . A Reachability Tree For Statecharts And Analysis Of Some Properties. Information and Software Technology, v. 36, n. 10, p. 615-624, 1994. |
| 63. | MALDONADO, J. C. ; CHAIM, Marcos Lordello ; JINO, Mario . POKE-TOOL - Uma ferramenta para suporte à aplicação dos critérios potenciais usos para teste de programas. Revista de Informática da Puccamp, Campinas, SP, v. 2, n. 1, p. 28-39, 1991. |
| Livros publicados/organizados ou edições |
| 1. | Maldonado, José Carlos (Org.) . Testing Software and Systems. 1. ed. Softcover, 2010. v. 1. 313 p. |
| 2. | DELAMARO, M. E. (Org.) ; MALDONADO, J. C. (Org.) ; JINO, M. (Org.) . Introdução ao teste de software. 1. ed. Rio de Janeiro: Campus, 2007. v. 1. 394 p. |
| 3. | ROCHA, A. R. C. (Org.) ; MALDONADO, J. C. (Org.) ; WEBER, K. C. (Org.) . Qualidade de Software - Teoria e Prática. 1. ed. São Paulo: Prentice Hall, 2001. v. 1. 303 p. |
| 4. | CEREDA, R. L. D. ; MALDONADO, J. C. . Introdução Ao Fortran 77 para Microcomputadores. 1. ed. SÃO PAULO - BRASIL: MCGRAW-HILL, 1987. |
| Capítulos de livros publicados |
| 1. | MAGOULAS, G. D. ; Maldonado, José Carlos . Collaborative Development of Educational Modules: A Need for Lifelong Learning. E-Infrastructures and Technologies for Lifelong Learning: Next Generation Environments. Londres: IGI Global, 2010, v. 1, p. -. |
| 2. | FABBRI, Sandra .C P. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Teste Funcional. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 9-26. |
| 3. | BARBOSA, E. F. ; CHAIM, M. L. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; JINO, M. ; MALDONADO, J. C. . Teste Estrutural. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 47-75. |
| 4. | DELAMARO, M. E. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Teste de Mutação. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 77-118. |
| 5. | VINCENZI, A. M. R. ; DOMINGUES, A. L. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Teste Orientado a Objetos e de Componentes. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 119-174. |
| 6. | SOUZA, S. R. S. S. ; FABBRI, Sandra .C P. F. ; BARBOSA, E. F. ; CHAIM, M. L. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; JINO, M. ; MALDONADO, J. C. . Estudos Teóricos e Experimentais. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 251-268. |
| 7. | CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . Depuração. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao Teste de Software. 1 ed. Rio de Janeiro: Campus, 2007, v. 1, p. 293-313. |
| 8. | DELAMARO, M. E. ; MALDONADO, J. C. ; JINO, M. . Conceitos básicos. In: Delamaro, Marcio; Maldonado, José Carlos; Jino, Mario. (Org.). Introdução ao teste de software. Rio de Janeiro: Campus, 2007, v. 1, p. 1-7. |
| 9. | MASIERO, P. C. ; LEMOS, O. A. L. ; FERRARI, F. C. ; MALDONADO, J. C. . Teste de Software Orientado a Objetos e a Aspectos: Teoria e Prática. In: Karin Breitman; Ricardo Anido. (Org.). Atualizações em Informática. Rio de Janeiro: PUC-Rio, 2006, v. 1, p. 13-72. |
| 10. | VINCENZI, A. M. R. ; MALDONADO, J. C. ; DELAMARO, M. E. ; SPOTO, E. S. ; WONG, W. E. . Software Baseado em Componentes: Uma Revisão sobre Teste. In: Itana Maria de Souza Gimenes; Elisa Hatsue Moriya Huzita. (Org.). Desenvolvimento Baseado em Componentes. Rio de Janeiro: , 2005, v. 1, p. 233-280. |
| 11. | VINCENZI, A. M. R. ; MALDONADO, J. C. ; DELAMARO, M. E. ; SPOTO, E. S. ; WONG, W. E. . Component-Based Software: An Overview of Testing. In: A. Cechich; M. Piattini; A. Vallecillo. (Org.). Component-Based Software Quality: Methods and Techniques. New York, NY: Springer-Verlag, 2003, v. 2693, p. 99-127. |
| 12. | SHULL, F. ; CARVER, J. ; TRAVASSOS, G. H. ; MALDONADO, J. C. ; CONRADI, R. ; BASILI, V. R. . Replicated Studies: Building a Body of Knowledge about Software Reading Techniques. In: Natalia Juristo; Ana M. Moreno. (Org.). Empirical Software Engineering. River Edge, NJ: World Scientific Publishing Co. Pte. Ltd., 2003, v. 12, p. 39-84. |
| 13. | MALDONADO, J. C. ; SANCHES, Rosely ; FABBRI, S. C. F. P. . Parte 1: Processo de Software (Sessões: 3.4 Verificação e validação de software; 3.5 Teste de software) . In: ROCHA, A.R.C.; MALDONADO, J.C.; WEBER, K. C.. (Org.). Qualidade de Software: Teoria e Prática. 1 ed. Porto Alegre: SBC, 2001, v. 1, p. 66-84. |
| 14. | MALDONADO, J. C. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. In: José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi; Ellen Francine Barbosa; Márcio Eduardo Delamaro; Simone do Rocio Senger de Souza. (Org.). VI ESCOLA REGIONAL DE INFORMÁTICA. 1 ed. BLUMENAU-SC, CURITIBA-PR, PELO: "", 1998, v. , p. -. |
| 15. | WONG, E. ; MATHUR, A. P. ; MALDONADO, J. C. . Mutation versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness. In: Lee, M.; et al.. (Org.). Software Quality and Productivity: Theory, Practice, Education and Training. Londres: Chapman & Hall, 1995, v. , p. 258-265. |
| Textos em jornais de notícias/revistas |
| 1. | MALDONADO, J. C. ; Almeida, V. F. . Computação e a infraestrutura. Estado de Minas - Diários Associados, Minas Gerais, p. 11 - 11, 24 abr. 2009. |
| 2. | MALDONADO, J. C. ; CANZIAN, F. . Nova Máquina da Microtec Apresenta Bom Desempenho. Folha de São Paulo, p. 1, 26 maio 1993. |
| 3. | CESÁRIO, L. ; MALDONADO, J. C. . Antivirus para Redes tem Bom Desempenho. Folha de São Paulo, p. 12, 27 jan. 1993. |
| Trabalhos completos publicados em anais de congressos |
| 1. | FERRARI, Fabiano Cutigi ; LEMOS, O. A. L. ; MASIERO, P. C. ; Maldonado, José Carlos . An Exploratory Study of Fault-Proneness in Evolving Aspect-Oriented Programs. In: 32nd International Conference on Software Engineering, 2010, Cape Town. Proceedings of the 32nd International Conference on Software Engineering, 2010. v. 1. p. 65-74. |
| 2. | FERRARI, Fabiano Cutigi ; Nakagawa, Elisa Yumi ; Maldonado, José Carlos . Automating the Mutation Testing of Aspect-Oriented Java Programs. In: 5th International Workshop Automation of Software Test, 2010, Cape Town. Proceedings of the 5th International Workshop Automation of Software Test. CApe Town : ACM Press, 2010. v. 1. p. 51-58. |
| 3. | FERRARI, Fabiano Cutigi ; HÖHN, Erika Nina ; MALDONADO, J. C. . Testing Aspect-Oriented Software: Evolution and Collaboration through the Years. In: Latin American Workshop on Aspect-Oriented Software Development - LA-WASP 2009, 2009, Fortaleza - CE. Proceedings of LA-WASP 2009, 2009. |
| 4. | DUSSE, F. ; SIMÃO, A. S. ; MALDONADO, J. C. . Análise de Mutantes Aplicada a Critérios de Cobertura de Teste a partir de MEFs. In: III Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SBMF/SAST, 2009, Porto Alegre, RS. Anais do III Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009. v. 1. p. 1-10. |
| 5. | NAKAGAWA, E. Y. ; SASAKI, M. M. F. ; MALDONADO, J. C. . An Aspect-Oriented Framework for Software Documentation: An Example on Testing. In: XII Iberoamerican Conference on Requirements Engineering and Software Environments (IDEAS 2009), 2009, Medellin. Proceedings of XII Iberoamerican Conference on Requirements Engineering and Software Environments (IDEAS 2009), 2009. p. 225-238. |
| 6. | NAKAGAWA, E. Y. ; MARTINS, R. M. ; FELIZARDO, K. R. ; MALDONADO, J. C. . Towards a Process to Design Aspect-Oriented Reference Architectures. In: XXXV Latin American Informatics Conference (CLEI 2009), 2009, Pelotas, RS. Proceedings of the XXXV Latin American Informatics Conference (CLEI 2009), 2009. p. 1-10. |
| 7. | ABE, V. A. ; DELAMARO, M. E. ; MALDONADO, J. C. . Uma Revisão Sistemática sobre a Atividade de Teste de Software em Métodos Ágeis. In: XXXV Conferencia Latinoamericana de Informática (XXXV CLEI), 2009, Pelotas, RS. Anais da XXXV Conferencia Latinoamericana de Informática (XXXV CLEI), 2009. |
| 8. | Araújo, R. F. ; DURELLI, V. H. ; DELAMARO, M. E. ; MALDONADO, J. C. . Geração de Dados de Teste a Partir de Modelos de Sistemas Embarcados: Uma Revisão Sistemática. In: 3rd Brazilian Workshop on Systematic and Automated Software Testing (SBMF 2009 - SAST), 2009, Gramado, RS. Proceedings of the 3rd Brazilian Workshop on Systematic and Automated Software Testing (SBMF 2009 - SAST), 2009. v. 1. |
| 9. | FELIZARDO, K. R. ; MARTINS, R. M. ; MALDONADO, J. C. ; MINGHIM, R. . Context Based Visual Mining of Document Collections. In: II International Workshop on Web and Text Intelligence (WTI 2009), 2009, São Carlos, SP. Proceedings of the II International Workshop on Web and Text Intelligence (WTI 2009), 2009. |
| 10. | Malheiros, V. ; Seaman, Carolyn ; Maldonado, Jose Carlos . An approach for collaborative and distributed software process improvement (SPI). In: Workshop on Distributed Software Development - WDDS, 2009, Fortaleza. Proceedings of the Workshop on Distributed Software Development. Fortaleza - CE : UFC, 2009. p. 1-10. |
| 11. | CAMPANHA, D. N. ; LEMOS, O. A. L. ; BARBOSA, E. F. ; Maldonado, Jose Carlos . Reutilização de Conjuntos de Teste: Um Estudo no domínio de Algoritmos de Ordenação. In: 6th Experimental Software Engineering Latin American Workshop - ESELAW, 2009, São Carlos, SP. Proceedings of 6th Experimental Software Engineering Latin American Workshop, 2009. p. 114-123. |
| 12. | FELIZARDO, K. R. ; ANDERY, G. F. ; Maldonado, Jose Carlos ; MINGHIM, R. . Uma abordagem visual para auxiliar a revisão da seleção de estudos primários na revisão sistemática. In: 6th Experimental Software Engineering Latin American Workshop - ESELAW, 2009, São Carlos, SP. Proceedings of 6th Experimental Software Engineering Latin American Workshop, 2009. p. 83-92. |
| 13. | FERRARI, Fabiano Cutigi ; MALDONADO, J. C. ; RASHID, Awais . Mutation Testing for Aspect-Oriented Programs. In: International Conference on Software Testing, Verification and Validation (ICST'2008), 2008, Lillehammer, Norway. Proceedings of the 1st International Conference on Software Testing, Verification and Validation (ICST'2008). Washington, DC - USA : IEEE Computer Society, 2008. |
| 14. | FERRARI, Fabiano Cutigi ; Maldonado, Jose Carlos . Experimenting with a Multi-Iteration Systematic Review in Software Engineering. In: Experimental Software Engineering Latin America Workshop - ESELAW, 2008, Salvador. Proceedings of the 5th Experimental Software Engineering Latin America Workshop, 2008. |
| 15. | BARBOSA, E. F. ; SOUZA, S. R. S. S. ; Maldonado, Jose Carlos . An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing. In: 21st Conference on software Engineering education and training (CSEE&T 2008), 2008, Charleston. Proceedings of 21st Conference on software Engineering education and training, 2008. v. 1. p. 189-196. |
| 16. | BARBOSA, E. F. ; SILVA, M. A. G. ; CORTE, Camila Kozlowski Della ; MALDONADO, J. C. . Integrated Teaching of Programming Foundations and Software Testing. In: 38th Frontiers in Education Conference - FIE, 2008, Saratoga Springs, NY.
Frontiers in Education Conference, 2008. FIE 2008. 38th Annual, 2008. |
| 17. | BARBOSA, E. F. ; NAKAGAUWA, E. Y. ; RIEKSTIN, A. C. ; MALDONADO, J. C. . Ontology-based development of testing related tools. In: Conference on Software Engineering and Knowledge Engineering (SEKE 2008), 2008, San Francisco, CA. Proceedings of the 20th International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008. p. 697-702. |
| 18. | BARBOSA, E. F. ; MALDONADO, J. C. . Specialization and instantiation aspects of a standard process for developing educational modules. In: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), 2008, Kassandra (Chalkidiki).
Track Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer, 2008. |
| 19. | DELAMARO, M. E. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Evaluating Structural Criteria for Testing Mobile Code. In: International Conference on Evaluation and Assessment in Software Engineering - EASE, 2008, Bari. 12th International Conference on Evaluation and Assessment in Software Engineering, 2008. |
| 20. | GARCIA, Rogério Eduardo ; HÖHN, Erika Nina ; BARBOSA, E. F. ; MALDONADO, J. C. . An ontology for experiments on software engineering. In: Conference on Software Engineering and Knowledge Engineering (SEKE 2008), 2008, San Francisco, CA. Proceedings of the 20th Conference on Software Engineering and Knowledge Engineering, 2008. |
| 21. | MENDONÇA NETO, M. G. ; MALDONADO, J. C. ; OLIVEIRA, M. C. F. ; CARVER, J. ; FABBRI, S. C. F. P. ; TRAVASSOS, G. H. ; HÖHN, Erika Nina ; BASILI, V. R. . A Framework for Software Engineering Experimental Replications. In: International Conference on Engineering of Computer-Based Systems - ECBS 2008, 2008, Belfast. Proceedings of the 15th IEEE International Conference on Engineering of Computer-Based Systems, 2008. |
| 22. | NAKAGAWA, E. Y. ; FUKASE, R. ; FISCHER, P. ; OLIVEIRA, M. C. F. ; MALDONADO, J. C. . Disseminação de Informações via Dados Livres. In: IX Workshop de Software Livre (WSL 2008), 2008, Porto Alegre. Anais do Workshop de Software Livre (WSL 2008), 2008. v. 1. p. 1-6. |
| 23. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . Requisitos Arquiteturais como Base para a Qualidade de Ambientes de Engenharia de Software. In: XI Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2008), 2008, Recife. Anais do XI Iberoamerican Workshop on Requirements Engineering and Software Environments, 2008. p. 1-14. |
| 24. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . Towards Aspects as an Integration Mechanism in Software Engineering Environments. In: IASTED SEA 2008 - 9th IASTED International Conference on Software Engineering and Applications, 2008, Orlando. IASTED SEA 2008 (9th IASTED International Conference on Software Engineering and Applications), 2008. p. 1-6. |
| 25. | OLIVEIRA JUNIOR, Edson Alves de ; GIMENES, I. M. S. ; MALDONADO, J. C. . A Metric Suite to Support Software Product Line Architecture Evaluation. In: XXXIV Conferência Latinoamericana de Informática (CLEI), 2008, Santa Fé. Proceedings of the XXXIV Conferência Latinoamericana de Informática, 2008. p. 498-498. |
| 26. | PRADO, M. P. ; SOUZA, S. R. S. S. ; MALDONADO, J. C. . Um Conjunto de Artefatos para Apoio à Definição de Estudos Experimentais em Teste de Software. In: 5th Experimental Software Engineering Latin American Workshop -ESELAW, 2008, Salvador. Proceedings of the 5th Experimental Software Engineering Latin American Workshop, 2008. |
| 27. | Malheiros, V. ; REHEM, S. ; MALDONADO, J. C. . Atabaque: uma contribuição de sucesso na evolução de processos. In: VII Simpósio Brasileiro de Qualidade de Software (SBQS), 2008, Florianópolis. Anais do VII Simpósio Brasileiro de Qualidade de Software (SBQS), 2008. |
| 28. | SILVA, M. A. G. ; BORGES, V. A. ; BARBOSA, E. F. ; MALDONADO, J. C. . Novas tendências no ensino de engenharia de software: um estudo de caso no domínio de teste de software. In: I Fórum de Educação em Engenharia de Software (FEES) - SBES 2008, 2008, Campinas. Proceedings of the XXII Simpósio Brasileiro de Engenharia de Software (SBES 2008), 2008. |
| 29. | NAKAGAWA, E. Y. ; Murata, Kyoshi de B. ; ANDERY, G. F. ; MORELLI, L. B. ; MALDONADO, J. C. . Software Architecture Relevance in Open Source Software Evolution: A Case Study. In: IEEE International Workshop on Quality and Architectural Concerns in Open Source Software (QACOS 2008), 2008, Turku. Proceedings of theIEEE International Workshop on Quality and Architectural Concerns in Open Source Software (QACOS 2008), 2008. |
| 30. | MALDONADO, J. C. ; NAKAGAWA, E. Y. ; SIMÃO, A. S. . Addressing Separation of Concerns in Software Engineering Environments. In: IASTED International Conference on Software Engineering, 2007, Innsbruck. Proceedings of IASTED International Conference on Software Engineering, 2007. p. 1-6. |
| 31. | PINHO, Viviane Malheiros de ; HÖHN, Erika Nina ; PINHO, Roberto. ; MENDONÇA NETO, M. G. ; MALDONADO, J. C. . A Visual Text Mining approach for Systematic Reviews. In: International Symposium on Empirical Software Engineering and Measurement (ESEM), 2007, Madrid.
Proceedings of the 1st ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2007. p. 245-254. |
| 32. | NAKAGAWA, E. Y. ; SIMÃO, A. S. ; FERRARI, Fabiano Cutigi ; MALDONADO, J. C. . Towards a Reference Architecture for Software Testing Tools. In: Nineteenth International Conference on Software Engineering and Knowledge Engineering SEKE'2007, 2007, Boston, USA. Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering SEKE'2007, 2007. p. 157-162. |
| 33. | DELAMARO, M. E. ; NARDI, Paulo Augusto ; LEMOS, O. A. L. ; SPOTO, E. S. ; MALDONADO, J. C. ; MASIERO, P. C. ; VINCENZI, A. M. R. . Static Analysis of Java Bytecode for Domain-specific Software Testing. In: Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa, PB. Anais do XXI Simpósio Brasileiro de Engenharia de Software, 2007. p. 325-341. |
| 34. | SIMÃO, A. S. ; PETRENKO, Alexandre ; MALDONADO, J. C. . Experimental Evaluation of Coverage Criteria for FSM-based Testing. In: Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa, PB. Anais do XXI Simpósio Brasileiro de Engenharia de Software, 2007. p. 359-374. |
| 35. | BARBOSA, E. F. ; SOUZA, S. R. S. ; DOMINGUES, A. L. S. ; CHAN, Al. ; HÖHN, Erika Nina ; MALDONADO, J. C. . Uma Experiência no Ensino de Inspeção e Teste de Software. In: Simpósio Brasileiro de Qualidade de Software, 2007, Porto de Galinhas, PE. Anais do VI Simpósio Brasileiro de Qualidade de Software, 2007. p. 309-324. |
| 36. | CHAN, Al. ; CAGNIN, M. I. ; MALDONADO, J. C. ; BRAGA, R. T. V. . Uma proposta de ambiente para apoiar a utilização de padrões de software e requisitos de teste no desenvolvimento de aplicações. In: Conferência Latino-americana em Linguagens de Padrões para Programação, 2007, Porto de Galinhas, PE. Proceedings of SugarLoafPLoP 2007, 2007. p. 235-250. |
| 37. | GARCIA, Rogério Eduardo ; OLIVEIRA, M. C. F. ; MALDONADO, J. C. . ESEIn-virtuo: a tool for running In-virtuo Experimental Studies.. In: IV Experimental Software Engineering Latin American Workshop - ESELAW, 2007, São Paulo. Proceedings of IV Experimental Software Engineering Latin American Workshop, 2007. p. 51-56. |
| 38. | CORTE, Camila Kozlowski Della ; RIEKSTIN, A. C. ; SILVA, M. A. G. ; BARBOSA, E. F. ; MALDONADO, J. C. . PROGTEST: Ambiente para submissão e avaliação de trabalhos práticos. In: Workshop sobre Ambientes de Apoio à Aprendizagem de Algoritmos e Programação - SBIE 2007, 2007, São Paulo. Anais do XVIII Simpósio Brasileiro de Informática na Educação (SBIE 2007), 2007. |
| 39. | BONIFÁCIO, A. L. ; SIMÃO, A. S. ; MOURA, A. ; MALDONADO, J. C. . Conformance Testing by Model Checking Timed Extended Finite State Machines.. In: Simpósio Brasileiro de Métodos Formais, 2006, Natal. Simpósio Brasileiro de Métodos Formais, 2006. v. 1. p. 43-58. |
| 40. | DELAMARO, M. E. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . A Strategy to Perform Coverage Testing of Mobile Applications. In: First Workshop on Automation of Software Test - AST'06, 2006, Shangai. 28th International Conference on Software Engineering (ICSE'06). New York : ACM Press, 2006. v. 1. p. 118-124. |
| 41. | CORTE, C. K. D. ; BARBOSA, E. F. ; MALDONADO, J. C. . Estabelecimento de Mecanismos de Apoio ao Ensino Integrado de Fundamentos de Programação e Teste de Software. In: XIV Workshop sobre Educação em Computação, 2006. XIV Workshop sobre Educação em Computação. v. 1. p. 1-1. |
| 42. | NAKAGAWA, E. Y. ; CRUZ, N. F. ; MALDONADO, J. C. . Relevância dos Requisitos no Desenvolvimento de Software Livre. In: VII Workshop Software Livre, 2006, Porto Alegre. VII Fórum Internacional Software Livre, 2006. v. 1. p. 171-176. |
| 43. | BARBOSA, E. F. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. . Towards the Establishment of an Ontology of Software Testing. In: Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'06), 2006, San Francisco. Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'06), 2006. v. 1. p. 522-525. |
| 44. | BARBOSA, E. F. ; MALDONADO, J. C. . An Integrated Content Modeling Approach for Educational Modules. In: FIP International Conference on Education for the 21st Century, 2006, Santiago. FIP International Conference on Education for the 21st Century. v. 1. p. 17-26. |
| 45. | BARBOSA, E. F. ; MALDONADO, J. C. . A Standard Process for Developing Educational Modules. In: 6th Annual Frontiers in Education Conference, 2006, San Diego. 6th Annual Frontiers in Education Conference, 2006. v. 1. p. 1-1. |
| 46. | MALDONADO, J. C. ; BARBOSA, E. F. . Establishing a Mutation Testing Educational Module based on IMA-CID. In: 2nd Workshop on Mutation Analysis (Mutation 2006), 2006, Raleigh. 2nd Workshop on Mutation Analysis (Mutation 2006), 2006. v. 1. p. 1-1. |
| 47. | CAMARGO, V. V. ; HÖHN, E. N. ; MALDONADO, J. C. . Um estudo comparativo do tempo de composição de um framework orientado a aspectos de persistência e de um framework orientado a objetos de persistência. In: XX Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis. XX Simpósio Brasileiro de Engenharia de Software, 2006. v. 1. p. 193-208. |
| 48. | MALDONADO, J. C. ; FERRARI, F. C. . Uma Revisão Sistemática sobre Teste de Software Orientado a Aspectos. In: III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP'2006) - realizado em conjunto com o XX Simpósio Brasileiro de Engenharia de Software (SBES'2006), 2006, Florianópolis. III Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos (WASP'2006), 2006. v. 1. p. 101-110. |
| 49. | GOMES, F. D. ; CAGNIN, M. I. ; MALDONADO, J. C. . Esboço de um Processo Ágil de Desenvolvimento baseado em Framework. In: XXXII Conferência Latino-Americana de Informática, 2006, Santiago. XXXII Conferência Latino-Americana de Informática, 2006. v. 1. p. 1-12. |
| 50. | NAKAGAWA, E. Y. ; CRUZ, N. F. ; MALDONADO, J. C. . Relevância dos Requisitos no Desenvolvimento de Software Livre. In: Fórum Internacional Software Livre, 2006, Porto Alegre. Anais do Fórum Internacional Software Livre, 2006. p. 171-176. |
| 51. | VINCENZI, A. M. R. ; DELAMARO, M. E. ; SIMÃO, A. S. ; MALDONADO, J. C. . Muta-Pro: Towards the Definition of a Mutation Testing Process. In: 6th Latin-american test workshop (LATW'05), 2005, Salvador. 6th Latin-american test workshop (LATW'05), 2005. p. 149-154. |
| 52. | ROCHA, A. D. ; SIMÃO, A. S. ; MALDONADO, J. C. ; MASIERO, P. C. . Uma ferramenta baseada em aspectos para o teste funcional de programas Java. In: 20º Simposio Brasileiro de Engenharia de Software (SBES'05), 2005, Uberlândia. 20º Simposio Brasileiro de Engenharia de Software (SBES'05), 2005. p. 263-278. |
| 53. | SUGETA, T. ; MALDONADO, J. C. ; WONG, E. W. . Structural and Mutation Testing for SDL Specifications: A Case Study. In: 6th IEEE Latin-American Test Workshop, 2005, Salvador. 6th IEEE Latin-American Test Workshop, 2005. |
| 54. | CAGNIN, M. I. ; BRAGA, R. T. V. ; GERMANO, F. S. ; CHAN, A. ; MALDONADO, J. C. . Extending Patterns with Testing Implementation. In: V Latin American Conference on Pattern Languages of Programming, 2005, Campos do Jordão. V Latin American Conference on Pattern Languages of Programming, 2005. |
| 55. | GARCIA, R. E. ; MALDONADO, J. C. ; OLIVEIRA, M. C. F. . Genetic Algorithms to Support Software Engineering Experimentation. In: IV International Symposium on Empirical Software Engineering, 2005. Proceedings of IV International Symposium on Empirical Software Engineering, 2005. v. 1. p. 1-10. |
| 56. | GARCIA, R. E. ; CARVER, J. ; OLIVEIRA, M. C. F. ; MALDONADO, J. C. . In-virtuo Experimental Studies: An Approach Based on Genetic Algorithms. In: 2nd Experimental Software Engineering Latin American Workshop, 2005, Uberlândia. Proceedings of 2nd Experimental Software Engineering Latin American Workshop, 2005. v. 1. p. 1-6. |
| 57. | BELGAMO, A. ; FABBRI, S. C. P. .F. ; MALDONADO, J. C. . Avaliando a Qualidade da Técnica GUCCRA com Técnica de Inspeção. In: VIII Workshop on Requirements Engineering, 2005. Proceedings of VIII Workshop on Requirements Engineering, 2005. v. 1. p. 1-10. |
| 58. | BELGAMO, A. ; FABBRI, S. C. P. .F. ; MALDONADO, J. C. . TUCCA Improving the Effectiveness of Use Case Construction and Requirements Analysis. In: International Symposium on Empirical Software Engineering, 2005. Proceedings of International Symposium on Empirical Software Engineering, 2005. v. 1. p. 1-10. |
| 59. | NAKAGAWA, E. Y. ; BIANCHI, T. ; FISCHER, P. ; MALDONADO, J. C. . Memria Virtual: Estabelecimento da Arquitetura e Requisitos do Sistema. In: Fórum Internacional Software Livre, 2005, Porto Alegre. Anais do Fórum Internacional Software Livre, 2005. p. 1-6. |
| 60. | SUGETA, T. ; MALDONADO, J. C. ; WONG, W. E. . Mutation Testing Applied to Validate SDL Specifications. In: 16th IFIP International Conference on Testing of Communicating Systems, 2004, Oxford. Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems, 2004. v. 2978. p. 193-208. |
| 61. | CORTE, Camila K. D. ; BARBOSA, E. F. ; MALDONADO, J. C. . Ensino Integrado de Fundamentos de Programação e de Teste de Software In: XII Workshop de Educação em Informática. In: XII Workshop de Educação em Informática (XII WEI 2004), 2004, Salvador. Anais do XII Workshop de Educação em Informática (XII WEI 2004), 2004. v. 1. p. 1-14. |
| 62. | FREITAS, M. E. ; PAGLIUSO, P. ; BOAS, A. L. V. ; TAMBASCIA, C. ; MALDONADO, J. C. ; HÖHN, E. N. ; FABBRI, S. C. P. F. . Inspeção de documentos de requisitos baseada em técnica de leitura PBR: experiência prática no CPqD. In: III Simpósio Brasileiro de Qualidade de Software, 2004, Brasília. Anais do III Simpósio Brasileiro de Qualidade de Software, 2004. v. 1. p. 153-160. |
| 63. | HÖHN, E. N. ; MALDONADO, J. C. ; MENDONÇA, M. ; FABBRI, S. C. P. F. ; BOAS, A. L. V. ; TAMBASCIA, C. ; FREITAS, M. E. ; PAGLIUSO, P. . PBR: Transferência de tecnologia baseada em pacotes de experimentação. In: III SImpósio Brasileiro de Qualidade de Software, 2004, Brasília. Anais do III SImpósio Brasileiro de Qualidade de Software, 2004. v. 1. p. 161-175. |
| 64. | GARCIA, R. E. ; OLIVEIRA, M. C. F. ; MALDONADO, J. C. ; MENDONÇA, M. G. . Visual Analysis of Data from Empirical Studies. In: International Workshop on Visual Languages and Computing (VLC´2004), 2004, San Francisco. Proceedings of the 2004 International Conference of Distributed Multimedia Systems, 2004. v. 1. p. 225-230. |
| 65. | CAGNIN, M. I. ; MALDONADO, J. C. ; CHAN, A. ; PENTEADO, R. D. ; GERMANDO, F. S. . Reuso na Atividade de Teste para Reduzir Custo e Esforço de VV\&T no Desenvolvimento e na Reengenharia de Software. In: XVIII Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Anais do XVIII Simpósio Brasileiro de Engenharia de Software, 2004. v. 1. p. 71-85. |
| 66. | CAGNIN, M. I. ; MALDONADO, J. C. ; BRAGA, R. T. V. ; GERMANDO, F. S. ; PENTEADO, R. D. . Uma Ferramenta de Apoio ao Controle de Versão das Aplicações Criadas por um Framework. In: XXX Conferência Latino-Americana de Informática, 2004, Arequipa. Anais da XXX Conferência Latino-Americana de Informática, 2004. v. 1. p. 414-425. |
| 67. | CAGNIN, M. I. ; MALDONADO, J. C. ; MASIERO, P. C. ; BRAGA, R. T. V. ; PENTEADO, R. D. . An Evolution Process for Application Frameworks. In: I Workshop de Manutenção de SoftWare Moderna em conjunto com XVIII Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Anais do I Workshop de Manutenção de SoftWare Moderna, 2004. v. 1. p. 1-8. |
| 68. | CAGNIN, M. I. ; PAIVA, D. M. B. ; MALDONADO, J. C. ; PENTEADO, R. D. ; FORTES, R. P. M. ; GERMANO, F. S. . From Design Rationale to Reengineering Rationale: Lessons Learned in a Maintenance Pilot Case Study. In: 4ª Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento, 2004, Madrid. Anais 4ª Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento, 2004. v. 1. p. 231-234. |
| 69. | LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; MASIERO, P. C. . Teste de Unidade de Programas Orientados a Aspectos. In: XVIII Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Anais do XVIII Simpósio Brasileiro de Engenharia de Software, 2004. v. 1. p. 55-70. |
| 70. | CRUZES, D. S. ; MENDONÇA, M. G. ; MALDONADO, J. C. ; JINO, M. . Using Visualization to Bring Context Information to Software Engineering Model Building. In: International Workshop on Visual Languages and Computing (VLC´2004), 2004, San Francisco. Proceedings of 2004 International Workshop on Visual Languages and Computing, 2004. v. 1. p. 219-224. |
| 71. | YANO, T. ; SIMÃO, A. S. ; MALDONADO, J. C. . Estudo do Teste de Mutação para a Linguagem Standard ML. In: 30ª Conferência Latinoamericana de Informática, 2004, Arequipa. 30ª Conferência Latinoamericana de Informática, 2004. p. 734-744. |
| 72. | BARBOSA, E. F. ; MALDONADO, J. C. . Mecanismos de apoio modelagem de contedos: uma contribuio ao processo de desenvolvimento de mdulos educacionais. In: Simpósio Brasileiro de Informática na Educação (SBIE'2004), 2004, Manaus. Simpósio Brasileiro de Informática na Educação (SBIE'2004), 2004. v. 1. p. 1-10. |
| 73. | CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . A Debugging Strategy Based on Requirements of Testing. In: European Conference on Software Maintenance and Reegineering, 2003, Benevento. Proceedings of European Conference on Software Maintenance and Reegineering. New York/NY : IEEE Computer Society, 2003. v. 1. p. 160-169. |
| 74. | BARBOSA, E. F. ; LEBLANC, R. ; GUZDIAL, M. ; MALDONADO, J. C. . Introducing Testing Practices into Objects and Design Course. In: 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003, Madrid. Proceedings of 16th Conference on Software Engineering Education and Training (CSEE&T 2003). Los Alamitos, CA : IEEE Computer Society Press, 2003. v. 1. p. 279-286. |
| 75. | LINKMAN, S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . An evaluation of systematic functional testing using mutation testing . In: VII International Conference on Empirical Assessment in Software Engineering - EASE'2003, 2003, Keele, UK. Proceedings of VII International Conference on Empirical Assessment in Software Engineering, 2003. v. 1. p. 1-15. |
| 76. | VINCENZI, A. M. R. ; WONG, W. E. ; MALDONADO, J. C. . JaBUTi: A coverage analysis tool for Java Programs. In: XVII Simpósio Brasileiro de Engenharia de Software - SBES'2003, 2003, Manaus. Anais do XVII Simpósio Brasileiro de Engenharia de Software, 2003. v. 1. p. 79-84. |
| 77. | VINCENZI, A. M. R. ; DELAMARO, M. E. ; MALDONADO, J. C. ; WONG, W. E. . Java bytecode static analysis: Deriving structural testing requirements . In: II UK Software Testing Workshop, 2003, York. Proccedings of II UK Software Testing Workshop, 2003. v. 1. p. 1-21. |
| 78. | SIMÃO, A. S. ; SOUZA, S. R. S. S. ; MALDONADO, J. C. . A family of coverage testing criteria for coloured petri nets. In: XVII Simpósio Brasileiro de Engenharia de Software - SBES'2003, 2003, Manaus. Anais do XVII Simpósio Brasileiro de Engenharia de Software, 2003. v. 1. p. 209-224. |
| 79. | WONG, W. E. ; SUGETA, T. ; QI, Y. ; MALDONADO, J. C. . Smart Debugging Software Architectural Design in SDL. In: 27th Annual International Computer Software and Applications Conference - COMPSAC'2003, 2003, Dallas, Texas. Proceedings of 27th Annual International Computer Software and Applications Conference, 2003. v. 1. p. 41-47. |
| 80. | CAGNIN, M. I. ; MALDONADO, J. C. ; PENTEADO, R. A. D. ; GERMANO, F. S. R. . PARFAIT: Towards a Framework-based Agile Reengineering Process. In: Agile Development Conference, 2003, Salt Lake City, Utha. Proceedings of Agile Development Conference, 2003. v. 1. p. 22-31. |
| 81. | CAGNIN, M. I. ; MALDONADO, J. C. ; PENTEADO, R. A. D. ; GERMANO, F. S. R. . Investigation and Definition of a Computer-Aided Framework-based Agile Reengineering Process. In: Workshop de Teses em Engenharia de Software do Simpósio Brasileiro de Engenharia de Software - SBES'2003, 2003, Manaus, AM. Anais do Workshop de Teses em Engenharia de Software do Simpósio Brasileiro de Engenharia de Software, 2003. v. 1. p. 9-16. |
| 82. | CAGNIN, M. I. ; MALDONADO, J. C. ; GERMANO, F. S. R. ; MASIERO, P. C. ; CHAN, Al. ; PENTEADO, R. A. D. . An Agile Reverse Engineering Process based on a Framework . In: VI Workshop em Engenharia de Requisitos, 2003, Piracicaba. Anais do VI Workshop em Engenharia de Requisitos, 2003. v. 1. p. 240-254. |
| 83. | CAGNIN, M. I. ; MALDONADO, J. C. ; GERMANO, F. S. R. ; CHAN, Al. ; PENTEADO, R. A. D. . Um Estudo de Caso de Reengenharia Utilizando o Processo PARFAIT . In: Simpósio de Desenvolvimento e Manutenção de Software da Marinha, 2003, Rio de Janeiro, RJ. Anais do Simpósio de Desenvolvimento e Manutenção de Software da Marinha, 2003. v. 1. p. 1-10. |
| 84. | BARBOSA, E. F. ; MALDONADO, J. C. ; MAIDANTCHIK, C. L. L. . Padronização de Processos para o Desenvolvimento de Módulos Educacionais. In: XXIX Latin-American Conference on Informatics, 2003, La Paz. XXIX Latin-American Conference on Informatics. v. 1. p. 1-10. |
| 85. | BARBOSA, E. F. ; MALDONADO, J. C. ; RICARTE, I. L. M. . Exploring Learning Objects under Conceptual, Instructional and Didactic Perspectives. In: I PGL DB Research Conference, 2003, Rio de Janeiro. I PGL DB Research Conference, 2003. p. 33-39. |
| 86. | SIMÃO, A. S. ; MALDONADO, J. C. ; BIGONHA, R. S. . Using Denotational Semantics in the Valitation of the Compiler for a Mutation-Oriented Language. In: 5th Workshop on Formal Methods, 2002, Gramado/RS. Proceedings of 5th Workshop on Formal Methods. v. 1. p. 4-19. |
| 87. | SIMÃO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; SANTANA, A. C. L. . IDeL: A Language for Program Instrumentation. In: Conferencia Latinoamericana de Informática CLEI, 2002, Montevideo. Conferencia Latinoamericana de Informática CLEI, 2002. v. 1. p. 94-94. |
| 88. | MARTIMIANO, L. A. F. ; MALDONADO, J. C. . An Evaluation of Regression Testing Techniques: A Case Study. In: XXVIII Conferência Latino-Americana de Informática, 2002, Montevideo. XXVIII Conferência Latino-Americana de Informática, 2002. |
| 89. | BARBOSA, E. F. ; MALDONADO, J. C. ; RICARTE, I. L. M. . Learning Materials: Towards the Establishment of Guidelines for Domain Modeling. In: ICTEM 2002 - IFIP WG 3.2 Working Conference on Informatics Curricula, Teaching Methods and Best Practice, 2002, Florianópolis/SC. Proceedings of ICTEM 2002 - IFIP WG 3.2 Working Conference on Informatics Curricula, Teaching Methods and Best Practice, 2002. v. 1. p. 192-206. |
| 90. | CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. ; VILELA, P. R. S. . Data-Flow Testing of Programs with Pointers and Records: Implementation, Effectiveness, and Cost. In: International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2002, Foz de Iguaçu/PR. Proceedings of International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications. Mount Pleasant/MI : International Association for Computer and Information Science, 2002. v. 1. p. 317-323. |
| 91. | CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . On the Use of Dynamic Data-flow Testing Information for Fault Localizations. In: Workshop on Software Quality of the International Conference on Software Engineering, 2002, Orlando/FL. Proceedings of Workshop on Software Quality of the International Conference on Software Engineering, 2002. v. 1. p. ---. |
| 92. | SHULL, F. ; BASILI, V. ; CARVER, J. ; MALDONADO, J. C. ; TRAVASSOS, G. H. . Replicating Software Engineering Experiments: Adressing the Tacit Knowledge Problem. In: International Symposium on Empirical Software Engineering, 2002, Nara. Proceedings of International Symposium on Empirical Software Engineering, 2002. v. 1. p. 7-16. |
| 93. | MARUCCI, R. A. ; FABBRI, S. C. F. P. ; MALDONADO, J. C. ; TRAVASSOS, G. H. . OORTs/ProDeS: Definição de Técnicas de Leitura para um Processo de Software Orientado a Objetos In: I Simpósio Brasileiro de Qualidade de Software. In: I Simpósio Brasileiro de Qualidade de Software, 2002, Gramado/RS. Anais do I Simpósio Brasileiro de Qualidade de Software, 2002. v. 1. p. 102-116. |
| 94. | BARBOSA, E. F. ; MALDONADO, J. C. ; RICARTE, I. L. M. . Towards the Determination of Requirements for Conceptual Modeling on Learning Materials. In: Informatics Curricula, TEaching Methods and best practice Working Conference, 2002, Florianópolis. Informatics Curricula, TEaching Methods and best practice Working Conference, 2002. p. 193-206. |
| 95. | SUGETA, T. ; MALDONADO, J. C. ; MASIERO, P. C. ; FABBRI, S. C. F. P. . Proteum/ST: A Tool to Support Statecharts Validation Based on Mutation Testing. In: 4o Workshop Ibero-Americano de Engenharia e Ambientes de Software - IDEAS'2001, 2001, Santo Domingo. Anais do 4o Workshop Ibero-Americano de Engenharia e Ambientes de Software, 2001. v. Único. p. 370-384. |
| 96. | VINCENZI, A. M. R. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. ; DELAMARO, M. E. ; ROMERO, R. A. F. . Bayesian-Learning Based Guidelines to Determine Equivalent Mutants. In: 13th International Conference on Software Engineering & Knowledge Engineering - SEKE'2001, 2001, Buenos Aires. Proceedings of 13th International Conference on Software Engineering & Knowledge Engineering - SEKE'2001, 2001. v. Único. p. 15-27. |
| 97. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . Software-Fault Injection Based on Mutant Operators. In: IX Simpósio Brasileiro de Tolerantes a Falhas, 2001, Florianópolis. Anais do IX Simpósio Brasileiro de Tolerantes a Falhas, 2001. v. Único. p. 85-98. |
| 98. | CAGNIN, M. I. ; PENTEADO, R. A. D. ; MASIERO, P. C. ; MALDONADO, J. C. . Comparison of Maintainability Improvement by Segmentation and Reengineering - A Case Study. In: Fifth European Conference on Software Maintenance and Reengineering, 2001, Lisboa. Proceedings of the Fifth European Conference on Software Maintenance and Reengineering, 2001. v. Único. p. 158-167. |
| 99. | SIMÃO, A. S. ; SUGETA, T. ; MALDONADO, J. C. ; MONARD, M. C. . Prolog & TXL: Um Estudo de Caso para Prototipação de Ferramentas de Apoio para o Teste Estrutural. In: 1a Jornadas Iberoamericanas de Ingeniera del Software e Ingeniera del Conocimiento (JIISIC 2001), 2001, Buenos Aires. Anais da 1a Jornadas Iberoamericanas de Ingeniera del Software e Ingeniera del Conocimiento (JIISIC 2001), 2001. v. Único. p. 15-22. |
| 100. | JORGE, R. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Teste de Mutação: Estratégias Baseadas em Equivalências de Mutantes para Redução do Custo de Aplicação. In: CLEI2001 - XXVII Conferência Latino Americana de Informática, 2001, Merida. Anais CLEI2001 - XXVII Conferência Latino Americana de Informática, 2001. v. Único. p. 1-10. |
| 101. | PERES, L. M. ; VERGILIO, S. R. ; MALDONADO, J. C. . Path Selection in the Structural Testing: Proposition, Implementation and Application of Strategies. In: XXI SCCC - International Conference of the Chilean Computer Science Society, 2001, Punta Arenas. Anais do XXI SCCC - International Conference of the Chilean Computer Science Society, 2001. v. Único. p. 240-246. |
| 102. | COLANZI, T. E. ; MASIERO, P. C. ; MALDONADO, J. C. . SDProc/UML: Integrating Testing with Object-Oriented Software Development Process. In: I Workshop em Ingenieria de Software e 2001 Jornadas Chileanas de Computation, 2001, Punta Arenas. Anais do I Workshop em Ingenieria de Software e 2001 Jornadas Chileanas de Computation, 2001. v. Único. p. 1-10. |
| 103. | DELAMARO, M. E. ; PEZZÉ, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Mutant Operators for Testing Concurrent Java Programs. In: XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001. v. Único. p. 272-285. |
| 104. | SIMÃO, A. S. ; MALDONADO, J. C. . MuDEL: A Language and System for Describing and Generating Mutants. In: XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001. v. Único. p. 240-255. |
| 105. | SOUZA, S. R. S. S. ; MALDONADO, J. C. ; FABBRI, S. C. F. P. . FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle. In: XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001. v. Único. p. 256-271. |
| 106. | CANDOLO, M. A. P. ; SIMÃO, A. S. ; MALDONADO, J. C. . MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito. In: XV SBES - Simpósio Brasileiro de Engenharia de Software, 2001, Rio de Janeiro. Anais do XV SBES - Sessão de Ferramentas, 2001. v. Único. p. 291-296. |
| 107. | SIMÃO, A. S. ; MALDONADO, J. C. . Mutation-Based Test Sequence Generation for Petri Nets. In: Cadernos de Computação, 2001, São Carlos/SP. Cadernos de Computação, 2001. p. 181-208. |
| 108. | VERGILIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Resultados da aplicação de diferentes técnicas de geração de dados de teste sensíveis a defeitos. In: CLEI2001 - XXVII Conferência Latino Americana de Informática, 2001, Merida/FL. Anais do CLEI2001 - XXVII Conferência Latino Americana de Informática, 2001. |
| 109. | FIGUEIREDO, R. M. C. ; MALDONADO, J. C. ; BREMER, C. F. . ASP - um novvo modelo de outsourging de tecnologia da informação. In: Escola Regional de Informática de São Paulo, 2001, São Carlos/SP. Anais da Escola Regional de Informática de São Paulo, 2001. p. 49-69. |
| 110. | SANCHES, Rosely ; FABBRI, S. C. F. P. ; MALDONADO, J. C. . Qualidade de software: da engenharia de softwae aosmoelos de qualidade. In: Escola Regional de Informática de São Paulo, 2001, São Carlos/SP. Anais da Escola Regional de Informática de São Paulo, 2001. p. 219-240. |
| 111. | SOUZA, S. R. S. S. ; MALDONADO, J. C. . 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, XXI Congresso da Sociedade Brasileira de Computação, 2001, Fortaleza/CE. Anais do XIV CTD - Concurso de Teses e Dissertações, XXI Congresso da Sociedade Brasileira de Computação, 2001. |
| 112. | BARBOSA, E. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Towards the Determination of Sufficient Mutant Operators for C. In: 22nd International Conference on Software Engineering (ICSE), 2000, Limerick. Proceedings of the First International Workshop on Automated Program Analysis, Testing and Verification, 2000. |
| 113. | MALDONADO, J. C. ; DELAMARO, M. E. ; FABBRI, Sandra .C P. F. ; SIMÃO, A. S. ; SUGETA, T. ; VINCENZI, A. M. R. ; MASIERO, P. C. . Proteum: a Family of Tools to Support Specification and Program Testing Based on Mutation. In: Mutation 2000: A Symposium on Mutation Testing for the New Century, 2000, San Jose. Proceedings of Mutation 2000 Symposium, 2000. p. 146-149. |
| 114. | DELAMARO, M. E. ; MALDONADO, J. C. ; VINCENZI, A. M. R. . Proteum/IM 2.0: An Integrated Mutation Testing Environment. In: Mutation 2000: A Symposium on Mutation Testing for the New Century, 2000, San Jose. Proceedings of Mutation 2000 Symposium, 2000. p. 124-134. |
| 115. | MALDONADO, J. C. ; BARBOSA, E. F. ; VINCENZI, A. M. R. ; DELAMARO, M. E. . Evaluating N-Selective Mutation for C Programs: Unit and Integration Testing. In: Mutation 2000: A Symposium on Mutation Testing for the New Century, 2000, San Jose. Proceedings of Mutation 2000 Symposium, 2000. p. 32-44. |
| 116. | SIMÃO, A. S. ; MALDONADO, J. C. . Mutation-based Test Sequence Generation for Petri nets. In: Workshop de Métodos Formais - XIV Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa. Anais do Workshop de Métodos Formais - XIV SBES, 2000. p. 68-79. |
| 117. | CRESPO, A. N. ; JINO, M. ; PASQUINI, A. ; MALDONADO, J. C. . A Binomial Software Reliability Model Based on Coverage of Structural Testing Criteria. In: XIV Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa. Anais do XIV Simpósio Brasileiro de Engenharia de Software, 2000. p. 211-226. |
| 118. | SIMÃO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN : Uma Ferramenta para Apoiar a Edição, Simulação e Validação de Redes Petri Baseada no Teste de Mutação. In: 14o Simpósio Brasileiro de Engenharia se Software, 2000, João Pessoa. Caderno de Ferramentas do 14o Simpósio Brasileiro de Engenharia se Software, 2000. p. 376-379. |
| 119. | SOUZA, S. R. S. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Statecharts Specifications: A Family of Coverage Testing Criteria. In: CLEI2000 - XXVI Conferência Latino Americana de Informática, 2000, Cidado do México. Proceedings of CLEI2000, 2000. |
| 120. | MALDONADO, J. C. ; SOUZA, S. R. S. S. ; FABBRI, Sandra .C P. F. ; LOPES DE SOUZA, W. . Mutation Testing Applied to Estelle Specifications. In: 33rd Hawaii International Conference on System Sciences - Mini-track on Distributed Systems Testing, 2000, Maui. Proceedings of 33rd Hawaii International Conference on System Sciences, 2000. p. 217. |
| 121. | VINCENZI, A. M. R. ; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Unit and Integration Testing Strategies for C Programs Using Mutation-based Criteria. In: Mutation 2000: a Symposium on Mutation Testing for the New Century, 2000, San Jose. Proceedings of Mutation 2000 Symposium, 2000. p. 56-67. |
| 122. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing. In: 1st IEEE Latin American Test Workshop, 2000, Rio de Janeiro. Anais do 1st IEEE Latin American Test Workshop, 2000. p. 228-234. |
| 123. | PERES, L. M. ; VERGÍLIO, S. R. ; JINO, M. ; MALDONADO, J. C. . Path Selection Strategies in the Context of Software Testing Criteria. In: 1st IEEE Latin American Test Workshop, 2000, Rio de Janeiro. Anais do 1st IEEE Latin American Test Workshop, 2000. p. 222-227. |
| 124. | SIMÃO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN: A Tool to Support Edition, Simulation and Validation of Petri Nets Based on Mutation Testing. In: XIV SBES - Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa. Anais do XIV SBES - Simpósio Brasileiro de Engenharia de Software, 2000. p. 227-242. |
| 125. | BARBOSA, E. F. ; MALDONADO, J. C. ; VINCENZI, A. M. R. ; DELAMARO, M. E. ; SOUZA, S. R. S. S. ; JINO, M. . Introdução ao teste de software. In: XIV Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa/PB. Anais do XIV Simpósio Brasileiro de Engenharia de Software, 2000. p. 330-378. |
| 126. | SPOTO, E. S. ; JINO, M. ; MALDONADO, J. C. . Teste estrural de software: uma abordagem para aplicações de banco de dados relacional. In: XIV Simpósio Brasileiro de Engenharia de Software, 2000, João Pessoa/PB. Anais do XIV Simpósio Brasileiro de Engenharia de Software, 2000. p. 243-258. |
| 127. | BARBOSA, E. F. ; ADRIANO, C. M. ; MALDONADO, J. C. ; RICARTE, I. L. M. ; JINO, M. . Forecasting theoretical, empirical and tool Forecasting theoretical, empirical and tool specific knowledge in a software testing learning scenario. In: International Conference on Engineering and Computer Education, 2000, São Paulo/SP. Proceedings of International Conference on Engineering and Computer Education, 2000. |
| 128. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. ; DELAMARO, M. E. . Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing. In: International Conference of the Chilean Computer Science Society, 1999, Santiago. Proceeding of XIX SCCC, 1999. p. 96-104. |
| 129. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; SUGETA, T. ; MASIERO, P. C. . Mutation Testing Applied to Validate Specifications Based on Statecharts. In: International Symposium on Software Reliability Engineering, 1999, Boca Raton. Proceedings of the 10th ISSRE, 1999. p. 210-219. |
| 130. | VINCENZI, A. M. R. ; MALDONADO, J. C. ; BARBOSA, E. F. ; DELAMARO, M. E. . Operadores Essenciais de Interface: Um Estudo de Caso. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do XIII SBES, 1999. p. 373-391. |
| 131. | CARVALHO, R. A. ; FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Um Estudo sobre a Avaliação do Custo de Aplicação da Análise de Mutantes na Validação de Máquinas de Estados Finitos. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do XIII SBES, 1999. p. 323-338. |
| 132. | VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Pairwise Data Flow Based Integration Testing. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do XIII SBES, 1999. p. 393-409. |
| 133. | COLANZI, T. E. ; MALDONADO, J. C. ; MASIERO, P. C. . Teste de Software OO: Uma Abordagem para a Organização e o Planejamento da Atividade de Teste. In: Workshop de Qualidade de Software - XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do Workshop de Qualidade de Software - XIII SBES, 1999. p. 90-108. |
| 134. | DELAMARO, M. E. ; MALDONADO, J. C. . Interface Mutation: Assessing Testing Quality at Interprocedural Level. In: XIX SCCC - International Conference of the Chilean Computer Science Society, 1999. Proc. of XIX SCCC - International Conference of the Chilean Computer Science Society. p. 78-86. |
| 135. | BARBOSA, E. F. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Uma Contribuição para Determinação de um Conjunto Essencial de Operadores de Mutação no Teste de Programas C. In: XII Simpósio Brasileiro de Engenharia de Software - SBES'98, 1998, Maringá. Anais do XII SBES. Maringá- PR, 1998. p. 103-120. |
| 136. | SOUZA, S. R. S. ; MALDONADO, J. C. . Applying Test Set Minimization to Mutation-based Test Criteria. In: ISSAT'98 - International Conference on Reliability and Quality in Design, 1998, Seattle. Proceedings of the 4th ISSAT. Seattle - USA, 1998. p. 275-281. |
| 137. | CRESPO, A. N. ; JINO, M. ; PASQUINI, A. ; MALDONADO, J. C. . Code Coverage of Potential-Uses Criteria and Software Reliability. In: ISSAT'98 - International Conference on Reliability and Quality in Design, 1998, Seattle. Proceedings of the 4th ISSAT. Seattle - USA, 1998. p. 249-254. |
| 138. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . Um Esquema de Injeção de Defeitos Baseado em Operadores de Mutação. In: I Workshop de Tolerância à Falhas, 1998, Porto Alegre. Anais do I WTF. Porto Alegre - RS, 1998. p. 31-36. |
| 139. | TOMAZELA, M. G. J. M. ; MALDONADO, J. C. . Avaliação do Custo de Aplicação dos Critérios Potenciais Usos no Teste de Programas Cobol. In: IX CITS - Congresso Internacional de Tecnologia de Software, 1998, Curitiba. Anais do IX CITS. Curitiba - PR, 1998. p. 231-242. |
| 140. | MASIERO, P. C. ; GERMANO, F. S. R. ; MALDONADO, J. C. . Object and Systems Life Cycle Revisited: Their Use in Object-Oriented Analysis and Design Methods. In: International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design, 1998, Pisa. Proceedings of the IWEMMSAD. Pisa - Itália, 1998. p. 1-12. |
| 141. | COSTA, R. M. ; IAVARONI, G. M. ; SANCHES, R. ; MALDONADO, J. C. ; MASIERO, P. C. . Engenharia Reversa: da Interface do Software aos Modelos de Análise do Método Fusion. In: ASSOO'98 - Simposio en Orientacion a Objetos, 1998, Buenos Aires. Anais do ASSOO'98. Buenos Aires - Argentina, 1998. p. 133-146. |
| 142. | MALDONADO, J. C. ; VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. S. ; DELAMARO, M. E. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. In: VI Escola de Informática da SBC - Regional Sul, 1998, Curitiba, Blumenau e Pelotas. VI Escola de Informática da SBC - Regional Sul, 1998. p. 53-86. |
| 143. | WONG, W. E. ; MALDONADO, J. C. ; DELAMARO, M. E. ; SOUZA, S. R. S. . Use of Proteum to Accelerate Mutation Testing in C Programs. In: 3rd ISSAT - International Conference on Reliability and Quality in Design, 1997. Proceedings of 3rd ISSAT. Anaheim, California, EUA, 1997. p. 254-258. |
| 144. | VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Data Flow Testing of Programs with Pointers: A Strategy Based on Potential Uses. In: 10th International Software Quality Week 1997, 1997, San Francisco. Proceedings of the QW97. San Francisco, California - EU, 1997. p. 1-12. |
| 145. | PAILO, L. F. ; VILLAS-BOAS ; MALDONADO, J. C. ; JINO, M. . Avaliação da Adequação de Conjuntos de Teste Funcional Utilizando Critérios Estruturais com o Apoio de Ferramentas de Teste Comerciais. In: VIII CITS - Conferência Internacional de Tecnologia de Software, 1997, Curitiba. Anais do VIII CITS - Conferência Internacional de Tecnologia de Software. Curitiba - PR, 1997. p. 251-258. |
| 146. | SOUZA, S. R. S. ; MALDONADO, J. C. ; VERGÍLIO, S. R. . 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 do VIII CITS - Conferência Internacional de Tecnologia de Software. Curitiba - PR, 1997. p. 225-249. |
| 147. | WONG, E. ; MALDONADO, J. C. ; DELAMARO, M. E. . Reducing the Cost of Regression Testing By Using Selective Mutation. In: VIII CITS - Conferência Internacional de Tecnologia de Software, 1997, Curitiba. Anais do VIII CITS - Conferência Internacional de Tecnologia de Software. Curitiba - PR, 1997. p. 93-109. |
| 148. | CRESPO, A. N. ; PASQUINI, A. ; JINO, M. ; MALDONADO, J. C. . Cobertura dos Critérios Potenciais-Usos e A Confiabilidade do Software. In: XI Simpósio Brasileiro de Engenharia de Software - SBES'97, 1997, Fortaleza. Anais do XI Simpósio Brasileiro de Engenharia de Software - SBES'97. Fortaleza - CE, 1997. p. 379-394. |
| 149. | DELAMARO, M. E. ; MALDONADO, J. C. . Teste de Integração: Projeto de Operadores para o Critério Mutação de Interface. In: XI Simpósio Brasileiro de Engenharia de Software - SBES'97, 1997, Fortaleza. Anais do XI Simpósio Brasileiro de Engenharia de Software - SBES'97. Fortaleza - CE, 1997. p. 413-428. |
| 150. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. . Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts. In: XI Simpósio Brasileiro de Engenharia de Software - SBES'97, 1997, Fortaleza. Anais do XI Simpósio Brasileiro de Engenharia de Software - SBES'97. Fortaleza - CE, 1997. p. 429-444. |
| 151. | SOUZA, S. R. S. ; MALDONADO, J. C. . 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 Simpósio Brasileiro de Engenharia de Software - SBES'97, 1997, Fortaleza. Anais do XI Simpósio Brasileiro de Engenharia de Software - SBES'97. Fortaleza - CE, 1997. p. 445-460. |
| 152. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Constraint Based Selection of Test Sets to Satisfy Structural Testing Criteria. In: XVII International Conference of the SCCC, Sociedad Chilena de Ciencia de la Computacion, 1997, Valparaíso. Proceedings of the XVII International Conference of the SCCC. Valparaíso - Chile, 1997. p. 256-263. |
| 153. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. . Mutation Analysis in the Context of Reactive System Specification and Validation. In: 5th Annual International Conference on Software Quality Management, 1997, Bath. Proceedings of the 5th Annual International Conference on Software Quality Management. Bath - Inglaterra, 1997. p. 247-258. |
| 154. | VILLAS BOAS, A. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Gestão de Configuração na Atividade de Teste. In: Workshop de Qualidade de Software - XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do WQS'97 - Workshop Qualidade de Software - XI SBES, 1997. p. 107-116. |
| 155. | VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Critério Análise de Mutantes: Estado Atual e Perspectivas. In: I Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997, Águas de Lindóia/SP. Anais do I Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997. p. 15-26. |
| 156. | NAKAGAWA, E. Y. ; DELAMARO, M. E. ; CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . Aspectos de projeto e implementação de interfaces gráficas do usuário para ferramentas de teste de software. In: Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997, Águas de Lindóia/SP. Anais do Workshop do Projeto Validação e Teste de Sistemas de Operação, 1997. p. 57-67. |
| 157. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Infeasible Paths within the Context of Data Flow based Criteria. In: 6th ICSQ - International Conference on Software Quality, 1996, Ottawa. Proceedings of 6th ICSQ - International Conference on Software Quality. Ottawa - Canadá, 1996. p. 310-321. |
| 158. | TSUKUMO, A. N. ; CAPOVILLA, C. R. ; JINO, M. ; MALDONADO, J. C. . The Second Experiment of Application of ISO/IEC 9126 Standards on Quality Evaluation of Braziian Software Products. In: 6th ICSQ - International Conference on Software Quality, 1996, Ottawa. Proceedings of 6th ICSQ - International Conference on Software Quality. Ottawa - Canadá, 1996. p. 47-63. |
| 159. | DELAMARO, M. E. ; MALDONADO, J. C. ; MATHUR, A. P. . Integration Testing Using Interface Mutation. In: The 7th International Symposium on Software Reliability Engineering - ISSRE'96, 1996. Proceedings of the ISSRE´96, 1996. p. 112-121. |
| 160. | DELAMARO, M. E. ; MALDONADO, J. C. . PROTEUM: A Tool for the Assessment of Test Adequacy for C Programs. In: Conference on Performability on Computing System, 1996, East Brunswick. Proceedings of the Conference on Performability in Computing System, 1996. p. 79-95. |
| 161. | CANGUSSU, J. ; PENTEADO, R. A. D. ; MASIERO, P. C. ; MALDONADO, J. C. . Validation of Statecharts Based on Programmed Execution. In: VII International Conference on Computing and Information, 1995, Ontario. Proceedings of the VII International Conference on Computing and Information. Ontario - Canada, 1995. |
| 162. | TSUKUMO, A. N. ; CAPOVILLA, C. R. ; JINO, M. ; MALDONADO, J. C. . ISO/IEC: An Experiment of Application on Brazilian Software Products. In: ISESS'95 - 2nd International Symposium and Forum on Software Engineering Standards, 1995, Montreal. Proceedings of ISESS'95 - 2nd International Symposium and Forum on Software Engineering Standards. Monterey, 1995. p. 184-190. |
| 163. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Um Experimento de Aplicação de Critérios Baseados em Fluxo de Dados no Teste de Programas C. In: XV SBC-SEMISH - Congresso da Sociedade Brasileira de Computação, Seminário Integrado de Software e Hardware e Panel'95, 1995, Canela. Anais do XV SBC - XXII SEMISH - Seminário Integrado de Software e Hardware e Panel'95. Canela - RS, 1995. p. 941-952. |
| 164. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Geração de Dados de Teste: Uma Estratégia que Preserva a Hierarquia de Critérios. In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Anais do IX SBES - Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1995. p. 211-222. |
| 165. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. ; DELAMARO, M. E. ; WONG, E. . Mutation Testing Applied to Validate Specifications Based on Petri Nets. In: FORTE'95 - 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, 1995, Montreal. Proceedings of FORTE'95 - 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocols. Montreal - Canadá, 1995. p. 329-337. |
| 166. | VILLAS BOAS, A. ; MALDONADO, J. C. ; JINO, M. . Estudo Comparativo de Critérios de Teste de Software para o Estabelecimento de Estratégias de Aplicação. In: Workshop de Qualidade de Software - IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Anais do Workshop de Qualidade de Software - IX SBES, 1995. p. 132-135. |
| 167. | MALDONADO, J. C. ; DELAMARO, M. E. ; SOUZA, S. R. S. S. ; PAILO, L. F. . Análise de Mutantes: Uma Avaliação Empírica do Axioma de Antiextensionalidade e da Propriedade de Equivalência. In: Workshp de Qualidade de Software - IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Anais do Workshp de Qualidade de Software - IX SBES, 1995. p. 136-140. |
| 168. | VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Visualização de Grafos de Programa: Uma Abordagem sem Reposicionamento. In: VII SIBIGRAPI - Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, 1994, Curitiba. Anais do VII SIBIGRAPI - Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens. Curitiba - PR, 1994. p. 189-196. |
| 169. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. ; DELAMARO, M. E. . Mutation Analysis Testing for Finite State Machines. In: 5th International Symposium on Software Reliability Engineering, 1994, Monterey. Proceedings of the 5th International Symposium on Software Reliability Engineering. California - EUA, 1994. p. 220-229. |
| 170. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Caminhos Não Executáveis no Teste de Integração: Caracterização, Previsão e Determinação. In: VIII SBES - Simpósio Brasileiro de Engenharia de Software, 1994, Curitiba. Anais do VIII SBES - Simpósio Brasileiro de Engenharia de Software. Curitiba - PR, 1994. p. 453-467. |
| 171. | WONG, W. E. ; MALDONADO, J. C. ; DELAMARO, M. E. ; MATHUR, A. P. . Constained Mutation in C Programs. In: VIII SBES - Simpósio Brasileiro de Engenharia de Software, 1994, Curitiba. Anais do VIII SBES - Simpósio Brasileiro de Engenharia de Software. Curitiba - PR, 1994. p. 439-452. |
| 172. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. ; DELAMARO, M. E. . Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes Petri. In: VIII SBES - Simpósio Brasileiro de Engenharia de Software, 1994, Curitiba. Anais do VIII SBES - Simpósio Brasileiro de Engenharia de Software. Curitiba - PR, 1994. p. 423-437. |
| 173. | FABBRI, Sandra .C P. F. ; DELAMARO, M. E. ; MALDONADO, J. C. ; MASIERO, P. C. . Proteum/FSM - Especificação de uma Ferramenta para Apoiar a Validação de Máquinas de Estado Finito pelo Critério Análise de Mutantes. In: XII SBRC - Simpósio Brasileiro de Redes de Computadores, 1994, Curitiba. Anais do XII SBRC - Simpósio Brasileiro de Redes de Computadores. Curitiba - PR, 1994. p. 284-304. |
| 174. | CANGUSSU, J. ; MASIERO, P. C. ; MALDONADO, J. C. . Execução Programada de Statecharts. In: VII SBES - Simpósio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro. Anais do VII SBES - Simpósio Brasileiro de Engenharia de Software. Rio de Janeiro - RJ, 1993. p. 151-165. |
| 175. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Uma Estratégia para Geração de Dados de Teste. In: VII SBES - Simpósio Brasileiro de Engenharia de Software, 1993, Rio de Janeiro. VII SBES - Simpósio Brasileiro de Engenharia de Software. Rio de Janeiro - RJ, 1993. p. 306-319. |
| 176. | BRITES, C. F. V. ; CHAIM, M. L. ; COSTA, H. S. ; JINO, M. ; KONDO, R. S. ; MALDONADO, J. C. ; SINHORIN, G. J. . Software Test Evaluation Applied to Hardware Simulation. In: VIII SBMICRO - Congresso da Sociedade Brasileira de Microeletrônica, 1993, Campinas. VIII SBMICRO - Congresso da Sociedade Brasileira de Microeletrônica. Campinas - SP, 1993. p. 13-18. |
| 177. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Influência do Número de Predicados na Executabilidade de um Caminho no Contexto de Teste Baseado em Fluxo de Dados. In: XIX Conferência Latinoamericana de Estudios en Informática, 1993, Buenos Aires. Anais da IXIX Conferência Latinoamericana de Estudios en Informática. Buenos Aires - Argentina, 1993. p. 11-23. |
| 178. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; MASIERO, P. C. ; DELAMARO, M. E. . Análise de Mutantes Baseada em Máquinas de Estado Finito. In: XI SBRC - Simpósio Brasileiro de Redes de Computadores, 1993, Campinas. XI SBRC - Simpósio Brasileiro de Redes de Computadores. Campinas - SP, 1993. p. 407-425. |
| 179. | MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Using the Essential Branch Concept to Support Data-Flow based Testing Criteria Application. In: 5th International Conference on Software Engineering and its Applications, 1992, Toulouse. Proceedings of the 5th International Conference on Software Engineering and its Applications. Toulouse - França, 1992. p. 613-323. |
| 180. | MALDONADO, J. C. ; VERGÍLIO, S. R. ; CHAIM, M. L. ; JINO, M. . Critérios Potenciais Usos: Análise da Aplicação de um Benchmark. In: VI SBES - Simpósio Brasileiro de Engenharia de Software, 1992, Gramado. Anais do VI SBES - Simpósio Brasileiro de Engenharia de Software. Gramado - RS, 1992. p. 357-374. |
| 181. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; JINO, M. . Caminhos Não-Executáveis na Automação das Atividades de Teste. In: VI SBES - Simpósio Brasileiro de Engenharia de Software, 1992, Gramado. Anais do VI SBES - Simpósio Brasileiro de Engenharia de Software. Gramado - RS, 1992. p. 343-356. |
| 182. | MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Briding the Gap in the Presence of Infeasible Paths: Potential Uses Testing Criteria. In: XII International Conference of the SCCC (Sociedad Chilena de la Ciencia de la Computación), 1992, Santiago. Proceedings of XII International Conference of the SCCC. Santiago - Chile, 1992. p. 323-340. |
| 183. | MASIERO, P. C. ; BOAVENTURA, I. ; MALDONADO, J. C. . Dynamic Properties of Statecharts: A Reachability Tree and Analysis of Some Properties. In: XVIII Conferência Latinoamericana de Informática, 1992. DYNAMIC PROPERTIES OF STATECHARTS: A REACHABILITY TREE AND ANALYSIS OF SOME PROPERTIES. Espanha. p. 728-735. |
| 184. | MALDONADO, J. C. ; CHAIM, M. L. ; VERGÍLIO, S. R. ; JINO, M. . Critérios Potenciais Usos: Uma Contribuição para a Atividade de Garantia de Qualidade de Software. In: Workshop em Avaliação de Qualidade de Software, 1991, Rio de Janeiro. Anais do Workshop em Avaliação de Qualidade de Software. Rio de Janeiro - RJ, 1991. p. 48-52. |
| 185. | CHAIM, M. L. ; MALDONADO, J. C. ; JINO, M. . Modelando a Determinação de Potenciais Du-Caminhos através da Análise de Fluxo de Dados. In: III SBES - Simpósio Brasileiro de Engenharia de Software, 1989, Recife. Anais do III SBES - Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1989. p. 239-251. |
| 186. | MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Arquitetura de uma Ferramenta de Teste de Software de Apoio aos Critérios Potenciais Usos. In: XXII Congresso Nacional de Informática - SUCESU, 1989, São Paulo. Anais do XXII Congresso Nacional de Informática - SUCESU. São Paulo - SP, 1989. p. 92-101. |
| 187. | MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Seleção de Casos de Testes Baseada na Análise de Fluxo de Dados através dos Critérios Potenciais Usos. In: II SBES - Simpósio Brasileiro de Engenharia de Software, 1988, Canela. Anais do II SBES - Simpósio Brasileiro de Engenharia de Software. Canela - RS, 1988. p. 24-35. |
| 188. | MALDONADO, J. C. . A Comparative Study Of Link Protocols for Typical Fault-Tolerance Multiprocessing Unit for On-Board Satellite Applications. In: I Simpósio em Sistemas de Computadores Tolerantes a Falhas, 1985, São José dos Campos. Anais do I Simpósio em Sistemas de Computadores Tolerantes a Falhas. São José dos Campos - SP, 1985. p. 63-77. |
| 189. | MALDONADO, J. C. ; CEREDA, R. L. D. . S-Micro: Sistema Para Simulação de Unidade de Controle Microprogramada. In: 5o Congresso Brasileiro de Automática / I Congresso Latino-Americano de Automática, 1984, Campina Grande. Anais do 5o Congresso Brasileiro de Automática/ 1o Congresso Latino Americano de Automática. Campina Grande - PB, 1984. p. 103-107. |
| 190. | MALDONADO, J. C. ; BERGAMINI, E. W. . Um Sistema de Controle e Supervisão de Bordo para Aplicações em (Multi) Missões Espaciais. In: I Simpósio Brasileiro de Telecomunicações, 1983, Rio de Janeiro. Anais do I Simpósio Brasileiro de Telecomunicações. Rio de Janeiro - RJ, 1983. p. 3.11-3.29. |
| 191. | MALDONADO, J. C. ; MENDES, R. A. . Um Sistema de Supervisão de Bordo para Aplicações em Missões Espaciais. In: II Encontro Nacional de Automática, 1981, Salvador. Anais do II ENA. Salvador - BA, 1981. p. 92-102. |
| Resumos expandidos publicados em anais de congressos |
| 1. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . Reference Architecture Knowledge Representation: An Experience. In: 3rd Workshop on SHAring and Reusing architectural Knowledge (SHARK 2008), 2008, Leipzig. Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008. p. 1-4. |
| 2. | ANDERY, G. F. ; Sousa, Elaine P. M. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. . de Dados de Acervos Históricos e Culturais no Sistema Memória Virtual de São Carlos. In: Sessão de Pôsteres, XXIII Simpósio Brasileira de Banco de Dados (SBBD 2008), 2008, Campinas, SP. Sessão de Pôsteres, XXIII Simpósio Brasileira de Banco de Dados (SBBD 2008), 2008. p. 1-4. |
| 3. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . Representing Aspect-Based Architecture of Software Engineering Environments. In: Workshop on Aspects in Architectural Description, 2007, Vancouver. Proceedings of Workshop on Aspects in Architectural Description, 2007. p. 1-4. |
| 4. | FELIZARDO, K. R. ; FABBRI, S. C. F. P. ; DOMINGUES, A. L. S. ; Visconti, M. ; MALDONADO, J. C. . COTEST - Code Testing Experiment Supporting Tool. In: 5th ACM IEEE International Symposium On Empirical Software Engineering, 2006, Rio de Janeiro. Proceedings of 5th ACM IEEE International Symposium On Empirical Software Engineering, 2006. p. 1-3. |
| 5. | CAGNIN, M. I. ; MALDONADO, J. C. ; PENTEADO, R. D. ; BRAGA, R. T. V. ; GERMANO, F. S. . GREN-WizardVersionControl: Uma Ferramenta de Apoio ao Controle de Versão das Aplicações Criadas pelo Framework GREN. In: XI Sessão de Ferramentas do XVIII Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Anais da XI Sessão de Ferramentas do XVIII Simpósio Brasileiro de Engenharia de Software, 2004. v. 1. p. 73-78. |
| 6. | ROCHA, A. D. ; SIMÃO, A. S. ; MALDONADO, J. C. ; MASIERO, P. C. . Teste Funcional: Uma abordagem Auxiliada por Aspectos. In: I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2004, Brasília. Anais do I Workshop Brasileiro de Desenvolvimento de Software Orientado a Aspectos, 2004. v. 1. p. 1-8. |
| 7. | YANO, T. ; SIMÃO, A. S. ; MALDONADO, J. C. . Proteum/SML - uma ferramenta de apoio ao teste de mutação para a linguagem standard ML. In: Sessao de Ferramentas do XVII Simpósio Brasileiro de Engenharia de Engenharia de Software - SBES'2003, 2003, Manaus. Anais da Sessao de Ferramentas do XVII Simpósio Brasileiro de Engenharia de Engenharia de Software, 2003. v. 1. p. 67-72. |
| 8. | SIMÃO, A. S. ; MALDONADO, J. C. . Coloured petri nets: Safety analysis using mutation testing. In: First Latin American Symposium on Dependable Computing, 2003, São Paulo, SP. Proceedings of First Latin American Symposium on Dependable Computing, 2003. v. 1. p. 51-54. |
| 9. | BARBOSA, E. F. ; LEBLANC, R. ; MALDONADO, J. C. ; GUZDIAL, M. . The Challenge of Teaching Software Testing Earlier into Design Courses. In: II Workshop on the Teaching of Software Testing, 2003, Melbourne. II Workshop on the Teaching of Software Testing, 2003. v. 1. p. 1-4. |
| 10. | SIMÃO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . mudelgen: A Tool for Processing Mutant Operator Description. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado/RS. Anais do Simpósio Brasileiro de Engenharia de Software/Caderno de Ferramentas. v. 1. p. 426-431. |
| 11. | VINCENZI, A. M. R. ; DELAMARO, M. E. ; SIMÃO, A. S. ; WONG, W. E. ; MALDONADO, J. C. . JaBÁ: A Java Bytecode Analyzer. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado/RS. Anais do Simpósio Brasileiro de Engenharia de Software/Caderno de Ferramentas, 2002. v. 1. p. 414-419. |
| 12. | DOMINGUES, A. L. S. ; SIMÃO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . EvalTool: Um Ambiente de Apoio à Avaliação e Seleção de Ferramentas de Teste para Programas Orientados a Objetos. In: Simpósio Brasileiro de Engenharia de Software, 2002, Gramado/RS. Anais do Simpósio Brasileiro de Engenharia de Software/Caderno de Ferramentas, 2002. v. 1. p. 384-389. |
| Resumos publicados em anais de congressos |
| 1. | NAKAGAWA, E. Y. ; BARBOSA, E. F. ; MALDONADO, J. C. . Exploring Ontologies to support the establishment of Reference Architecture: An example on Software Testing. In: 8th Working IEEE/IFIP Conference on Software Architecture (WICSA) / 3rd European Conference on Software Architecture (ECSA), 2009, Cambridge (UK). Proceedings of the 8th Working IEEE/IFIP Conference on Software Architecture (WICSA) / 3rd European Conference on Software Architecture (ECSA), 2009. |
| 2. | ARROYO, B. A. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . Projeto de um Sistema de Help para Sistemas Web: Uma Perspectiva Transversal. In: XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008, São Paulo, SP. Anais do XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008. p. 1-1. |
| 3. | ANDERY, G. F. ; NAKAGAWA, E. Y. ; MALDONADO, J. C. ; MACHADO, L. P. . Módulo de Busca por Imagens no Sistema Memória Virtual. In: XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008, São Paulo, SP. Anais do XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008. p. 1-1. |
| 4. | SASAKI, M. M. F. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . Projeto de um Módulo de Documentação de Teste de Software. In: XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008, São Paulo, SP. Anais do XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008. |
| 5. | TREVISAN, J. V. T. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . Projeto de um Sistema Orientado a Aspecto de Gerência de Configuração de Teste de Software. In: XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008, São Paulo, SP. Anais do XVI Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2008), 2008. |
| 6. | DOMINGUES, A. L. S. ; BIANCHINI, Sandro Lopes ; COSTA, Marcella Letícia de Souza ; FERRARI, Fabiano Cutigi ; MALDONADO, J. C. . Web application development methods: a comparison. In: Workshop on Business Process Management, 2007, Gramado, RS. Anais do XIII Simpósio Brasileiro de Sistemas Multimídia e Web, 2007. p. 37-40. |
| 7. | CORTE, C. K. D. ; BARBOSA, E. F. ; MALDONADO, J. C. . Integrated Teaching of Programming Foundations and Software Testing. In: IFIP International Conference on Education for the 21st Century, 2006, Santiago. IFIP International Conference on Education for the 21st Century. v. 1. p. 425-425. |
| 8. | CAGNINI, M. I. ; PENTEADO, R. ; BRAGA, R. T. V. ; GERMANDO, F. S. R. ; MALDONADO, J. C. . Empirical studies progress on framework-based (re)-engineering. In: Experimental Software Engineering Latin American Workshop, 2006, Rio de Janeiro. Proceedings of Experimental Software Engineering Latin American Workshop, 2006. p. 47-48. |
| 9. | CAGNIN, M. I. ; BRAGA, R. T. V. ; PENTEADO, R. D. ; MALDONADO, J. C. ; MASIERO, P. C. ; GERMANO, F. S. . Empirical Studies on Framework-Based (Re)-Engineering. In: First Experimental Software Engineering Latin American Workshop in conjuction with XVIII Simpósio Brasileiro de Engenharia de Software, 2004, Brasília. Proceedings of First Experimental Software Engineering Latin American Workshop, 2004. v. 1. p. 1-2. |
| 10. | CHAN, Al. ; CAGNIN, M. I. ; MALDONADO, J. C. . Estudo e aplicação de um processo de reengenharia em sistemas legados . In: XXI Simpósio Internacional de Iniciação Científica da USP (SIICUSP), 2003, São Carlos, SP. Anais do XXI Simpósio Internacional de Iniciação Científica da USP, 2003. v. 1. p. ---. |
| 11. | CONDOLO, M. A. P. ; SIMÃO, A. S. ; MALDONADO, J. C. . Mgaset java: geração de sequências de teste para validação de especificações baseada em máquinas de estado finito. In: Simpósio Internacional de Iniciação Científica da USP, 2000, São Paulo/SP. Anais do Simpósio Internacional de Iniciação Científica da USP, 2000. |
| 12. | SUGETA, T. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. . Proteum-RS/ST - Uma Ferramenta para Apoiar a Validação de Especificações Statecharts Baseada no Critério Analise de Mutantes. In: XIII SBES - Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Caderno de Ferramentas do XIII Simpósio Brasileiro de Engenharia de Software, 1999. p. 41-44. |
| 13. | SUGETA, T. ; MALDONADO, J. C. . Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts Baseada na Análise de Mutantes. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do IV Workshop de Teses em Engenharia de Software no XIII SBES, 1999. p. 01-06. |
| 14. | MARTIMIANO, L. A. F. ; MALDONADO, J. C. . Estudo de Técnicas de Teste de Regressão baseado em Mutação Seletiva. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do IV Workshop de Teses em Engenharia de Software no XIII SBES, 1999. p. 7-12. |
| 15. | GLADCHAEFF, A. P. ; SILVA, D. M. ; MALDONADO, J. C. . Diretrizes para um Instrumento de Avaliação de Software de Ensino. In: XIII Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Anais do IV Worshop de Teses em Engenharia de Software do XIII SBES, 1999. p. 18-22. |
| 16. | CARVALHO, R. A. ; FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Um Estudo para a Determinação de um Conjunto Essencial Preliminar de Operadores de Mutação para a Validação de Máquinas de Estados Finitos. In: 17o Simpósio Brasileiro de Redes de Computadores, 1999, Salvador. Anais do 17o. SBRC, 1999. p. 577-578. |
| 17. | MALDONADO, J. C. ; NAKAGAWA, E. Y. . ITOOL - Uma Ferramenta para Injeção de Defeitos de Software. In: XIII SBES - Simpósio Brasileiro de Engenharia de Software, 1999, Florianópolis. Caderno de Ferramentas do XIII SBES - Simpósio Brasileiro de Engenharia de Software, 1999. p. 49-52. |
| 18. | VILELA, P. R. ; MALDONADO, J. C. ; CRUZES, D. S. ; JINO, M. . Viewgraph: Visualizing Control Flow Graphs And Call Graphs. In: XII SBES - Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. Caderno de Ferramentas do XII SBES - Simpósio Brasileiro de Engenharia de Software. Maringá - PR, 1998. p. 29-35. |
| 19. | MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Validação de Especificações Formais Com A Aplicação do Critério Análise de Mutantes. In: I WMF - Workshop de Métodos Formais, 1998, Porto Alegre. Anais do I Workshop de Métodos Formais. Porto Alegre - RS, 1998. p. 129-134. |
| 20. | CHAIM, M. L. ; JINO, M. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . Poketool: Estado Atual de Uma Ferramenta Par Teste Estrutural de Software Baseado Em Análise de Fluxo de Dados. In: XII Simpósio Brasileiro de Engenharia de Software, 1998, Maringá. Caderno de Ferramentas do XII SBES. Maringá - PR, 1998. p. 37-45. |
| 21. | DELAMARO, M. E. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . PROTEUM/IM: Uma Ferramenta de Apoio ao Teste de Integração. In: XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Sessão de Ferramentas dos Anais do XI SBES, 1997. p. 487-490. |
| 22. | FERRARI, S. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Integração de uma Ferramenta de Teste em Ambientes de Engenharia de Software Baseados em PCTE. In: II Workshop de Teses em Engenharia de Software - XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do II Workshop de Teses em Engenharia de Software - XI SBES, 1997. p. 26-27. |
| 23. | BARBOSA, E. F. ; MALDONADO, J. C. . Uma Contribuição para a Determinação de um Conjunto de Operadores de Mutações Essenciais no Teste de Programas C. In: II Workshop de Teses em Engenharia de Software - XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do II Workshop de Teses em Engenharia de Software - XI SBES, 1997. p. 90-92. |
| 24. | VINCENZI, A. M. R. ; MALDONADO, J. C. . Subsídios para o Estabelecimento de Estratégias de Teste Utilizando a Técnica de Mutação. In: II Workshop de Teses em Engenharia de Software - XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do II Workshop de Teses em Engenharia de Software - XI SBES, 1997. p. 93-95. |
| 25. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . Um Sistema de Injeção de Defeitos Baseado em Operadores de Mutação. In: II Workshop de Teses em Engenharia de Software - XI SBES - Simpósio Brasileiro de Engenharia de Software, 1997, Fortaleza. Anais do II Workshop de Teses em Engenharia de Software - XI SBES, 1997. p. 96-98. |
| 26. | BORGES, K. N. ; RAMOS, F. S. ; MALDONADO, J. C. ; CHAIM, M. L. ; JINO, M. . Poke-Tool Versão Clipper - Uma Ferramenta para Suporte ao Teste Estrutural Baseado em Análise de Fluxo de Dados. In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Caderno de Ferramentas do IX SBES - Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1995. p. 483-486. |
| 27. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; DELAMARO, M. E. ; MASIERO, P. C. . Proteum/FSM - Uma Ferramenta para Apoiar a Validação de Máquinas de Estado Finito pelo Critério Análise de Mutantes. In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. IX SBES - Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1995. p. 475-478. |
| 28. | NAKAZATO, K. K. ; ALEXANDRINO, M. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . MGASET - Módulo de Geração de Sequências de Teste. In: IX SBES - Simpósio Brasileiro de Engenharia de Software, 1995, Recife. Caderno de Ferramentas do IX SBES - Simpósio Brasileiro de Engenharia de Software. Recife - PE, 1995. p. 479-482. |
| 29. | MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; DELAMARO, M. E. ; MASIERO, P. C. . Análise de Mutantes no Teste de Software e na Validação de Sistemas Reativos. In: Jornada da Computação, Sessão Regular da Academia Brasileira de Ciências, 1994, São Paulo. Jornada da Computação, Sessão Regular da Academia Brasileira de Ciências. São Paulo - SP, 1994. p. 506. |
| 30. | DELAMARO, M. E. ; FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Teste Baseado em Mutação e Qualidade de Software. In: Workshop de Qualidade de Software - VIII SBES - Simpósio Brasileiro de Engenharia de Software, 1994, Curitiba. Anais do Workshop de Qualidade de Software - VIII SBES - Simpósio Brasileiro de Engenharia de Software, 1994. p. 28-30. |
| 31. | DELAMARO, M. E. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Proteum: Uma Ferramenta de Teste Baseada Na Análise de Mutantes. In: Simpósio Brasileiro de Engenharia de Software, 1993. Caderno de Ferramentas do VII SBES - Simpósio Brasileiro de Engenharia de Software. Rio de Janeiro - RJ. p. 31-33. |
| 32. | S, L. J. P. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Poke-Tool - Versão Cobol - Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Cobol Baseado Em Análise de Fluxo de Dados. In: VI SBES - Simpósio Brasileiro de Engenharia de Software, 1992. Caderno de Ferramentas do VI SBES - Simpósio Brasileiro de Engenharia de Software. Gramado - RS. p. 24-25. |
| 33. | MALDONADO, J. C. . Poke-Tool:Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Baseado Em Análise de Fluxo de Dados. In: Caderno de Ferramentas do V SBES - Simpósio Brasileiro de Engenharia de Software, 1991, Ouro Preto. POKE-TOOL:UMA FERRAMENTA PARA SUPORTE AO TESTE ESTRUTURAL DE PROGRAMAS BASEADO EM ANÁLISE DE FLUXO DE DADOS. Ouro Preto - MG, 1991. p. 10. |
| Resumos publicados em anais de congressos(artigos) |
| 1. | VERGÍLIO, S. ; MALDONADO, J. C. ; JINO, M. . Infeasible paths in the context of data flox based testing. Journal of the Brazilian Computer Society, v. 1, p. 5-5, 2006. |
| 2. | LEMOS, O. A. L. ; VINCENZI, A. M. R. ; MASIERO, P. C. ; MALDONADO, J. C. . Control and data flow structural testing criteria for aspect-oriented programs. Journal of Systems and Software, v. 1, p. 1-2, 2006. |
| Apresentações de Trabalho |
| 1. | FELIZARDO, K. R. ; Mehwis ; Emília Mendes ; MACDONELL, Stephen G. ; MALDONADO, J. C. . Analysing the use of graphs to represent the results of Systematic Reviews in Software Engineering. 2011. (Apresentação de Trabalho/Simpósio). |
| 2. | MALDONADO, J. C. . Teste de Software. 2003. (Apresentação de Trabalho/Conferência ou palestra). |
| 3. | MALDONADO, J. C. . Avaliação Empírica de Técnicas de VV&T no Contexto do Projeto Readers. 2002. (Apresentação de Trabalho/Conferência ou palestra). |
| 4. | MALDONADO, J. C. . Considerações Sobre Formação de Recursos Humanos em Computação: Estado Atual e Perspectivas. 2001. (Apresentação de Trabalho/Seminário). |
| 5. | MALDONADO, J. C. . Considerações sobre Formação de Recursos Humanos na Área de Computação no Brasil. 2001. (Apresentação de Trabalho/Seminário). |
| 6. | MALDONADO, J. C. . Aspectos de Teste e Validação na Produção de Software. 2000. (Apresentação de Trabalho/Seminário). |
| 7. | MALDONADO, J. C. . Ações da SBC no Processo Educacional na Área de Computação. 1999. (Apresentação de Trabalho/Seminário). |
| 8. | MALDONADO, J. C. . SQUAD - Software Quality Across Different Regions. 1999. (Apresentação de Trabalho/Outra). |
| 9. | MALDONADO, J. C. . SQUAD (Software Quality Across Different Regions) Project: An Overview. 1999. (Apresentação de Trabalho/Seminário). |
| 10. | MALDONADO, J. C. . Teste de Software: Aspectos Teóricos e Empíricos. 1998. (Apresentação de Trabalho/Seminário). |
| 11. | MALDONADO, J. C. . The Software Testing Research at ICMC-USP. 1998. (Apresentação de Trabalho/Outra). |
| 12. | MALDONADO, J. C. . Palestra no XVII SBC - Congresso da Sociedade Brasileira de Computação. 1997. (Apresentação de Trabalho/Congresso). |
| 13. | MALDONADO, J. C. . Testes de Software. 1997. (Apresentação de Trabalho/Seminário). |
| 14. | MALDONADO, J. C. . Engenharia de Software: Aspectos de Teste e Validação. 1997. (Apresentação de Trabalho/Seminário). |
| 15. | MALDONADO, J. C. . Atividade de Pesquisa em Teste de Software no ICMC-USP. 1997. (Apresentação de Trabalho/Seminário). |
| 16. | MALDONADO, J. C. . Research Activities on software Testing and Validation at ICMC-USP. 1997. (Apresentação de Trabalho/Seminário). |
| 17. | MALDONADO, J. C. . Mutation Testing Applied to Validate the Dinamic Aspect of Reactive Systems. 1995. (Apresentação de Trabalho/Seminário). |
| 18. | MALDONADO, J. C. . Software Testing and Validation Research Activities at the University of São Paulo (USP) ICMC/São Carlos. 1994. (Apresentação de Trabalho/Seminário). |
| 19. | MALDONADO, J. C. . Aspectos de Teste na Produção de Software. 1993. (Apresentação de Trabalho/Seminário). |
| 20. | MALDONADO, J. C. . Verificação, Validação, Teste e Simulação. 1993. (Apresentação de Trabalho/Seminário). |
| 21. | MALDONADO, J. C. . Ambientes de Teste para Sistemas Distribuídos. 1993. (Apresentação de Trabalho/Seminário). |
| 22. | MALDONADO, J. C. . Especificação e Verificação de Protocolos. 1992. (Apresentação de Trabalho/Seminário). |
| 23. | MALDONADO, J. C. . Atividades de Pesquisa em Teste de Software. 1992. (Apresentação de Trabalho/Seminário). |
| 24. | MALDONADO, J. C. . Teste de Software baseado em Análise de Fluxo de Dados. 1991. (Apresentação de Trabalho/Outra). |
| 25. | MALDONADO, J. C. . Pesquisa em Engenharia de Software. 1991. (Apresentação de Trabalho/Seminário). |
| 26. | MALDONADO, J. C. . Data Flow based Structural Testing Criteria. 1990. (Apresentação de Trabalho/Seminário). |
| 27. | MALDONADO, J. C. . Ferramentas e Ambientes de Teste. 1989. (Apresentação de Trabalho/Seminário). |
| 28. | MALDONADO, J. C. . Ciências da Computação. 1986. (Apresentação de Trabalho/Seminário). |
| Demais tipos de produção bibliográfica |
| 1. | Malheiros, V. ; HÖHN, Erika Nina ; MALDONADO, J. C. . Qualipso project: Quality recommendations for FLOSS development process - A perspective based on trustworthy elements 2009 (Relatório Técnico). |
| 2. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . Uma Contribuição ao Projeto Arquitetural de Ambientes de Engenharia de Software. XI Simpósio de Teses e Dissertações do Programa de Pós-Graduação em Ciência de Computação e Matemat., 2008 (Publicação em Evento de Pós-Graduação). |
| 3. | MORELLI, L. B. ; MALDONADO, J. C. ; NAKAGAWA, E. Y. . Subsistema de Acesso e Navegação para o Memória Virtual 2008 (Publicação em Evento de Iniciação Científica). |
| 4. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. ; HÖHN, Erika Nina ; OLIVEIRA, M. C. F. ; MARTIMIANO, L. A. F. ; MENDONCA, M. ; SHULL, F. ; CARVER, J. ; BASILI, V. R. . Data analysis of the first two PBR replications in readers project 2004 (Relatório Técnico). |
| 5. | SIMÃO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. ; SANTANA, A. C. L. . Software Product Instrumentation Description 2002 (Publicação sem Arbitragem). |
| 6. | SIMÃO, A. S. ; MALDONADO, J. C. . Proteum - RS/PN: Uma Ferramenta para a Validação de Redes de Petri Baseada na Análise de Mutantes. São Carlos: Gráfica do ICMC-USP, 2001 (Publicação em Evento de Pós-Graduação). |
| 7. | VINCENZI, A. M. R. ; MALDONADO, J. C. . Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação. São Carlos: Gráfica do ICMC-USP, 2001 (Publicação em Evento de Pós-Graduação). |
| 8. | BARBOSA, E. F. ; MALDONADO, J. C. . Ensino, Aprendizado e Treinamento no Contexto de Teste e Validação de Software. São Carlos: Gráfica do ICMC-USP, 2001 (Publicação em Evento de Pós-Graduação). |
| 9. | DOMINGUES, A. L. S. ; MALDONADO, J. C. . Avaliação de Técnicas, Critérios e Ferramentas de Teste para Programas OO. São Carlos: Gráfica do ICMC-USP, 2001 (Publicação em Evento de Pós-Graduação). |
| 10. | SIMÃO, V. F. ; MALDONADO, J. C. . Definição de Mecanismos para Avaliação de Qualidade de Produtos de Software. São Carlos: Gráfica do ICMC-USP, 2001 (Publicação em Evento de Pós-Graduação). |
| 11. | MALDONADO, J. C. ; MARTIMIANO, L. A. F. ; DÓRIA, E. S. ; FABBRI, S. C. F. P. ; MENDONÇA NETO, M. G. . Readers Project: Replication do Experiments A Case Study using Requeriments Documents. Rio de Janeiro: IME, 2001 (Publicação sem Arbitragem). |
| 12. | CASTRO, J. F. B. ; GIMENES, I. M. S. ; MALDONADO, J. C. . Uma Proposta de Plano Pedagógico para a Matéria Engenharia de Software 2000 (Publicação sem Arbitragem). |
| 13. | OLIVEIRA, M. C. F. ; MALDONADO, J. C. ; et al. . Ponderações sobre o Mestrado Profissionalizante na Área de Computação 2000 (Publicação sem Arbitragem). |
| 14. | SANT'ANA, D. A. ; FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Teste e Validação de Sistemas Reativos 2000 (Publicação em Evento de Iniciação Científica). |
| 15. | SIMÃO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN: Uma Ferramenta para a Validação de Redes de Petri Baseada na Análise de Mutantes 2000 (Publicação em Evento de Pós-Graduação). |
| 16. | DOMINGUES, A. L. S. ; MALDONADO, J. C. . Avaliação de Técnicas, Critérios e Ferramentas de Teste para Programas 00 2000 (Publicação em Evento de Pós-Graduação). |
| 17. | DORIA, E. S. ; MALDONADO, J. C. . Um Estudo de Técnicas de Revisão e Técnicas de Teste de Software 2000 (Publicação em Evento de Pós-Graduação). |
| 18. | SIMÃO, V. F. ; MALDONADO, J. C. . Definição de Mecanismos para Avaliação de Qualidade de Produtos de Software 2000 (Publicação em Evento de Pós-Graduação). |
| 19. | ARROYO, C. S. ; MALDONADO, J. C. . Um Método para Avaliação da Qualidade de Pacotes de Software na Área de Sistema de Informação 2000 (Publicação em Evento de Pós-Graduação). |
| 20. | MARTIMIANO, L. A. F. ; MALDONADO, J. C. . Estudo de Técnicas de Teste de Regressão Baseado em Mutação Seletiva 2000 (Publicação em Evento de Pós-Graduação). |
| 21. | SUGETA, T. ; MALDONADO, J. C. . Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts Baseada na Análise de Mutantes 2000 (Publicação em Evento de Pós-Graduação). |
| 22. | OLIVEIRA, M. C. F. ; MALDONADO, J. C. ; MONTEIRO, J. A. S. ; SOARES, L. F. G. ; MELNIKOFF, S. S. S. . Ponderações sobre o Mestrado Profissionalizante na Área Computação 2000 (Artigo Convidado). |
| 23. | TULLIO, R. R. ; MALDONADO, J. C. ; SOUZA, S. R. S. S. . Subsídios para Redução do Custo de Aplicação do Critério de Teste de Software Análise de Mutantes 1999 (Publicação em Evento de Iniciação Científica). |
| 24. | SIMÃO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN: Uma Ferramenta para a Validação de Especificações Redes de Petri usando a Análise de Mutantes 1999 (Publicação em Evento de Pós-Graduação). |
| 25. | DORIA, E. S. ; MALDONADO, J. C. . Um Estudo de Técnicas de Revisão e Técnicas de Teste de Software 1999 (Publicação em Evento de Pós-Graduação). |
| 26. | MARTIMIANO, L. A. F. ; MALDONADO, J. C. . Estudo de Técnicas de Teste de Regressão baseado em Mutação Seletiva 1999 (Publicação em Evento de Pós-Graduação). |
| 27. | SIMÃO, V. F. ; MALDONADO, J. C. . Definição de Mecanismos para Avaliação de Qualidade de Produtos de Software 1999 (Publicação em Evento de Pós-Graduação). |
| 28. | SUGETA, T. ; MALDONADO, J. C. . Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts baseada na Análise de Mutantes 1999 (Publicação em Evento de Pós-Graduação). |
| 29. | VINCENZI, A. M. R. ; MALDONADO, J. C. . Subsídio para o Estabelecimento de Estratégias de Teste Baseadas na Técnica de Mutação 1999 (Publicação em Evento de Pós-Graduação). |
| 30. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . Um Sistema de Injeção de Defeitos de Software Baseado em Operadores de Mutação 1999 (Publicação em Evento de Pós-Graduação). |
| 31. | BARBOSA, E. F. ; MALDONADO, J. C. . Uma Contribuição para a Determinação de um Conjunto Essencial de Operadores de Mutação no Teste de Programas C 1999 (Publicação em Evento de Pós-Graduação). |
| 32. | AZEVEDO, G. D. ; MALDONADO, J. C. . Projeto TAQS - Tecnologia para Avaliação da Qualidade do Software 1998 (Publicação sem Arbitragem). |
| 33. | MASIERO, P. C. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; FORTES, R. P. M. ; SANCHES, R. ; OLIVEIRA, M. C. F. . Pesquisas em Métodos e Ferramentas de Engenharia de Software com Ênfase em Sistemas Reativos 1998 (Artigo Convidado). |
| 34. | BARBOSA, E. F. ; MALDONADO, J. C. . Uma Contribuição para a Determinação de um Conjunto de Operadores de Mutações Essenciais no Teste de Programas C 1998 (Publicação em Evento de Pós-Graduação). |
| 35. | VINCENZI, A. M. R. ; MALDONADO, J. C. . Subsídios para o Estabelecimento de Estratégias de Teste Utilizando a Técnica de Mutação 1998 (Publicação em Evento de Pós-Graduação). |
| 36. | NAKAGAWA, E. Y. ; MALDONADO, J. C. . Um Sistema de Injeção de Defeitos Baseado em Operadores de Mutação 1998 (Publicação em Evento de Pós-Graduação). |
| 37. | ALEXANDRINO, M. ; MALDONADO, J. C. . Análise de Mutantes no Teste de Programas C++: Especificação e Implementação de Uma Ferramenta 1998 (Publicação em Evento de Pós-Graduação). |
| 38. | TULLIO, R. R. ; MALDONADO, J. C. . Estudos Empíricos de Critérios de Teste de Software com Ênfase no Critério Análise de Mutantes 1998 (Publicação em Evento de Iniciação Científica). |
| 39. | SANT'ANA, D. A. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. . Teste e Validação de Sistemas Reativos 1998 (Publicação em Evento de Iniciação Científica). |
| 40. | COSTA, R. M. ; SANCHES, R. ; IAVARONI, G. M. ; MALDONADO, J. C. ; MASIERO, P. C. . Engenharia Reversa no Apoio a Manutenibilidade de Software. Rio de Janeiro - RJ 1997 (Publicação sem Arbitragem). |
| 41. | VILELA, P. R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Uma Visão Sobre o Teste Estrutural Baseado em Análise de Fluxo de Dados 1997 (Publicação sem Arbitragem). |
| 42. | VINCENZI, A. M. R. ; BARBOSA, E. F. ; DELAMARO, M. E. ; SOUZA, S. R. S. ; MALDONADO, J. C. . Critério Análise de Mutantes: Estado Atual e Perspectivas 1997 (Publicação sem Arbitragem). |
| 43. | CHAIM, M. L. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Ferramentas para Teste Estrutural de Software Baseado em Análise de Fluxo de Dados: O Caso POKE-TOOL 1997 (Publicação sem Arbitragem). |
| 44. | DELAMARO, M. E. ; MALDONADO, J. C. . Proteum: A Tool for the Assessment of Test Adequacy for C Programs 1997 (Publicação sem Arbitragem). |
| 45. | VILELA, P. R. ; MALDONADO, J. C. . Program Graph Visualization 1997 (Publicação sem Arbitragem). |
| 46. | NAKAGAWA, E. Y. ; DELAMARO, M. E. ; CHAIM, M. L. ; MALDONADO, J. C. . Aspectos de Projeto e Implementação de Interfaces Gráficas do Usuário para Ferramentas de Teste 1997 (Publicação sem Arbitragem). |
| 47. | WONG, W. E. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . A Comparison on Selective Mutation Testing in C and Fortran 1997 (Publicação sem Arbitragem). |
| 48. | SOUZA, S. R. S. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Análise de Mutantes e Potenciais-Usos: Uma Avaliação Empírica 1997 (Publicação sem Arbitragem). |
| 49. | SOUZA, S. R. S. ; MALDONADO, J. C. . Uma Estratégia de Minimização do Conjunto de Casos de Teste para o Critério Análise de Mutantes 1997 (Publicação sem Arbitragem). |
| 50. | PAILO, L. F. ; VILLAS BOAS, A. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Avaliação de Adequação do Conjunto de Teste Funcional Utilizando Critérios Estruturais com o Apoio de Ferramentas Comerciais 1997 (Publicação sem Arbitragem). |
| 51. | PERES, L. M. ; VERGÍLIO, S. R. ; JINO, M. ; MALDONADO, J. C. . Aspectos de Seleção de Caminhos para Cobertura de Critérios Estruturais de Teste 1997 (Publicação sem Arbitragem). |
| 52. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Resultados de um Experimento de Aplicação de Diferentes Técnicas de Geração de Dados de Teste 1997 (Publicação sem Arbitragem). |
| 53. | VILELA, P. R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Data Flow Based Testing of Programs with Pointers 1997 (Publicação sem Arbitragem). |
| 54. | VERGÍLIO, S. R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Aumentando a Eficácia dos Critérios Estruturais Através da Utilização de Critérios Restritos 1997 (Publicação sem Arbitragem). |
| 55. | SPOTO, E. S. ; JINO, M. ; MALDONADO, J. C. . Teste Estrutural Baseado em Fluxo de Dados de Software Aplicativo de Banco de Dados Relacional 1997 (Publicação sem Arbitragem). |
| 56. | DELAMARO, M. E. ; MALDONADO, J. C. . Interface Mutation: An Approach for Integration Testing 1997 (Publicação sem Arbitragem). |
| 57. | VILELA, P. R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Data Flow Based Integration Testing 1997 (Publicação sem Arbitragem). |
| 58. | BUENO, P. M. S. ; JINO, M. ; VERGÍLIO, S. R. ; MALDONADO, J. C. . Uma Proposta de Extensão da Ferramenta POKE-TOOL para Apoiar o Tratamento de Não Executabilidade 1997 (Publicação sem Arbitragem). |
| 59. | COSTA, R. M. ; SANCHES, R. ; MALDONADO, J. C. ; FABBRI, S. C. P. F. . Aplicação do Método de Engenharia Reversa FUSION-RE/I na Recuperação da Funcionalidade da Ferramenta de Teste Proteum 1997 (Publicação sem Arbitragem). |
| 60. | CRESPO, A. N. ; PASQUINI, A. ; MALDONADO, J. C. . Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software 1997 (Publicação sem Arbitragem). |
| 61. | PERES, L. M. ; VERGÍLIO, S. R. ; JINO, M. ; MALDONADO, J. C. . Critérios Potenciais Usos: Um Mecanismo para a Definição de Métricas de Complexidade de Software 1997 (Publicação sem Arbitragem). |
| 62. | DELAMARO, M. E. ; MALDONADO, J. C. . Interface Mutation: A Case Study 1997 (Publicação sem Arbitragem). |
| 63. | VILLAS BOAS, A. ; MALDONADO, J. C. ; et al. . Gestão de Configuração na Atividade de Teste 1997 (Publicação sem Arbitragem). |
| 64. | MORANDINI, M. ; MALDONADO, J. C. . Subsídios para o Teste de Software Orientado a Objetos: Definição e Mapeamento de Programas C++ para a LI++ 1997 (Publicação em Evento de Pós-Graduação). |
| 65. | TOMAZELA, M. G. J. M. ; MALDONADO, J. C. . Avaliação do Custo de Aplicação dos Critérios Potenciais Usos no Teste de Programas COBOL 1997 (Publicação em Evento de Pós-Graduação). |
| 66. | SOUZA, S. R. S. S. ; MALDONADO, J. C. . Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas 1997 (Publicação em Evento de Pós-Graduação). |
| 67. | ARROYO, C. S. ; MALDONADO, J. C. . Um Método para Avaliação/Seleção da Qualidade de Pacotes de Software na área de sistemas de Informação 1997 (Publicação em Evento de Pós-Graduação). |
| 68. | VILHANUEVA, M. S. ; DELAMARO, M. E. ; MALDONADO, J. C. . Desenvolvimento e Utilização de um ambiente para Aplicação de análise de Mutantes para Programas de Médio Porte 1997 (Publicação em Evento de Iniciação Científica). |
| 69. | YOITI, F. T. ; SILVA, F. L. V. ; MALDONADO, J. C. . O Critério Análise de Mutantes na Validação de Sistemas Reativos 1996 (Publicação em Evento de Iniciação Científica). |
| 70. | HAYASHI, R. H. ; MALDONADO, J. C. ; FORTES, R. P. M. . Uma Ferramenta de Auxílio à Análise de Propriedades de Hiperdocumentos 1996 (Publicação em Evento de Iniciação Científica). |
| 71. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Uma Estratégia de Teste para Especificações de Sistemas Reativos 1995 (Publicação em Evento de Pós-Graduação). |
| 72. | MORANDINI, M. ; MALDONADO, J. C. . Apoio ao Teste de Software Dentro do Paradigma de Orientação a Objetos 1995 (Publicação em Evento de Pós-Graduação). |
| 73. | TOMAZELA, M. G. J. M. ; MALDONADO, J. C. . Avaliação do Custo de Aplicação dos Critérios Potenciais Usos no Teste de Programa COBOL 1995 (Publicação em Evento de Pós-Graduação). |
| 74. | SOUZA, S. R. S. S. ; MALDONADO, J. C. . Avaliação do Custo e Eficácia do Critério Analise de Mutantes na Atividade de Teste de Programas 1995 (Publicação em Evento de Pós-Graduação). |
| 75. | NAKAZATO, K. K. ; MALDONADO, J. C. . Módulo de Geração de Sequências de Teste Baseadas em Máquinas de Estado Finito 1995 (Publicação em Evento de Pós-Graduação). |
| 76. | PAILO, L. F. ; MALDONADO, J. C. . Estudo Empírico de Critérios de Teste com Ênfase no Critério Análise de Mutantes 1995 (Publicação em Evento de Iniciação Científica). |
| 77. | CÓFFANI, J. ; MALDONADO, J. C. . Estudo Empírico Comparativo entre Técnicas de Teste Funcional e Estrutural 1995 (Publicação em Evento de Iniciação Científica). |
| 78. | BORGES, K. N. ; RAMOS, F. S. ; MALDONADO, J. C. . Poke-Tool Versão Clipper - Uma Ferramenta para Suporte ao Teste Estrutural de Programas Clipper Baseada em Análise de Fluxo de Dados 1995 (Publicação em Evento de Iniciação Científica). |
| 79. | SOUZA, O. R. ; MALDONADO, J. C. . Configuração de uma Ferramenta de Teste que Apóia o Critério Baseado em LCSAJ 1995 (Publicação em Evento de Iniciação Científica). |
| 80. | TOKURA, F. Y. ; DOLFINI, F. ; MALDONADO, J. C. . Estudo e Implementação de Operadores de Mutação para a Ferramenta Proteum/FSM 1995 (Publicação em Evento de Iniciação Científica). |
| 81. | LIMA, C. M. ; MALDONADO, J. C. . Uma Ferramenta de Software para Auxílio ao Desenvolvimento de Hiperdocumentos 1995 (Publicação em Evento de Iniciação Científica). |
| 82. | ALEXANDRINO, M. ; MALDONADO, J. C. . Módulo de Geração de Seqüências de Teste para Máquinas de Estados Finitos 1995 (Publicação em Evento de Iniciação Científica). |
| 83. | DELAMARO, M. E. ; MALDONADO, J. C. . Aplicação da Análise de Mutantes no Teste de Integração de Software 1994 (Publicação em Evento de Pós-Graduação). |
| 84. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Uma Estratégia de Teste para Especificações de Sistemas Reativos 1994 (Publicação em Evento de Pós-Graduação). |
| 85. | RAMOS, F. S. ; MALDONADO, J. C. . Configuração da Ferramenta Poke-Tool para Clipper 1994 (Publicação em Evento de Iniciação Científica). |
| 86. | CAMPOS, A. R. ; MALDONADO, J. C. . Implementação e Aplicação do Critério de McCabe 1994 (Publicação em Evento de Iniciação Científica). |
| 87. | ROSSI, A. C. ; MALDONADO, J. C. . Avaliação Empírica de Critérios de Teste Funcionais em Relação aos Critérios Potenciais Usos 1993 (Publicação em Evento de Iniciação Científica). |
| 88. | GREGÓRIO, G. H. P. ; MALDONADO, J. C. . Estudo e Implementação de Métricas de Software no Ambiente POKE-TOOL 1993 (Publicação em Evento de Iniciação Científica). |
| 89. | GREGÓRIO, G. H. P. ; MALDONADO, J. C. . Estudo e Implementação de Métricas de Software no Ambiente POKE-TOOL 1993 (Publicação em Evento de Iniciação Científica). |
| 90. | RAMOS, F. S. ; MALDONADO, J. C. . Uma Ferramenta para Obtenção do Grafo de Programa Clipper 1993 (Publicação em Evento de Iniciação Científica). |
| 91. | KUROKI, L. A. ; MALDONADO, J. C. . Avaliação dos Critérios Baseados em Análise de Fluxo de Dados para Programas de Cálculo Numérico 1993 (Publicação em Evento de Iniciação Científica). |
| 92. | GREGÓRIO, G. H. P. ; MALDONADO, J. C. . Métricas de Software: Aspectos de Implementação no Ambiente POKE-TOOL 1993 (Publicação em Evento de Iniciação Científica). |
| 93. | APPROBATO, F. L. ; MALDONADO, J. C. . Imposto de Renda em dBase II 1986 (Publicação em Evento de Iniciação Científica). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | DOMINGUES, A. L. S. ; MALDONADO, J. C. . EvalTool: Um Ambiente de Apoio à Avaliação e Seleção de Ferramentas de Teste para Programas Orientado a Objetos. 2002. |
| 2. | SIMÃO, A. S. ; MALDONADO, J. C. . Proteum-RS/PN - Um ferramenta para validação de redes de petri baseada na Análise de Mutantes. 2000. |
| 3. | SUGETA, T. ; MALDONADO, J. C. . Proteum-RS/ST: Uma Ferramenta para Apoiar a Validação de Especificações Statecharts baseada na Análise de Mutantes. 1999. |
| 4. | DELAMARO, M. E. ; MALDONADO, J. C. . Proteum/IM- Uma ferramenta de teste baseada no Mutação de Interface. 1997. |
| 5. | VILELA, P. R. ; MALDONADO, J. C. ; JINO, M. . Viewgraph: Visualizing Program Graph. 1996. |
| 6. | NAKAZATO, K. K. ; MALDONADO, J. C. ; FABBRI, Sandra .C P. F. ; MASIERO, P. C. . Mgaset - Módulo de Geração de Seqüências de Teste. 1995. |
| 7. | BORGES, K. N. ; RAMOS, F. S. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Poketool Versão Clipper - Uma Ferramenta Para Suporte Ao Teste Estrutural Baseado Em Análise de Fluxo de Dados. 1995. |
| 8. | FABBRI, Sandra .C P. F. ; MALDONADO, J. C. . Proteum/Fsm: Uma Ferramenta Para Apoiar A Validação de Máquinas de Estado Finito Pelo Critério Análise de Mutantes. 1995. |
| 9. | DELAMARO, M. E. ; MALDONADO, J. C. . Proteum: Uma Ferramenta de Teste Baseada Na Analise de Mutantes. 1993. |
| 10. | S, L. J. P. ; MALDONADO, J. C. ; JINO, M. ; CHAIM, M. L. . Poke-Tool - Versao Cobol - Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Cobol Baseado Em Analise de Fluxo de Dados. 1992. |
| 11. | MALDONADO, J. C. . Poketool: Uma Ferramenta Para Suporte Ao Teste Estrutural de Programas Baseado Em Análise de Fluxo de Dados. 1991. |
| 12. | CEREDA, R. L. D. ; MALDONADO, J. C. . S-Micro: Sistema Para Simulação de Unidade de Controle Microprogramada. 1984. |
| 13. | MALDONADO, J. C. ; BERGAMINI, E. W. . Um Sistema de Controle e Supervisão de Bordo Para Aplicações Em (Multi) Missões Espaciais. 1983. |
| 14. | DUTRA, L. S. V. ; MALDONADO, J. C. . O Sistema Mt Inpe. 1983. |
| 15. | MALDONADO, J. C. ; MENDES, R. A. . Um Sistema de Supervisão de Bordo Para Aplicações Em Missões Espaciais. 1981. |
| Trabalhos técnicos |
| 1. | MALDONADO, J. C. . Membro do comitê de programa do XXIII Simpósio Brasileiro de Engenharia de Software (SBES). 2009. |
| 2. | MALDONADO, J. C. . Member of program committee of the Twenty-First International Conference on Software Engineering and Knowledge Engineering (SEKE). 2009. |
| 3. | MALDONADO, J. C. . Publicity Chair of IEEE International Conference on Software Testing, Verification and Validation (ICST). 2009. |
| 4. | MALDONADO, J. C. . Membro do comite de programa do VIII Simpósio Brasileiro de Qualidade de Software (SBQS). 2009. |
| 5. | MALDONADO, J. C. . Member of program committee of the 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM). 2009. |
| 6. | MALDONADO, J. C. . Member of program committee of the 9th International Conference on Quality Software (QSIC). 2009. |
| 7. | MALDONADO, J. C. . Member of program committee of the 21st IFIP Int. Conference on Testing of Communicating Systems (TestCom/FATES' 09). 2009. |
| 8. | MALDONADO, J. C. . Membro do Comitê de programa XII Conferencia Iberoamericana de Ingenería de Requisitos y Ambientes de Software (IDEAS). 2009. |
| 9. | MALDONADO, J. C. . Member of Technical Program Committee of the IEEE International Conference on Software Testing, Verification and Validation (ICST). 2009. |
| 10. | MALDONADO, J. C. . Membro do comitê de programa do 3rd Brazilian Workshop on Systematic and Automated Software Testing (SAST). 2009. |
| 11. | MALDONADO, J. C. . Member of program committee of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009). 2009. |
| 12. | MALDONADO, J. C. . South America Liasion of SEKE2009 - Twenty-First International Conference on Software Engineering and Knowledge Engineering. 2009. |
| 13. | MALDONADO, J. C. . Member of program committee of the SBES 2009 Tools Session. 2009. |
| 14. | MALDONADO, J. C. . Member of the Technical Program Committee for SBES 2009 Tutorials. 2009. |
| 15. | MALDONADO, J. C. . Member of the technical program committee of the 4th Latin-american Symposium on Dependable Computing (LADC). 2009. |
| 16. | MALDONADO, J. C. . Member of the Technical Program Committee for SBCARS 2009. 2009. |
| 17. | MALDONADO, J. C. . Member of program committee of the Workshops to the 2009 SBBD and SBES Symposia. 2009. |
| 18. | MALDONADO, J. C. . Coordenador do Comitê do Programa XXXV Conferencia Latino-americana de Informática (XXXV CLEI). 2009. |
| 19. | MALDONADO, J. C. . Member of the Program Committee of the CISIS 2010 track on Software Engineering for Distributed Systems . 2009. |
| 20. | MALDONADO, J. C. . Member of Technical Program Committee of the Technical Program Committee of the 33rd Annual IEEE Software Engineering Workshop. 2009. |
| 21. | MALDONADO, J. C. . Member of the program committee for the 3rd Latin-American Workshop on Aspect-Oriented Software Development (LA-WASP.09). 2009. |
| 22. | MALDONADO, J. C. . Member of program committee of the Software Engineering (SE) Track - 23rd Annual ACM Symposium on Applied Computing (SAC). 2008. |
| 23. | MALDONADO, J. C. . Member of program committee of the Eighth International Conference on Quality Software (QSIC). 2008. |
| 24. | MALDONADO, J. C. . Member of program committee of the International Symposium on Empirical Software Engineering and Measurement (ESEM). 2008. |
| 25. | MALDONADO, J. C. . Member of the Program Committee of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE). 2008. |
| 26. | MALDONADO, J. C. . Member of program committee of the 20th IFIP Int. Conference on Testing Communication Systems (TestCom). 2008. |
| 27. | MALDONADO, J. C. . Member of program committee of the 8th Int. Workshop on Formal Approaches to Testing of Software (FATES). 2008. |
| 28. | MALDONADO, J. C. . Member of program committee of the 28th IFIP WG 6.1 conference on Formal Techniques for Networked and Distributed Systems (FORTE). 2008. |
| 29. | MALDONADO, J. C. . Member of program committee of the XI Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software (IDEAS). 2008. |
| 30. | MALDONADO, J. C. . Member of program committee of the First IEEE International Conference on Software Testing, Verification and Validation (ICST). 2008. |
| 31. | MALDONADO, J. C. . Membro do comitê de programa do XXXIV Conferencia Latinoamericana de Informática - CLEI. 2008. |
| 32. | MALDONADO, J. C. . Comitê Gestor do Congresso XXVIII Congresso da Sociedade Brasileira de Computação (CSBC). 2008. |
| 33. | MALDONADO, J. C. . Consultour ad hoc da Universidade Estadual de Maringá. 2002. |
| 34. | MALDONADO, J. C. . Membro da Comissão Organizadora da XI Oktobertech. 2002. |
| 35. | MALDONADO, J. C. . Membro da Comissão Organizadora da Fealtec. 2002. |
| 36. | MALDONADO, J. C. . Revisor da IEEE - Transaction on Software Engineering. 2002. |
| 37. | MALDONADO, J. C. . Membro da Comissão Julgadora do Processo Seletivo para Contratação de Docentes, junto ao Departamento de Ciências de Computação e Estatística do ICMC-USP. 2002. |
| 38. | MALDONADO, J. C. . Membro da Comissão Avaliadora do livro Softwae Engineering for Large-Scale Multi-Agent Systems. 2002. |
| 39. | SIMÃO, A. S. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Software product instrumentation description. 2002. |
| 40. | MALDONADO, J. C. . Orientador Acadêmico do Programa de Mestrado no ICMC-USP, na área de Computação. 2001. |
| 41. | MALDONADO, J. C. . Responsável pela colaboração do LABES com o Center for Empirically based Software Engeneering, CeBASE, patrocinado pela NSF - National Science Foundations.. 2001. |
| 42. | MALDONADO, J. C. . Membro do Projeto FAPESP, Métodos em Engenharia de Software, em Soluções Numéricas em Mecânica dos Fluidos, e em Singularidades e Sistemas Dinâmicos. 2001. |
| 43. | MALDONADO, J. C. . Membro da Comissão Julgadora da CTIC 2001 - Concurso de Trabalhos de Iniciação Científica. 2001. |
| 44. | MALDONADO, J. C. . Membro da Comissão Julgadora da CTD/SBC 2001 - Concurso de Teses e Dissertações. 2001. |
| 45. | MALDONADO, J. C. . Membro do Comissão de Educação da SBC - Sociedade Brasileira de Computação. 2001. |
| 46. | MALDONADO, J. C. ; SUGETA, T. . Coleta de Dados sobre os Programas de Pós-Graduação na Área de Ciência de Computação no Brasil - 2000. Compilação de Dados realizada no Departamento de Ciências de computação e Estatística. 2001. |
| 47. | MALDONADO, J. C. . Membro do Corpo Editorial da Revista de Eletrônica de Iniciação Científica, do Departamento de Ciências da Computação da Universidade de Lavras. 2001. |
| 48. | MALDONADO, J. C. . Membro do Comitê Assessor Especial Kit-RD/PROTEM do CNPq. 2001. |
| 49. | MALDONADO, J. C. . Avaliador ad hoc do Programa de Bolsas de Iniciação Científica do CNPq - PIBIC. 2001. |
| 50. | MALDONADO, J. C. . Avaliador de Trabalhos do SCTF2001 - IX Brazilian Symposium on Fault-Tolerant Computing. 2001. |
| 51. | MALDONADO, J. C. . Avaliador de Trabalhos da FORTE-2001 International Conference on Formal Techniques for Networked and Distributed Systems. 2001. |
| 52. | MALDONADO, J. C. . Membro da Comissão para avaliar a transformação do Curso de Tecnologia em Processamento de Dados, bacharelado, em Curso de Sistemas de Informação, bacharelado, a ser ministrado em Vitória - ES, pela Faculdade Vitoriana de Tecnologia. Portaria no. 080/01 - SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, 03.01.2001. 2001. |
| 53. | MALDONADO, J. C. . Membro da Comissão para avaliar a criação do Curso de Sistemas de Informação, a ser ministrado em Duque de Caxias - RJ, pela Faculdade de Filosofia, Ciências e Letras de Duque de Caxias. Portaria no. 146/01, SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 15.01.2001.. 2001. |
| 54. | MALDONADO, J. C. . Coordenador do Seminários de Computação. 2001. |
| 55. | MALDONADO, J. C. . Membro da Comissão encarregada de estudar e propor modificações ao curso de Bacharelado em Informática, SCE-ICMC-USP. 2001. |
| 56. | MALDONADO, J. C. . Membro Suplente da Comissão Julgadora do Processo Seletivo para Contratação de dois Docentes, junto ao Departamento de Ciências de Computação e Estatística do ICMC-USP. 2001. |
| 57. | MALDONADO, J. C. . Membro da Comissão encarregada de apresentar sugestões de medidas que adequarão o consumo de energia elétrica do ICMC-USP frente ao racionamento estabelecido pelo governo Federal a partir de 01/06/2001 . 2001. |
| 58. | MALDONADO, J. C. . Membro da Comissão encarregada de discutir e propor encaminhamentos para os trabalhos a serem desenvolvidos no II Congresso do Departamento . 2001. |
| 59. | MALDONADO, J. C. . Membro da Comissão encarregada de preparar o Plano Diretor de Obras do ICMC/USP. 2001. |
| 60. | MALDONADO, J. C. . Membro da Comissão de Especialistas para julgar a proposta de Tese de Doutorado - Área de Ciências de Computação e Matemática Computacional - do aluno Ernesto Massaropi Junior. 2001. |
| 61. | MALDONADO, J. C. . Membro Suplente da Comissão de Pesquisa - CPq, do ICMC-USP. 2001. |
| 62. | DELAMARO, M. E. ; PEZZÉ, M. ; VINCENZI, A. M. R. ; MALDONADO, J. C. . Mutation Testing to Multi-Threaded JAVA Programs. 2001. |
| 63. | MALDONADO, J. C. . Membro sub-Comitê de Software, CB-21/SC-10. 2000. |
| 64. | MALDONADO, J. C. . Grupo de Trabalho responsável da SBC - Sociedade Brasileira de Computação. 2000. |
| 65. | MALDONADO, J. C. . Membro do Conselho - ICMC-Junior. 2000. |
| 66. | MALDONADO, J. C. . Coordenador da Comissão Especial de Engenharia de Software da SBC. 2000. |
| 67. | MALDONADO, J. C. . Coordenador do Forum de Coordenadores da SBC. 2000. |
| 68. | MALDONADO, J. C. . Chefe do Departamento de Ciências de Computação e Estatística do ICMC-USP/São Carlos. 2000. |
| 69. | MALDONADO, J. C. . Membro do Grupo de Trabalho de P&D do Programa SocInfo/MCT. 2000. |
| 70. | MALDONADO, J. C. . Suplente do Coordenador do Programa de Pós-Graduação da Área Ciências de Computação e Matemática Computacional. 2000. |
| 71. | MALDONADO, J. C. . Membro do Conselho Editorial da SBC. 2000. |
| 72. | MALDONADO, J. C. . Coordenador do Projeto CNPq, Teste de Mutação: Análise e definição de Estratégias de Teste e Validação de Software. 2000. |
| 73. | MALDONADO, J. C. . Membro do Projeto CNPq, Pesquisa em Métodos e Ferramentas de Engenharia de Software. 2000. |
| 74. | MALDONADO, J. C. . Consultor ad hoc da Universidade Estadual de Maringá. 2000. |
| 75. | MALDONADO, J. C. . Consultor da Pró-Reitoria de Pós-Graduação da USP. 2000. |
| 76. | MALDONADO, J. C. . Avaliador de Trabalhos do XI CITS:QS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 2000. |
| 77. | MALDONADO, J. C. . Avaliador de Trabalhos do VIII WEI - Workshop sobre Educação na Informática do XIX SBC - Congresso Nacional da Sociedade Brasileira de Computação. 2000. |
| 78. | MALDONADO, J. C. . Avaliador de Trabalhos do VI ISSAT - International Conference on Reliability and Quality in Design. 2000. |
| 79. | MALDONADO, J. C. . Avaliador de Trabalhos do WQS'2000 - Workshop de Qualidade de Software. 2000. |
| 80. | MALDONADO, J. C. . Avaliador de Trabalhos do Mutation 2000 Symposium. 2000. |
| 81. | MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Sistemas de Informação, a ser ministrado em Maringá - PR, pela Faculdades Maringá. Portaria no. 1.528/00 - SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, 14.06.2000.. 2000. |
| 82. | MALDONADO, J. C. . Membro da Comissão para avaliar a criação do Curso de Sistemas de Informação, a ser ministrado em Duque de Caxias - RJ, pela Faculdade de Filosofia, Ciências e Letras de Duque de Caxias. Portaria no. 2.349/00, SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 03.09.2000.. 2000. |
| 83. | MALDONADO, J. C. . Membro da Comissão para avaliar a criação do Curso de Tecnologia em Processamento de Dados, a ser ministrado em Juiz de Fora - MG, pelo Centro de Ensino Superior de Juiz de Fora, Juiz de Fora - MG. Portaria no. 2.936.00, SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 16.10.2000.. 2000. |
| 84. | MALDONADO, J. C. . Membro da Comissão Encarregada de organizar homenagem póstuma ao Prof. Nelson Onuchic, do ICMC-USP. 2000. |
| 85. | MALDONADO, J. C. . Membro da Comissão para elaborar proposta de ocupação temporária dos blocos 1, 2, 3 e 4, do ICMC-USP. 2000. |
| 86. | MALDONADO, J. C. . Membro da Comissão Responsável pela Trilha Graduação-Mestrado do ICMC - Instituto de Ciências Matemáticas e de Computação - USP. 2000. |
| 87. | MALDONADO, J. C. . Membro Titular na Congregação do ICMC-USP - Chefe do Departamento de Ciências Matemáticas e de Computação. 2000. |
| 88. | MALDONADO, J. C. . Membro Titular no CTA - Conselho Técnico Administrativo do ICMC-USP - Chefe do Departamento de Ciências Matemáticas e de Computação. 2000. |
| 89. | MALDONADO, J. C. . Membro Titular na Comissão de Informática do ICMC-USP - Chefe do Departamento de Ciências Matemáticas e de Computação. 2000. |
| 90. | MALDONADO, J. C. . Avaliador de Trabalhos do XXVI SEMISH - Seminário Intergrado de Software e Hardware. 1999. |
| 91. | MALDONADO, J. C. . Avaliador de Trabalhos do X CITS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 1999. |
| 92. | MALDONADO, J. C. . Avaliador de Trabalhos do VII WEI - Workshop sobre Educação na Informática do XVIII SBC - Congresso Nacional da Sociedade Brasileira de Computação. 1999. |
| 93. | MALDONADO, J. C. . Avaliador de Trabalhos do V ISSAT - International Conference on Reliability and Quality in Design. 1999. |
| 94. | MALDONADO, J. C. . Avaliador de Trabalhos do 10th ISSRE - International Symposium on Software Reliability Engineering. 1999. |
| 95. | MALDONADO, J. C. . Avaliador de Trabalhos do XIX SCCC - International Conference of the Chilean Computer Science Society. 1999. |
| 96. | MALDONADO, J. C. . Avaliador do II Concurso de Monografias em Qualidade e Produtividade de Software. 1999. |
| 97. | MALDONADO, J. C. . Avaliador de Trabalhos do X Simpósio Brasileiro de Informática na Educação. 1999. |
| 98. | MALDONADO, J. C. . Coordenador da Comissão para avaliar a transformação do Curso de Tecnologia em Processamento de Dados em Bacharelado em Informática, ministrado em Curitiba, PR, pelo Instituto de Ciências do Paraná. Portaria nº082/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1999. |
| 99. | MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Engenharia da Computação a ser ministradoi em Brasília, DF, pela Faculdade Planalto de Ciência da Computação. Portaria nº 510/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1999. |
| 100. | MALDONADO, J. C. . Membro do Conselho da SBC - Sociedade Brasileira de Computação. 1999. |
| 101. | MALDONADO, J. C. . Membro do Comitê Organizador da Olímpiada Brasileira de Informática da SBC - Sociedade Brasileira de Computação. 1999. |
| 102. | MALDONADO, J. C. . Coordenador Local do Projeto - NSF-CNPq Readers Project: A Collaborative Research to Develop, Validate and Package Reading Techniques for Software Defect Detection . 1999. |
| 103. | MALDONADO, J. C. . Coordenador do Projeto CNPq - Teste de Mutação: Análise e Definição de Estratégias de Teste e Validação de Software. 1999. |
| 104. | MALDONADO, J. C. . Membro Suplente da Comissão Julgadora do Processo Seletivo para Contratação de Docente junto ao Departamento de Ciências da Computação e Estatística do ICMC-USP. 1999. |
| 105. | MALDONADO, J. C. . Presidente da Mesa Eleitoral para Representação Discente da Pós-graduação junto ao Conselho Universitário e Conselhos Centrais da USP. 1999. |
| 106. | MALDONADO, J. C. . Membro da Comissão encarregada de organizar homenagem póstuma aos ex-Diretores do ICMC-USP. 1999. |
| 107. | MALDONADO, J. C. . Suplente do Delegado da categoria de Associado do ICMC para constituir o Colégio Eleitoral para eleger os representantes da referida categoria no Conselho Universitário. 1999. |
| 108. | MALDONADO, J. C. . Coordenador da Comissão para avaliar a transformação do Curso Superior de Tecnologia em Processamento de Dados para Bacharelado em Sistemas de Informação, ministrado em Juiz de Fora, MG, pelo Centro de Ensino Superior de Juiz de Fora. Portaria no. 1.042/99 - SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, de 19.07.99.. 1999. |
| 109. | MALDONADO, J. C. . Membro da Comissão de Educação da SBC . 1999. |
| 110. | MALDONADO, J. C. . Consultor-SABE - Sistema de Acompanhamento e Avaliação do Programa de Bolsas no Exterior, CNPq Ref. Processo 200258/98-2. 1998. |
| 111. | MALDONADO, J. C. . Avaliador de Trabalhos do XII SBES - Simpósio Brasileiro de Engenharia de Software. 1998. |
| 112. | MALDONADO, J. C. . Avaliador de Trabalhos do IX CITS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 1998. |
| 113. | MALDONADO, J. C. . Avaliador de Trabalhos do VI WEI - Workshop sobre Educação na Informática do XVIII SBC - Congresso Nacional da Sociedade Brasileira de Computação. 1998. |
| 114. | MALDONADO, J. C. . Avaliador de Trabalhos do 11th IWTCs - International Workshop on Testing of Communicating Systems. 1998. |
| 115. | MALDONADO, J. C. . Avaliador de Trabalhos do WQS'98 - Workshop de Qualidade de Software . 1998. |
| 116. | MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Ciência da Computação a ser ministrado em Caraguatatuba, SP, pelas Faculdades Módulos. Portaria nº 1946/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1998. |
| 117. | MALDONADO, J. C. . Membro do Comitê da SBC- Sociedade Brasileira de Computação, para seleção de jovens para a IFIP - International Federation for Information Precessing, para o I Encontro Mundial de Jovens. 1998. |
| 118. | MALDONADO, J. C. . Membro do Projeto Integrado CNPq - Pesquisas em Métodos e Ferramentas de Engenharia de Software com Ênfase em Sistemas Reativos. 1998. |
| 119. | MALDONADO, J. C. . Coordenador Local do Projeto SQUAD - Software Quality Across Different Regions, Comunidade Européia INCO-DC. 1998. |
| 120. | MALDONADO, J. C. . Coordenador Local do Projeto FAPESP - Sapiens. 1998. |
| 121. | MALDONADO, J. C. . Suplente de Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMC-USP. 1998. |
| 122. | MALDONADO, J. C. . Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMC-USP. 1998. |
| 123. | MALDONADO, J. C. . Suplente do Chefe do Departamento de Ciências da Computação e Estatística do ICMC-USP. 1998. |
| 124. | MALDONADO, J. C. . Membro da Comissão de instauração de Processo Administrativo Disciplinar, ICMC-USP. 1998. |
| 125. | MALDONADO, J. C. . Membro da Comissão encarregada de organizar a participação do ICMC na Oktobertech'98 - ICMC-USP. 1998. |
| 126. | MALDONADO, J. C. . Membro da Comissão encarregada de apresentar proposta de Implantação do Curso Noturno no ICMC-USP. 1998. |
| 127. | MALDONADO, J. C. . Presidente da Comissão Interna de Gestão da Qualidade e Produtividade do ICMC-USP. 1998. |
| 128. | MALDONADO, J. C. . Membro titular junto à Comissão de Pós-graduação do ICMC-USP. 1998. |
| 129. | MALDONADO, J. C. . Membro titular da categoria de Professor Associado junto ao Conselho do Departamento de Ciências da Computação e Estatística do ICMC-USP. 1998. |
| 130. | MALDONADO, J. C. . Membro titular na Congregação do ICMC-USP - Representante do Professores Associados do ICMC. 1998. |
| 131. | MALDONADO, J. C. . Ouvidor (ombudsperson) do ICMC-USP. 1998. |
| 132. | MALDONADO, J. C. . Membro Suplente da Comissão de Pesquisa - CPq, do ICMC-USP. 1998. |
| 133. | MALDONADO, J. C. ; VINCENZI, A. M. R. ; BARBOSA, E. F. ; SOUZA, S. R. S. S. ; DELAMARO, M. E. . Aspectos Teóricos e Empíricos de Teste de Cobertura de Software. 1998. |
| 134. | MALDONADO, J. C. . Consultor da Sociedade Brasileira para Promoção da Exportação de Software SOFTEX, Avaliação de Planos de Negócio, CNS'97/SOFTEX (Parecer Técnico). 1997. |
| 135. | MALDONADO, J. C. . Coordenação de Avaliação de Produtos de Software, I CNS - Chamada Nacional de Software, SOFTEX (Parecer Técnico). 1997. |
| 136. | MALDONADO, J. C. . Avaliador de Trabalhos do XXIV SEMISH - Seminário Intergrado de Software e Hardware. 1997. |
| 137. | MALDONADO, J. C. . Revisor no processo de seleção de artigos científicos para o 8º Simpósio Brasileiro de Informática na Educação. 1997. |
| 138. | MALDONADO, J. C. . Avaliador de Trabalhos do VIII CITS - Conferência Internacional de Tecnologia de Software. 1997. |
| 139. | MALDONADO, J. C. . Avaliador de Trabalhos do SBRC - Simpósio Brasileiro de Redes de Computadores. 1997. |
| 140. | MALDONADO, J. C. . Avaliador de Trabalhos do 8th ISSRE - International Symposium on Software Reliability Engineering. 1997. |
| 141. | MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Ciências da Computação a ser ministrado em Aracruz, ES, pela Faculdade de Ciências Humanas de Aracruz. Portaria nº 395/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1997. |
| 142. | MALDONADO, J. C. . Coordenador da Comissão para avaliar a criação do Curso de Análise de Sistemas a ser ministrado em Leme, SP, pelas Faculdades Integradas Anhaguera. Portaria nº 911/99, SESu/MEC- Secretaria da Educação Superior/Ministério da Educação. 1997. |
| 143. | MALDONADO, J. C. . Diretor de Educação da SBC - Sociedade Brasileira de Computação. 1997. |
| 144. | MALDONADO, J. C. . Responsável pelo Exame Classificatório de alunos da Pós-graduação para obtenção de bolsas para o ano de 1997. 1997. |
| 145. | MALDONADO, J. C. . Membro Titular da Comissão Coordenadora do Seminários em Computação. 1997. |
| 146. | MALDONADO, J. C. . Membro da Comissão Interna de Gestão de Qualidade e Produtividade, ICMSC-USP. 1997. |
| 147. | MALDONADO, J. C. . Membro Titular da Comissão para Ocupação do Bloco de Pesquisa, ICMSC-USP. 1997. |
| 148. | MALDONADO, J. C. . Membro da Comissão para Preenchimento de vaga de Técnico Contábil, ICMSC-USP. 1997. |
| 149. | MALDONADO, J. C. . Membro titular junto à Comissão de Pós-graduação - CPG do ICMC-USP. 1997. |
| 150. | MALDONADO, J. C. . Consultor do SESu/MEC - Secretaria da Educação Superior/Ministério da Educação, da Comissão de Especialistas de Ensino. 1996. |
| 151. | MALDONADO, J. C. . Membro do Conselho Editorial da Revista Multiciência, ASSER-Associação de Escolas Reunidas. 1996. |
| 152. | MALDONADO, J. C. . Membro do Corpo Editorial da Revista Acta Scientiarum (Ex-revista UNIMAR) . 1996. |
| 153. | MALDONADO, J. C. . Membro do Quadro de Assessoria Científica da Pró-Reitoria de Pesquisa e Pós-Graduação da Universidade Estadual de Maringá. 1996. |
| 154. | MALDONADO, J. C. . Avaliador de Trabalhos do VII CITS - Conferência Internacional de Tecnologia de Software: Qualidade de Software. 1996. |
| 155. | MALDONADO, J. C. . Coordenador da Comissão Especial de Engenharia de Software da SBC - Sociedade Brasileira de Computação. 1996. |
| 156. | MALDONADO, J. C. . Coordenador do Projeto Integrado CNPq - Pequisas em Engenharia de Software com Ênfase em Métodos e Ferramentas de Especificação, Testes e Manutenção. 1996. |
| 157. | MALDONADO, J. C. . Membro do Projeto FAPESP - Métodos e Ferramentas para Apoio ao Desenvolvimento de Software. 1996. |
| 158. | MALDONADO, J. C. . Avaliador de Trabalhos do IX SBES - Simpósio Brasileiro de Engenharia de Software. 1995. |
| 159. | MALDONADO, J. C. . Avaliador de Trabalhos do XXII SEMISH - Seminário Intergrado de Software e Hardware. 1995. |
| 160. | MALDONADO, J. C. . Revisor do Caderno de Ferramentas, IX SBES - Simpósio Brasileiro de Engenharia de Software. 1995. |
| 161. | MALDONADO, J. C. . Avaliador de Trabalhos do Workshop de Qualidade de Software. 1995. |
| 162. | MALDONADO, J. C. . Coordenador da Comissão Especial da SBC - Engenharia de Software. 1995. |
| 163. | MALDONADO, J. C. . Orientador Acadêmico do Programa de Mestrado no ICMC-USP, na área de Computação. 1995. |
| 164. | MALDONADO, J. C. . Assessor ad hoc da FAPESP. 1994. |
| 165. | MALDONADO, J. C. . Consultor ad hoc da CCInt - Comissão de Cooperação Internacional. 1994. |
| 166. | MALDONADO, J. C. . Consultor do CTI. 1994. |
| 167. | MALDONADO, J. C. . Consultor ad hoc do PROTEM-CC/CNPq. 1994. |
| 168. | MALDONADO, J. C. . Avaliador de Trabalhos do VIII SBES - Simpósio Brasileiro de Engenharia de Software. 1994. |
| 169. | MALDONADO, J. C. . Avaliador de Trabalhos do XXI SEMISH - Seminário Intergrado de Software e Hardware. 1994. |
| 170. | MALDONADO, J. C. . Revisor de proposta na fase de preparação da VII EBAi - Escola Brasileira-Argentina de Informática. 1994. |
| 171. | MALDONADO, J. C. . Revisor de livro para a Makron Books do Brasil Editora Ltda. 1994. |
| 172. | MALDONADO, J. C. . Membro do Projeto RHAE - CNPq- Plano de Viabilização de um Grupo de Pequisa em CIM (Manufatura Integrada por Computador) . 1994. |
| 173. | MALDONADO, J. C. . Coordenador do Projeto CNPq - Estudo e Implementação de Ferramentas de Teste para a Aplicação da Análise de Mutantes na Produção de Software. 1994. |
| 174. | MALDONADO, J. C. . Coordenador do Projeto Integrado CNPq - Projeto TAQS - Tecnologias para Avaliação de Qualidade de Software. 1994. |
| 175. | MALDONADO, J. C. . Coordenador do PNUD BRA/92/019 - articulação/TELEBRÁS/UNICAMP/USP. Projeto Validação e Teste de Sistemas de Operação (PVTSO). 1994. |
| 176. | MALDONADO, J. C. . Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMSC-USP. 1994. |
| 177. | MALDONADO, J. C. . Suplente de Coordenador da Pós-Graduação da área de Ciências da Computação e Matemática Computacional do ICMSC-USP. 1994. |
| 178. | MALDONADO, J. C. . Coordenador local do Projeto PROTEM/CNPq, Projeto TAQS - Tecnologias para Avaliação de Qualidade de Software. 1994. |
| 179. | MALDONADO, J. C. . Avaliador de Trabalhos do VII SBES - Simpósio Brasileiro de Engenharia de Software. 1993. |
| 180. | MALDONADO, J. C. . Vice-Coordenador do Convênio USP/Folha de São Paulo. 1993. |
| 181. | MALDONADO, J. C. . Diretor do Laboratório de Engenharia de Software - ICMC/USP. 1993. |
| 182. | MALDONADO, J. C. . Representante suplente da categoria de Professor Doutor junto ao Conselho do Departamento de Ciências da Computação e Estatística do ICMSC-USP. 1993. |
| 183. | MALDONADO, J. C. . Membro titular junto à Comissão de Graduação do Instituto de Física e Química de São Carlos - USP. 1993. |
| 184. | MALDONADO, J. C. . Membro titular da Comissão de Graduação do ICMSC-USP. 1993. |
| 185. | MALDONADO, J. C. . Membro titular junto à Comissão de Pós-graduação do ICMSC-USP. 1993. |
| 186. | MALDONADO, J. C. . Membro do Conselho Editorial da Revista do Instituto de Informática da PUC-Campinas. 1992. |
| 187. | MALDONADO, J. C. . Avaliador de Trabalhos do VI SBES - Simpósio Brasileiro de Engenharia de Software. 1992. |
| 188. | MALDONADO, J. C. . Avaliador de Trabalhos do XIX SEMISH - Seminário Intergrado de Software e Hardware. 1992. |
| 189. | MALDONADO, J. C. . Membro da Comissão da Secretaria Nacional de Educação Superior do Ministério da Educação para reconhecimento de Curso de Ciências de Computação. 1992. |
| 190. | MALDONADO, J. C. . Coordenador do Projeto Integrado CNPq - Estudo Teórcio e Aplicado de Critérios de Teste Baseados em Análise de Fluxo de Dados na Produção de Software. 1992. |
| 191. | MALDONADO, J. C. . Coordenador do Convêncio USP/Folha de São Paulo. 1992. |
| 192. | MALDONADO, J. C. . Membro da Comissão Examinadora do Exame de Proficiência em língua estrangeira(Inglês) do programa de mestrado do ICMSC-USP. 1992. |
| 193. | MALDONADO, J. C. . Membro titular junto à Comissão de Cultura e Extensão Universitária do ICMSC-USP. 1992. |
| 194. | MALDONADO, J. C. ; et al. . Programa de Qualidade e Produtividade em Software do Centro Tecnológico para Informática - PQPS/CTI. 1992. |
| 195. | MALDONADO, J. C. . Orientador Acadêmico do Programa de Mestrado no ICMC-USP, na área de Computação. 1992. |
| 196. | MALDONADO, J. C. . Revisor da IEEE - Transaction on Software Engineering. 1991. |
| 197. | MALDONADO, J. C. . Avaliador de Trabalhos do V SBES - Simpósio Brasileiro de Engenharia de Software. 1991. |
| 198. | MALDONADO, J. C. . Membro do Projeto Protem/CC. 1991. |
| 199. | MALDONADO, J. C. . Representante da categoria de Professor Doutor junto à Comissão de Graduação da Escola de Engenharia de São Carlos como membro suplente. 1991. |
| 200. | MALDONADO, J. C. . Membro titular da Comissão de Graduação do ICMSC-USP. 1991. |
| 201. | MALDONADO, J. C. . Avaliador de Trabalhos do IV SBES - Simpósio Brasileiro de Engenharia de Software . 1990. |
| 202. | MALDONADO, J. C. . Avaliador de Trabalhos do XVII SEMISH - Seminário Intergrado de Software e Hardware. 1990. |
| 203. | MALDONADO, J. C. . Membro responsável pela aplicação de prova de habilitação aos candidatos à transferência ao Curso de Bacharelado em Ciências da Computação, ICMSC-USP. 1990. |
| 204. | MALDONADO, J. C. . Membro do IEEE Standard for Software Quality Assurance Plans. 1989. |
| 205. | MALDONADO, J. C. . Representante da categoria de Professor Assistente junto à Congregação do ICMSC-USP como membro titular . 1989. |
| 206. | MALDONADO, J. C. . Representante da categoria de Professor Assistente junto à Congregação do ICMSC-USP como membro suplente. 1989. |
| 207. | MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos à ênfase em Computação Eletrônica oferecida pelo SCE-ICMSC/USP. 1988. |
| 208. | MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços referente à aquisição de materiais e equipamentos para o Laboratório de Sistemas Digitais - SCE-ICMSC/USP. 1988. |
| 209. | MALDONADO, J. C. . Representante da categoria de Professor Assistente junto ao Conselho do Departamento de Ciências da Computação e Estatística como membro titular. 1988. |
| 210. | MALDONADO, J. C. . Representante dos Professores do ICMSC-USP junto ao Conselho do Campus de São Carlos. 1988. |
| 211. | MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos à ênfase em Computação Eletrônica oferecida pelo SCE-ICMC/USP. 1987. |
| 212. | MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos ao Curso de Especialização em Computação, ICMC-USP. 1987. |
| 213. | MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços referente à aquisição de materiais e equipamentos para o Laboratóriode Sistemas Digitais do SCE-ICMC. 1987. |
| 214. | MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços referente à aquisição de materiais e equipamentos para o laboratório do SCE-ICMSC. 1987. |
| 215. | MALDONADO, J. C. . Membro da comissão responsável pela seleção dos candidatos ao Curso de Extensão Universitária - Área de Computação, ICMSC-USP. 1987. |
| 216. | MALDONADO, J. C. . Representante da categoria de Professor Assistente junto à Congregação do ICMSC como membro suplente. 1987. |
| 217. | MALDONADO, J. C. . Membro da Comissão de Avaliação da Carreira de Técnico Especializado de Apoio ao Ensina à distância, ICMC-USP. 1986. |
| 218. | MALDONADO, J. C. . Membro da comissão encarregada da abertura do Convite de Preços, referente à aquisição de materiais e equipamentos para o laboratório do SCE-ICMSC/USP. 1986. |
| 219. | MALDONADO, J. C. . Membro Suplente da Comissão Assessora para o funcionamento da Laboratório de Computação. 1986. |
| 220. | MALDONADO, J. C. . Membro da comissão de distribuição de carga didática do SCE-ICMSC/USP. 1986. |
| 221. | MALDONADO, J. C. . Representante da categoria de Professor Assistente junto ao Conselho do Departamento de Ciências da Computação e Estatística como membro suplente. 1986. |
| 222. | MALDONADO, J. C. . Membro da Comissão responsá |