Eliane Martins

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


possui graduação em Matemática Modalidade Informática pela Universidade Federal do Rio de Janeiro (1976), mestrado em Engenharia de Sistemas e Computação pela Coordenação dos Programas de Pós-Graduação em Engenharia da Universidade Federal do Rio de Janeiro (1982) e doutorado em Informática - Ecole Nationale Supérieure de l'Aeronautique et de l'Espace (1992). Atualmente é professor associado da Universidade Estadual de Campinas. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: injecao de falhas por software, testes baseados em modelos; ferramentas de teste de software. (Texto informado pelo autor)


Identificação


Nome
Eliane Martins
Nome em citações bibliográficas
MARTINS, E.;Martins, Eliane

Endereço


Endereço Profissional
Universidade Estadual de Campinas, Instituto de Computação.
Cidade Universitária Zeferino Vaz
Barão Geraldo
13084-971 - Campinas, SP - Brasil - Caixa-postal: 6176
Telefone: (19) 37885872
Fax: (19) 37885847
URL da Homepage: http://www.ic.unicamp.br/~eliane


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


1987 - 1992
Doutorado em Informática.
Ecole Nationale Supérieure de l'Aeronautique et de l'Espace, ENSAE, França.
Título: Validation de Systemes Repartis par Injection de Fautes, Ano de obtenção: 1992.
Orientador: David Powell.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1977 - 1982
Mestrado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Um Compilador Basic Incremental para o Terminal Inteligente,Ano de Obtenção: 1982.
Orientador: Guilherme Chagas Rodrigues.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: compilador incremental.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Informática.
1973 - 1976
Graduação em Matemática Modalidade Informática.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.


Livre-docência


2001
Livre-docência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: , Ano de obtenção: 2001.


Atuação Profissional



Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2001 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1993 - 2001
Vínculo: , Enquadramento Funcional: Professor Assistente Doutor, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

8/2012 - Atual
Direção e administração, Instituto de Computação, Departamento de Sistemas de Informação.

Cargo ou função
Chefe de Departamento.
08/2012 - Atual
Direção e administração, Instituto de Computação, Departamento de Sistemas de Informação.

Cargo ou função
Chefe de Depto..
03/2012 - Atual
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
membro da comissão de pós-graduação.
08/2006 - Atual
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
Comitê de Programa do DSN'2007.
6/1998 - Atual
Extensão universitária , Instituto de Computação, Departamento de Sistemas de Informação.

Atividade de extensão realizada
disciplinas de extensão.
8/1994 - Atual
Pesquisa e desenvolvimento , Instituto de Computação, Departamento de Sistemas de Informação.

3/1994 - Atual
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Engenharia de Software
Tópicos em Engenharia de Software
8/1993 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Analise e Projeto de Sistemas de Informação
Engenharia de Software
Introdução à Computação - linguagens Pascal e C
Tópicos em Engenharia de Software
8/2000 - 7/2002
Direção e administração, Instituto de Computação, .

Cargo ou função
Chefe de Departamento.
8/2000 - 7/2002
Conselhos, Comissões e Consultoria, Instituto de Computação, .

Cargo ou função
Membro do Conselho de Extensão da Unicamp.

Instituto Nacional de Pesquisas Espaciais, INPE, Brasil.
Vínculo institucional

1982 - 1987
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Analista de sistemas, Carga horária: 0


Comissão Executiva do Plano da Lavoura Cacueira, CEPLAC*, Brasil.
Vínculo institucional

1979 - 1982
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Analista de sistemas, Carga horária: 0

Atividades

1979 - 1982
Serviços técnicos especializados , Divisão de Processamento de Dados, .

Serviço realizado
Suporte de sistemas.

Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

1978 - 1979
Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

1978 - 1979
Ensino, Computação, Nível: Graduação

Disciplinas ministradas
Iniciação à Computação
Análise de Sistemas
1978 - 1979
Serviços técnicos especializados , Núcleo de Processamento de Dados, .

Serviço realizado
Desenvolvimento de sistemas.


Linhas de pesquisa


1.
testes de software
2.
injeção de falhas
3.
testes de robustez
4.
testes bio-inspirados

Objetivo: Uso de algoritmos evolutivos na geração de testes uso de algoritmos de bio-informática para a análise de resultados.
Palavras-chave: algoritmos evolutivos; bioinformatic algorithm.


Projetos de pesquisa


2014 - Atual
DEVASSES - DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS
Descrição: The DEVASSES project aims at taking a step forward in the design and deployment of large-scale, dynamic service-based software systems by supporting the transfer of knowledge on novel state of the art methods, techniques, and tools for both design-time and run-time verification and validation. The goal is to reinforce existing partners? cooperation through a coordinated program of exchange of researchers, taking as context a common research problem, which provides the frame for the project scientific activities and cannot currently be tackled by any of the partners individually. The project includes joint research activities, focused training activities, and joint workshops, designed to exploit complementary expertise and to create synergies among the partners, establishing the basis for sustainable future cooperation at different levels, including: co-advising of PhD students, joint organization of international events (workshops, conferences, summer schools, etc.), participation in bilateral project proposals, participation in large-scale international project proposals, etc..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (6) .
Integrantes: Eliane Martins - Integrante / Cecília Rubira - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Ariadne M B R Carvalho - Integrante / Henrique Madeira - Integrante / Patrick Henrique da S.Brito - Integrante / Marco Vieira - Coordenador / Andrea Bondavalli - Integrante.Financiador(es): European Uninon - DESCA - FP7 - Cooperação.
2011 - 2012
Menon@WS (Metodologias para o desenvolvimento de Web Services não vulneráveis)
Descrição: Programa de cooperação Capes-FCT. Instituição brasileira: UNicamp Instituição Portuguesa: Univ. de Coimbra Um dos objetivos deste projeto será a validação de aplicações baseadas em Web Services na presença de ataques que exploram vulnerabilidades de segurança. Outro objetivo tão ou mais importante é a formação de doutores e mestres, além de estágios de pós-doutoramento previsto no âmbito do projeto..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (3) .
Integrantes: Eliane Martins - Coordenador / Cecília Rubira - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Henrique Madeira - Integrante / Marco Vieira - Integrante / Nuno Laranjeiro - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.
2008 - 2012
RobustWeb: Construção e validação de Aplicações SOA com Serviços Web
Descrição: Um novo paradigma emergiu para o desenvolvimento de aplicações distribuídas e de grande escala ? trata-se da computação orientada a serviços (ou SOC, de Service Oriented Computing). Neste paradigma, ao invés de objetos ou componentes, a entidade básica de desenvolvimento passa a ser o serviço em si. Este novo paradigma torna mais ágil a criação de redes de colaboração no desenvolvimento de aplicações que ultrapassam as fronteiras das empresas e até mesmo de países. O uso de SOC acarreta mudanças na forma como as aplicações são construídas a partir de serviços existentes, os quais são organizados em uma arquitetura orientada a serviços ou SOA (Service Oriented Architectures). SOA tem sido usado intensamente em serviços disponibilizados via WEB. Estes serviços permitem a interoperabilidade de aplicações através da Web graças a uma série de padrões que foram criados com base no XML (eXtensible Mark-up Language). O SOA tem sido usado também como base para definição de serviços padronizados para Operações de Missões em aplicações fins para monitoração e controle de veículos espaciais. Esta padronização, inicialmente elaborada em forma de recomendações resulta dos esforços do Consultative Committee for Space Data System (CCSDS) em prover maior interoperabilidade entre sistemas computacionais das agências espaciais e o re-uso de sistemas entre missões. As aplicações orientadas a serviços têm como característica serem altamente distribuídas e dinâmicas. Além disso, elas utilizam serviços dos quais só se conhece a interface de utilização. Pouca ou quase nenhuma informação sobre a qualidade dos mesmos é disponibilizada. Portanto, as chances de mau funcionamento são inúmeras, podendo acarretar em grandes perdas para as empresas ou organizações. Neste projeto nos propomos a elaborar diretrizes e indicar técnicas que permitam não somente a criação de aplicações SOA baseadas em WS que sejam robustas, mas também criar e avaliar métodos e ferramentas que possibilitem validar.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (3) .
Integrantes: Eliane Martins - Coordenador / Jean Arlat - Integrante / Yves Crouzet - Integrante / Maria de Fatima M. Francisco - Integrante / JeanCharles Fabre - Integrante / Cecília Rubira - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Ana Maria Ambrósio - Integrante / Taisy Silva Weber - Integrante / Fabiano Sousa - Integrante / Fernando Castor Filho - Integrante / Thaise Yano - Integrante / Paulo Guerra - Integrante / Ana Rosa Cavalli - Integrante / Yves Deswarte - Integrante / Amel Mammar - Integrante / Fatiha Zahïdi - Integrante / Hélène Waeselynck - Integrante / Marie-Claude Gaudel - Integrante / Magnos Martinello - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.
2008 - 2010
WebMov - Web Service Modeling and Validation
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Eliane Martins - Coordenador.
2008 - 2009
PIDCOSI (Plataforma para la Investigación y Docencia en Confiabilidad de Sistemas Informáticos): projeto com a Univ. de Valência, Espanha
Situação: Concluído; Natureza: Pesquisa.
2007 - 2010
ReVVIS (Reunião de Especialistas em Verificação e Validação de Software): projeto ibero-americano financiado pelo CYTED-IberoLA
Situação: Concluído; Natureza: Pesquisa.
2007 - 2009
BIO-CORE: Ferramentas, modelos e técnicas para apoio à pesquisa em bio-diversidade
Descrição: A pesquisa em biodiversidade requer correlacionar uma grande variedade de dados sobre seres vivos e sobre seus habitats, integrando uma série de informações heterogêneas e distribuídas. O objetivo do BIO-CORE (BIOdiversity and COmputing REsearch) é especificar e desenvolver ferramentas computa- cionais que permitam aos cientistas deste domínio gerenciar e compartilhar seus dados, auxiliando-os na construção de modelos complexos e na análise e modelagem de ecossistemas, incluindo a desco- berta de novos relacionamentos e interações entre espécies. Baseadas em serviços Web, tais ferramentas permitirão apoiar a cooperação entre pesquisadores em Ciências Biológicas pertencentes a grupos com distintos interesses, vocabulários e visões do mundo. O BIO-CORE é, assim, um projeto multidisciplinar em Computação e em Ciências Biológicas, de 2 anos de duração. Visa atacar problemas teóricos e de implementação, na área de gerenciamento de dados científicos, especialmente imagens naturais, vídeos, dados geográficos e dados de coletas de espécies..
Situação: Em andamento; Natureza: Pesquisa.
2007 - 2009
E-cidadania
Situação: Concluído; Natureza: Pesquisa.
2005 - 2007
Um Método de Desenvolvimento e Testes para Sistemas Baseados em Componentes com Tratamento de Exceções (Fapesp)
Descrição: O projeto visa o desenvolvimento de sistemas baseados em componentes. Além de métodos para o desenvolvimento, o projeto visa também o uso de técnicas complementares de verificação e testes destes sistemas. Valor: Linha de Pesquisa: Sistemas de Informação / Engenharia de Software Tipo de financiamento: Auxílio part / organ. Reunião; auxílio equipamento. Tipo do projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Eliane Martins - Integrante / Cecília Rubira - Coordenador / Ana Cristina Vieira de Melo - Integrante.
2005 - 2007
Benchmark da Confiança no Funcionamento de Componentes de Software
Descrição: Nro: 125/05 Valor: R$5000,00 + viagens Linha de Pesquisa: Sistemas de Computação / Sistemas Tolerantes a Falhas Tipo Financiamento: Auxílio Pesquisa + Auxílio viagem de pesquisador visitante Tipo do Projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Projeto Individual.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante / Naaliel Vicente Mendes - Integrante / Henrique Madeira - Integrante / João Durães - Integrante / João Gabriel Silva - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
Número de produções C, T & A: 4 / Número de orientações: 1
2004 - 2007
QSEE - Qualidade de Software em Sistemas Embarcados (FINEP)
Descrição: O projeto visa a transferência de tecnologia entre empresas desenvolvedoras de software e instituições de pesquisa no que tange à métodos e técnicas para a garantia da qualidade de processo e produto na área espacial. Valor: R$754.000,00 Linha de Pesquisa: Sistemas de Informação / Engenharia de Software Tipo de financiamento: Auxílio part / organ. Reunião; auxílio equipamento. Tipo do projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Eliane Martins - Integrante / Ana Maria Ambrosio - Integrante / Maria de Fatima M. Francisco - Coordenador / Ricardo Costa - Integrante / Ricardo Czapski - Integrante / Valdivino Santiago - Integrante / João Braga Neto - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.
2004 - 2007
CompGov - Componentes para e-Gov (Finep)
Descrição: O projeto tem por objetivo o desenvolvimento de uma biblioteca de componentes para governo eletrônico, bem como a construção de protótipos de ferramentas que auxiliem ao desenvolvimento e testes de sistemas baseados em componentes. Valor: R$1.680.000,00 Nro.: Finep 1843/04 Linha de Pesquisa: Sistemas de Informação/ Engenharia de Software Tipo de Financiamento: Auxilio Pesquisa, Auxílio part / organ. Reunião Tipo de Projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Mestrado profissional: (1) / Doutorado: (1) .
Integrantes: Eliane Martins - Integrante / Cecília Rubira - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Camila Rocha - Integrante / Josiane Aparecida Cardoso - Integrante / Ruth Fabiana Soliani - Integrante / Ivan Rodolfo Durán Cruz Peres - Integrante / Silvio Meira - Coordenador.
Número de produções C, T & A: 7 / Número de orientações: 4
2003 - 2006
Plavis - Plataforma de Validação de Sistemas Espaciais (CNPq - Universal)
Descrição: O projeto visa o desenvolvimento de uma plataforma para validação e testes de aplicações espaciais. Valor: R$99.900,00 Linha de Pesquisa: Sistemas de Informação / Engenharia de Software Tipo de financiamento: Auxílio part / organ. Reunião; auxílio equipamento. Tipo do projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Eliane Martins - Integrante / Ana Maria Ambrosio - Integrante / Maria de Fatima M. Francisco - Integrante / Claudia dos Santos Silva - Integrante / Ana Silvia Martins Serra do Amaral - Integrante / Daniele Constant Guimarães - Integrante / Jose Carlos Maldonado - Coordenador / Marcio E Delamaro - Integrante / Sandra Fabbri - Integrante / Adenilso Simões - Integrante / Simone Rocio - Integrante / Edmundo Spoto - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 1
2003 - 2005
ACERTE (CNPq - Universal)
Descrição: O objetivo do projeto é estabelecer métodos e criar ferramentas que apoiem o desenvolvimento e validação de sistemas com alta disponibilidade. Nro do processo: 472084/2003-8 Valor: R$80.258,72 Linha de Pesquisa: Sistemas de Computação / Sistemas Tolerantes a Falhas Tipo de financiamento: Auxílio part / organ. Reunião; auxílio equipamento. Tipo do projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Eliane Martins - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Gabriela Jacques-Silva - Integrante / Taisy Weber - Coordenador / Ingrid Jansch Porto - Integrante / Joni Fraga - Integrante / Maria Lucia Lisboa - Integrante / Roberto Jung Drebes - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 3 / Número de orientações: 2
2003 - 2005
WebMaps- Sistema baseado na Web Semântica para Monitoramento Agrícola e PRevisão de Safra (CNPq-Universal)
Descrição: O projeto visa disponibilizar, via Web, serviços de acesso a mapas com fins de previsão de safra agrícola. Valor: R$98.300,00 Linha de Pesquisa: Sistemas de Informação / Engenharia de Software e Bnaco de dados Tipo de financiamento: Auxílio part / organ. Reunião; auxílio equipamento. Tipo do projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (1) / Doutorado: (0) .
Integrantes: Eliane Martins - Integrante / Edmundo Roberto M Madeira - Integrante / Maria Cecília C Baranauskas - Integrante / Claudia M B Medeiros - Coordenador / Arturo Henry Torres Zenteno - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 1 / Número de orientações: 1
1993 - 2000
ATIFS - Ambiente de Testes e Injeção de Falhas por Software
Descrição: Projeto conjunto com o INPE desde 1993. Visa o desenvolvimento de um sistema integrado de ferramentas de apoio aos testes de sistemas reativos, especialmente as aplicações espaciais desenvolvidas pelo INPE..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (7) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Eliane Martins - Coordenador / Ana Maria Ambrosio - Integrante / Marcio Roberto Stefani - Integrante / Keila Silveira Correa - Integrante / Maria de Fatima M. Francisco - Integrante / Selma Bássiga Sabião - Integrante / Marcos Salenko Guimaraes - Integrante / Flávio Rogério Uber - Integrante / Yngrid Nicoletti Azevedo - Integrante / Alex Jeukens - Integrante / Mateus de Castro Polastro - Integrante / Anderson Nunes de Paiva Moraes - Integrante / Rafael Neves Bueno - Integrante / Claudia dos Santos Silva - Integrante / Marcos Renato Rodrigues Araújo - Integrante / Nelson Guilherme Mendes Leme - Integrante / Daniele Constant Guimarães - Integrante / Selma Thais Tanaka - Integrante / Ricardo Luis Lachi - Integrante / Enrico Gonzalez - Integrante / Fernando Motta - Integrante.
Número de produções C, T & A: 18 / Número de orientações: 14


Projetos de desenvolvimento


2005 - 2008
Harpia - projeto com a Receita Federal
Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante.Financiador(es): Secretaria da Receita Federal - Cooperação.


Revisor de periódico


2007 - Atual
Periódico: Computer Journal
2008 - Atual
Periódico: Journal of Software Maintenance and Evolution: Research and Practice


Revisor de projeto de fomento


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


Áreas de atuação


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


Idiomas


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


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
VECCHIATO, DANIEL2016VECCHIATO, DANIEL ; Vieira, Marco ; Martins, Eliane . The Perils of Android Security Configuration. COMPUTER, v. 49, p. 15-21, 2016.

2.
PALMA SALAS, MARCELO INVERT2015PALMA SALAS, MARCELO INVERT ; Martins, Eliane . A Black-Box Approach to Detect Vulnerabilities in Web Services Using Penetration Testing. Revista IEEE América Latina, v. 13, p. 707-712, 2015.

3.
MORAIS, ANDERSON2012MORAIS, ANDERSON ; HWANG, IKSOON ; Cavalli, Ana ; Martins, Eliane . Generating attack scenarios for the system security validation. Networking Science, v. 1, p. 20760329, 2012.

4.
Mattiello-Francisco, Fátima2011Mattiello-Francisco, Fátima ; Martins, Eliane ; Cavalli, Ana Rosa ; Yano, Edgar Toshiro . InRob: An approach for testing interoperability and robustness of real-time embedded software. The Journal of Systems and Software, v. 85, p. 3-15, 2011.

5.
MEDEIROS, Claudia M B2011MEDEIROS, Claudia M B ; SANTANCHE, A. ; MADEIRA, Edmundo Roberto M ; Martins, Eliane ; MAGALHAES, G. ; BARANAUSKAS, Maria Cecília C ; LEITE, N.J. ; TORRES, R. S. . LIS - Data Driven Research at the Laboratory of Information Systems, UNICAMP. Journal of Information and Data Management - JIDM, v. 2, p. 93-108, 2011.

6.
MORAES, Anderson Nunes de Paiva2010MORAES, Anderson Nunes de Paiva ; Cavalli, Ana ; Martins, Eliane . Génération de scritps d'attaque pour la validation de la sécurité. Génie Logiciel, v. 94, p. 39-44, 2010.

7.
Brito, Patrick H. S.2009Brito, Patrick H. S. ; Lemos, Rogério ; Rubira, Cecília M. F. ; MARTINS, E. . Architecting Fault Tolerance with Exception Handling: Verification and Validation. Journal of Computer Science and Technology (Beijing), v. 24, p. 212-237, 2009.

8.
ROCHA, Camila2008ROCHA, Camila ; MARTINS, E. . A Method for Model Based Test Harness Generation for Component Testing. Journal of the Brazilian Computer Society (Impresso), v. 14, p. 7-23, 2008.

9.
AMBROSIO, Ana Maria2006 AMBROSIO, Ana Maria ; MARTINS, E. ; VIJAYKUMAR, Nandamudi L. ; CARVALHO, Solon V de . A Conformance Testing Process for Space Applications Software Services. AIAA Journal, Estados Unidos, v. 3, n.4, p. 146-158, 2006.

10.
MARTINS, E.;Martins, Eliane1999 MARTINS, E.; SABIÃO, S. B. ; AMBROSIO, Ana Maria . ConData: a Tool for Automating Specification -based Test Case Generation for Communication Systems. Software Quality Journal, v. 8, n.4, p. 303-320, 1999.

11.
POWELL, D.1995POWELL, D. ; MARTINS, E. ; ARLAT, J. ; CROUZET, Y. . Estimators For Fault Tolerance Coverage Evaluation. IEEE Trans. on Computers, EUA, v. 44, n.2, p. 261-274, 1995.

12.
ARLAT, J.1990ARLAT, J. ; AGUERA, M. ; AMAT, L. ; CROUZET, Y. ; LAPRIE, J. ; FABRE, J. ; MARTINS, E. ; POWELL, D. . Fault Injection for Dependability Validation: a Methodology and Some Applications. Ieee Transactions On Software Engineering, v. 16, n.2, p. 166-182, 1990.

13.
ARLAT, J.1990ARLAT, J. ; AGUERA, M. ; CROUZET, Y. ; FABRE, J. ; POWELL, D. ; MARTINS, E. . Experimental Evaluation of the Fault Tolerance of an Atomic Multicast Protocol. IEEE Transactions on Reliability, v. 39, n.4, p. 455-467, 1990.

Capítulos de livros publicados
1.
MORAES, Regina Lucia de Oliveira ; MARTINS, E. . Fault Injection Approach Based on Architectural Dependencies. In: Rogério de Lemos; Cristina Gacek; Alexander Romanovsky. (Org.). Architecting Dependable Systems III. : Springer Verlag, 2005, v. 3549, p. 300-321.

2.
POWELL, D. ; MARTINS, E. ; ARLAT, J. ; CROUZET, Y. . Estimators For Fault Tolerance Coverage Evaluation. In: Brian Randell; Jean-Claude Laprie; Hermann Kopetz; Bev Littlewood. (Org.). Predictably Dependable Computing Systems. 1ed.: Springer-Verlag, 1995, v. , p. 347-366.

3.
ARLAT, J. ; CROUZET, Y. ; MARTINS, E. ; POWELL, D. . Validation. In: David Powell. (Org.). Delta-4: a Generic Architecture for Dependable Distributed Computing. 1ed.: Springer Verlag, 1992, v. , p. 371-406.

Trabalhos completos publicados em anais de congressos
1.
ERAZO, LEYDI ; Martins, Eliane ; GREGHI, JULIANA GALVANI . MARITACA: From Textual Use Case Descriptions to Behavior Models. In: 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSNW), 2017, Denver. 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2017. p. 83.

2.
VECCHIATO, DANIEL ; Vieira, Marco ; Martins, Eliane . Risk Assessment of User-Defined Security Configurations for Android Devices. In: 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), 2016, Ottawa. 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), 2016. p. 467.

3.
USSAMI, THAIS HARUMI ; Martins, Eliane ; MONTECCHI, LEONARDO . D-MBTDD: An Approach for Reusing Test Artefacts in Evolving System. In: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSNW), 2016, Toulouse. 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), 2016. p. 39.

4.
VECCHIATO, DANIEL ; Martins, Eliane . Benchmarking User-Defined Security Configuration of Mobile Devices. In: 2016 Seventh LatinAmerican Symposium on Dependable Computing (LADC), 2016, Cali. 2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 2016. p. 172.

5.
GREGHI, J. G. ; CARVALHO, Ariadne M B R ; MARTINS, E. . Requirement?s Variability in Model Generation from a Standard Document in Natural Language. In: The Tenth International Conference on Software Engineering Advances - ICSEA 2015, 2015, Barcelona, Espanha. The Tenth International Conference on Software Engineering Advances, 2015.

6.
GREGHI, JULIANA GALVANI ; Martins, Eliane ; CARVALHO, ARIADNE MARIA BRITO RIZZONI . Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard Documents. In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSNW), 2015, Rio de Janeiro. 2015 IEEE International Conference on Dependable Systems and Networks Workshops. p. 45-50.

7.
VECCHIATO, DANIEL ; Vieira, Marco ; Martins, Eliane . A security configuration assessment for android devices. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15, 2015. p. 2299-2304.

8.
LEMOS, G. S. ; MARTINS, E. . Golden-run Alignment for Analysis of Robustness Testing Results: Dealing with Diagnostics Issues. In: Workshop on Reliability and Security Data Analysis (RSDA 2013) , parte de 43th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 2013, Budapest. Proceedings of 43th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013) - Workshops, 2013. p. 1-8.

9.
Marcelo Palma Salas ; Martins, Eliane . Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security. In: XXXIX Latin American Computing Conference (CLEI 2013), 2013, Vargas. Proc. of XXXIX Latin American Computing Conference (CLEI 2013), 2013.

10.
LEMOS, GIZELLE SANDRINI ; Martins, Eliane . Specification-guided Golden Run for Analysis of Robustness Testing Results. In: 2012 6th International Conference on Software Security and Reliability (SERE), 2012, Gaithersburg. 2012 IEEE Sixth International Conference on Software Security and Reliability, 2012.

11.
Marcelo Palma Salas ; Martins, Eliane . Emulation of Malformed XML Using WSInject for Security Testing Against WS-Security. In: Latincom Workshop 5 - Green, user-centered, and security, 2012, Cuenca. Proceedings LAtincom, 2012.

12.
Marcelo Palma Salas ; Martins, Eliane . Emulação de Ataques do Tipo XPath Injection para Testes de Web Services Usando Injeção de Falhas. In: XIII Workshop de Testes e Tolerância a Falhas (WTF), 2012, Ouro Preto. Anais do XIII Workshop de Testes e Tolerância a Falhas (WTF). Porto Alegre: Sociedade Brasileira de Computação, 2012. p. 17-30.

13.
Lima, Isaura ; YANO, Thaise ; Martins, Eliane . Uso de análise de mutantes e testes baseados em modelos: um estudo exploratório. In: VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012, Natal. Anais do VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012.

14.
MORAES, Anderson Nunes de Paiva ; Cavalli, Ana Rosa ; Martins, Eliane . A Model-Based Attack Injection Approach for Security Validation. In: 4th International Conference on Security of Information and Networks (SIN 2011), 2011, Sidney. 4th International Conference on Security of Information and Networks (SIN 2011), 2011.

15.
YANO, Thaise ; MARTINS, E. ; SOUSA, Fabiano . MOST: a Multi-Objective Search-Based Testing from EFSM. In: 2011 Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011, Berlim. 2011 Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011. p. 164-173.

16.
YANO, Thaise ; Martins, Eliane ; SOUSA, Fabiano . A multi-objective evolutionary algorithm to obtain test cases with variable lengths. In: 13th annual conference on Genetic and evolutionary computation (GECCO '11), 2011, Dublin. GECCO '11 Proceedings of the 13th annual conference on Genetic and evolutionary computation. New York: ACM, 2011.

17.
FERREIRA, J. ; MARTINS, E. ; RUBIRA, Cecília ; Brito, Patrick H. S. . Validation of Exception Handling in the Development of Dependable Component-Based Software Systems. In: 5th Latin-American Symposium on Dependable Computing, LADC 2011, 2011, São José dos Campos. Dependable Computing (LADC), 2011 5th Latin-American Symposium on, 2011. p. 136-145.

18.
YANO, Thaise ; Martins, Eliane ; SOUSA, Fabiano . Generating Feasible Test Paths from an Executable Model Using a Multi-Objective Approach. In: 3rd International Workshop on Search-Based Software Testing, 2010, Paris. 3rd International Workshop on Search-Based Software Testing, 2010.

19.
LEMOS, G. S. ; MARTINS, E. . Robustness Testing Oracle using a Sequence Alignment Algorithm. In: First International Workshop on Software Test Output Validation, 2010, Trento. First International Workshop on Software Test Output Validation, 2010.

20.
BESSAYAH, F. ; Cavalli, Ana ; MAJA, W. ; MARTINS, E. ; VALENTI, A. W. . A Fault Injection Tool for Testing Web Services Composition. In: Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, 2010, Windsor. TAIC PART, 2010. v. 6303. p. 137-146.

21.
Cavalli, Ana ; CAO, T. ; MALLOULI, W. ; MARTINS, E. ; SADOVYKH, A. ; SALVA, S. ; ZAIDI, F. . WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. In: IEEE International Conference on Web Services, 2010, Miami. ICWS, 2010. p. 377-384.

22.
GUIMARAES, M. S. ; BARANAUSKAS, Maria Cecília C ; Martins, Eliane . Interaction Design and Redundancy Strategy in Critical Systems. In: 12th International Conference on Informatics and Semiotics in Organisations, 2010, Reading. Proceedings of 2010 IFIP WG 8.1- ICISO-2010, 2010. p. 165-172.

23.
MORAES, Anderson Nunes de Paiva ; Martins, Eliane ; Cavalli, Ana ; Jimenez, Willy . Security Protocol Testing Using Attack Trees. In: 12th IEEE International Conference on Computational Science and Engineering, 2009, Vancouver. CSE, 2009. p. 690-697.

24.
FERREIRA, J. ; MARTINS, E. . Análise de Fluxo de Controle e Dados a partir do Diagrama de Atividades da UML 2.0.. In: SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009, Gramado. Anais do SAST 2009, 2009.

25.
MORAES, Regina Lucia de Oliveira ; ABREU, Bruno ; Martins, Eliane . Mapping Web-based Applications Failures to Faults. In: 4th. Latin American Symposium on Dependable Computing, 2009, João Pessoa. 4th. Latin American Symposium on Dependable Computing, 2009.

26.
BRITO, Patrick Henrique da Silva ; LEMOS, R. ; Martins, Eliane ; MORAES, Regina Lucia de Oliveira ; RUBIRA, Cecília . Architectural-Based Validation of Fault-Tolerant. In: 4th. Latin American Symposium on Dependable Computing, 2009, João Pessoa. 4th. Latin American Symposium on Dependable Computing, 2009.

27.
BESSAYAH, F. ; Cavalli, Ana ; MARTINS, E. . A formal approach for specification and verification of fault injection process. In: 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human 2009, 2009, Seoul. Proceedings of the 2nd International Conference on Interaction Sciences, 2009. v. 403. p. 883-890.

28.
Cavalli, Ana ; MARTINS, E. ; MORAES, Anderson Nunes de Paiva . Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. In: 4th Workshop on Advances in Model Based Testing (A-MOST 2008), joint with 1st. IEEE International Conference on Software Testing, Verification and Validation (ICST), 2008, Lillehammer. Proceedings of the A-MOST, 2008.

29.
MORAES, Regina Lucia de Oliveira ; DURÃES, João ; MARTINS, E. ; MADEIRA, Henrique . Experimental Risk Assessment and Comparison Using Software Fault Injection. In: IEEE-IFIP International Conference on Dependable Systems and Networks, 2007, Edimburgo. Proceedings IEEE, 2007.

30.
BRITO, Patrick Henrique da Silva ; LEMOS, R. ; MARTINS, E. ; RUBIRA, Cecília . Verification and Validation of a Fault-Tolerant Architectural Abstraction. In: Workshop on Architecting Dependable Systems (WADS), 2007, Edimburgo. DSN Proceedings - Suplemental Volume, 2007.

31.
GUIMARAES, M. S. ; BARANAUSKAS, Maria Cecília C ; MARTINS, E. . Interaction in critical systems: conquests and challenges. In: International Conference on Enterprise Information Systems, 2007, Funchal. Proc. of International Conference on Enterprise Information Systems, 2007.

32.
GUIMARAES, M. S. ; BARANAUSKAS, Maria Cecília C ; MARTINS, E. . A Communication-based Approach to Requirements Elicitation for Safety-Critical Systems. In: International Conference on Organizational Semiotics (ICOS), 2007, Sheffield. Proc. of ICOS'2007, 2007.

33.
PERES, Ivan Rodolfo Durán Cruz ; MARTINS, E. ; Viégas, J.E. . Uso de Modelos da UML em Testes de Componentes. In: Workshop de Testes e Tolerância a Falhas, 2007, Belém. Anais do WTF'2007, 2007.

34.
MORAES, Regina Lucia de Oliveira ; DURÃES, João ; MARTINS, E. ; MADEIRA, Henrique . Component-based software certification base don experimental risk assessment.. In: 3rd.Latin-American Symposium on Dependable Computing (LADC 2007), 2007, Morelia. LNCS-Proc. 3rd. LADC, 2007.

35.
BRITO, Patrick Henrique da Silva ; LEMOS, R. ; MARTINS, E. ; RUBIRA, Cecília . Architecture-centric fault tolerance with exception handling. In: 3rd.Latin-American Symposium on Dependable Computing (LADC 2007), 2007, Morelia. LNCS - Proc. 3rd. LADC, 2007.

36.
AMBRÓSIO, Ana Maria ; FRANCISCO, Maria de Fatima M. ; SANTIAGO, Valdivino ; SILVA, W. ; MARTINS, E. . Space Application Fault Injection Experiments supported by Finite State Machine. In: 3rd.Latin-American Symposium on Dependable Computing, 2007, Morelia. LNCS - Proc. of 3rd. LADC, 2007.

37.
ABREU, Bruno ; MARTINS, E. ; SOUSA, Fabiano . Generalized Extremal Optimization: a competitive algorithm for test data generation. In: XXI Simpósio Brasilieiro de Engenharia de Software, 2007, João Pessoa. Anais do XXI SBES, 2007.

38.
TORRES-ZENTENO, Arturo H. ; MARTINS, E. ; TORRES, Ricardo da S. ; CUARESMA, María J. Escalona . Teste de Desempenho em Aplicações SIG Web. In: 9º Workshop Iberoamericano de Ingenería de Requisitos y Ambientes de Software ( IDEAS), 2006, La Plata, 2006.

39.
MENDES, Naaliel Vicente ; MORAES, Regina Lucia de Oliveira ; MARTINS, E. ; MADEIRA, Henrique . Melhorando a Dependabilidade de Componentes com o uso de Wrappers. In: VII Workshop de Testes e Tolerância a Falhas (WTF), 2006, Curitiba. Anais do WTF, 2006.

40.
MORAES, Regina Lucia de Oliveira ; DURÃES, João ; MARTINS, E. ; MADEIRA, Henrique . A Field Data Study on the Use of Software Metrics to Define Representative Fault Distribution. In: Workshop on Empirical Evaluation of Dependability and Security (WEEDS) - DSN 2006, 2006, Filadélfia, 2006.

41.
MORAES, Regina Lucia de Oliveira ; BARBOSA, Ricardo ; DURÃES, João ; MENDES, Naaliel Vicente ; MARTINS, E. ; MADEIRA, Henrique . Do injected component interface faults represent software bugs?. In: 6th. European Dependable Computing Conference, EDCC 2006, 2006, Coimbra. Berlin: Springer Verlag - LNCS, 2006.

42.
JACQUES-SILVA, Gabriela ; DREBES, Roberto Jung ; WEBER, Taisy Silva ; MARTINS, E. . Injecting Communication Faults to Experimentally Validate Java Distributed Applications. In: Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, 2005, Guadalajara. Lecture Notes in Computer Science, 2005. v. 3563. p. 235.

43.
MARTINS, E.; VIEIRA, Vanessa Gindri . Regression test selection for testable classes. In: 5th. European Dependable Computing Conference, EDCC 2005, 2005, Budapeste. Dependable Computing - EDCC-5, 2005. v. 3463. p. 453-470.

44.
ABREU, Bruno ; MARTINS, E. ; SOUSA, Fabiano . Automatic test data generation for path testing using a new stochastic algorithm. In: 19º Simpósio Brasileiro de Engenharia de Software, SBES, 2005, Uberlândia. Anais do 19º Simpósio Brasileiro de Engenharia de Software, SBES,, 2005.

45.
AMBRÓSIO, Ana Maria ; MARTINS, E. ; VIJAYKUMAR, Nandamudi L. ; CARVALHO, Solon V de . Systematic Generation of Test and Fault Cases for Space Application Validation. In: Data System in Aerospace, DASIA-2005, 2005, Edimburgo. Proc. of Data System in Aerospace, DASIA-2005, 2005.

46.
MORAES, Regina Lucia de Oliveira ; MARTINS, E. ; POLETTI, Elaine C Catapani ; MENDES, Naaliel Vicente . Using Stratified Sampling for Fault Injection. In: Latin American Symposium on Dependable Computing, 2005, Salvador. Lecture Notes in Computer Science. Berlin: Springer Verlag - Lecture Notes in Computer Science, 2005. v. 3747. p. 9-19.

47.
BRITO, Patrick Henrique da Silva ; ROCHA, Camila ; CASTOR FILHO, Fernando ; MARTINS, E. ; RUBIRA, Cecília . A Method for Modeling and Testing Exceptions in Component-Based Software Development. In: 2nd.Latin American Symposium on Dependable Computing, 2005, Salvador. Lecture Notes in Computer Science, 2005. v. 3747. p. 61-79.

48.
GUERRA, Paulo ; ARAÚJO, Carolina ; ROCHA, Camila ; MARTINS, E. . CBDUnit - Uma Ferramenta para Testes Unitários de Componentes. In: 19º Simpósio Brasileiro de Engenharia de Software, SBES, 2005, Uberlândia. Anais do Workshop de Ferramentas, 2005.

49.
MARTINS, E.; ROCHA, Camila . A strategy to improve component testability without source code. In: Testing Component-based Systems (TECOS), 2004, Erfurt. Testing Component-based Systems (TECOS), 2004.

50.
MORAES, Regina Lucia de Oliveira ; MARTINS, E. . A Strategy for Validating an ODBMS Component Using a Hig-Level Fault Injection Tool. In: 1st. Latin American Symposium on Dependable Computing, 2003, S.Paulo. Proc. 1st. Latin American Symposium on Dependable Computing, 2003.

51.
MARTINS, E.; FRANCISCO, Maria de Fatima M. . A Tool for Fault Injection and Conformance Testing of Distributed Systems. In: 1st. Latin American Symposium on Dependable Computing, 2003, S.Paulo. Lecture Notes in Computer Science, 2003. v. 2847. p. 282-302.

52.
MARTINS, E.; AMBROSIO, Ana Maria ; FRANCISCO, Maria de Fatima M. . ATIFS: a testing toolset with software fault injection. In: Workshop SofTest: UK Testing Research II, 2003, York - UK. Proceedings of York Computer Science Yellow Report 2003, 2003.

53.
MARTINS, E.; RUBIRA, Cecília ; LEME, N. . JACA: A Reflective Fault Injection Tool based on Patterns. In: International Performance and Dependability Symposium, 2002, Washington. IEEE Dependable Computing and Networks (DSN) 2002, 2002.

54.
MARTINS, E.; FRANCISCO, Maria de Fatima M. ; MORAES, Anderson Nunes de Paiva . Uso da ferramenta de testes FSOFIST na validação de uma aplicação espacial. In: 2º Jornada Ibero-Americana de Engenharia de Software e Engenharia de Conhecimento, 2002, Salvador, 2002.

55.
MARTINS, E.; TOYOTA, C. M. ; YANAGAWA, R. L. . Constructing Self-Testable Software Components. In: The Intenrational Conference on Dependable Systems & Networks (DSN'2001), 2001, Gotemburgo. Proc. DSN'2001, 2001. p. 151-160.

56.
LEME, N. ; MARTINS, E. ; RUBIRA, Cecília . A software fault injection pattern system. In: IX Simpósio de Computação Tolerante a Falhas (SCTF), 2001, Florianópolis. Anais do IX SCTF. Florianópolis: Universidade Federal de Santa Catarina, 2001. p. 99-113.

57.
LEME, Nelson Guilherme Mendes ; MARTINS, E. ; RUBIRA, Cecília . A Software Fault Injection Pattern System. In: 8th Conference on Pattern Languages of Programs (PLoP), 2001, Monticello. página Web, 2001.

58.
MARTINS, E.; SABIÃO, S. B. ; AMBROSIO, Ana Maria . ConData: a Tool for Automating Specification-based Test Case Generation for Communication Systems. In: 33th Hawaii International Conference on Systems Sciences (HICSS-33), 2000, Maui - Havai. o mesmo do evento, 2000.

59.
YANAGAWA, R. L. ; MARTINS, E. . Avaliação empírica da eficácia dos testes baseados no modelo de fluxo de transação em sistemas OO. In: XI Conferência Internacional de Tecnologia de Software: Qualidade de Software (XI CITS), 2000, Curitiba. anais od XI CITS. Curitiba: CITS, 2000. p. 18-30.

60.
MARTINS, E.; ROSA, A. C. A. . A fault injection approach based on reflective programming. In: Dependable Systems and Networks, 2000, New York. Proceedings International Conference on Dependable Systems and Networks, 2000. p. 407-416.

61.
MARTINS, E.; TOYOTA, C. M. . Construção de Classes Autotestáveis. In: 8. Simpósio de Computação Tolerante a Falhas, 1999, Campinas. Anais do 8. SCTF. Campinas, 1999. p. 196-209.

62.
SABIÃO, S. B. ; MARTINS, E. . Condado: Uma Ferramenta Para A Geração de Testes de Protocolos Combinando Controle e Dados. In: XVI Simpósio Brasileiro de Redes de Computadores (SBRC), 1998, Rio. Anais do XVI SBRC. Rio de Janeiro - RJ, 1998. p. 404-423.

63.
TOYOTA, C. M. ; MARTINS, E. . Reutilização Em Teste de Software O-O: Metodologia Para A Construção de Classes Autotestáveis. In: IX Conferência Internacional de Tecnologia de Software (CITS): Qualidade de Software, 1998, Curitiba. Anais do IX CITS. Curitiba - PR, 1998. p. 217-229.

64.
ROSA, A. C. A. ; MARTINS, E. . Using Reflective Programming To Inject Faults Into Object-Oriented Systems. In: International Workshop on Dependable Computing and Its Applications (DCIA'98), 1998, Johannesburg. Anais do Intern. Workshop on Dependable Computing and its Applications. Johannesburg - África do Sul, 1998. p. 227-236.

65.
MARTINS, E.; ARAUJO, Marcos Renato R. ; AMBROSIO, Ana Maria ; CORREA, K. S. ; FRANCISCO, Maria de Fatima M. . Teste da Tolerancia A Falhas Em Sistemas de Comunicacao. In: VII Simposio de Computadores Tolerantes a Falhas, 1997, Campina Grande. Anais do VII SCTF. Campina Grande - Praiba, 1997. p. 369-384.

66.
STEFANI, M. R. ; MARTINS, E. . Analise de Traco e Geracao de Diagnosticos Para Testes Baseados Em Injecao de Falhas Por Software. In: VII Simposio de Computadores Tolerantes a Falhas, 1997, Campina Grande. Anais do VII SCTF. Campina Grande - Paraiba, 1997. p. 321-336.

67.
MARTINS, E.. Injecao de Falhas Na Validacao da Seguranca No Funcionamento. In: I Simposio Regional de Tolerancia a Falhas, 1996, Porto Alegre. Anais do I SRTF. Porto Alegre - Rio Grande do S, 1996. p. 181-196.

68.
MARTINS, E.; AMBROSIO, Ana Maria ; ARAUJO, Marcos Renato R. . A Framework For Developping A Software-Based Fault Injection Tool For The Test Of Communication Systems. In: 4th. Intern. Symposium on Applied Corporate Computing, 1996. Monterrey - Mexico. p. 51-60.

69.
MARTINS, E.. Integrando Injecao de Falhas e Testes Formais Na Validacao da Tolerancia A Falhas. In: IX Simposio Brasileiro de Engenharia de Software, 1995, Recife. Anais do IX SBES. Recife - Pernambuco, 1995. p. 223-239.

Resumos expandidos publicados em anais de congressos
1.
ERAZO, LEYDI ; Martins, Eliane ; GREGHI, JULIANA GALVANI . Modeling Dependable Product-Families: From Use Cases to State Machine Models. In: 2016 Seventh LatinAmerican Symposium on Dependable Computing (LADC), 2016, Cali. 2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 2016. p. 131.

2.
VECCHIATO, DANIEL ; Martins, Eliane . Experience report: A field analysis of user-defined security configurations of Android devices. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), 2015, Gaithersbury. 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), 2015. p. 314-323.

3.
YANO, Thaise ; Martins, Eliane ; SOUSA, Fabiano . A model-based approach for robustness testing generation. In: 1st International Workshop on Resilience Assessment of Critical Infrastructures (RACI), 2011, São José dos Campos. 5th Latin-American Symposium on Dependable Computing, 2011.

4.
CUARESMA, M. J. E. ; ZENTENO, Arturo Henry Torres ; Gutierrez, J. ; MARTINS, E. ; TORRES, R. S. ; BARANAUSKAS, Maria Cecília C . A Development Process for Web Geographic Information System - A Case of Study.. In: ICEIS 2008 - Tenth International Conference on Enterprise Information Systems, 2008, Barcelona. Proceedings of the Tenth International Conference on Enterprise Information Systems, 2008. v. HCI. p. 112-117.

5.
GUIMARAES, M. S. ; BARANAUSKAS, Maria Cecília C ; Martins, Eliane . Communication-Based Modelling and Inspection in Critical Systems. In: Tenth International Conference on Enterprise Information Systems, 2008, Barcelona. Proceedings of the Tenth International Conference on Enterprise Information Systems, 2008. v. HCI. p. 215-220.

6.
PERES, Ivan Rodolfo Durán Cruz ; MARTINS, E. . Automação em Projeto de Testes Usando Modelos UML. In: Systematic and Automated Software Testing (SAST), 2007, João Pessoa. Anais do 1st. SAST, 2007.

7.
MARTINS, E.; AMBRÓSIO, Ana Maria ; SANTIAGO, Valdivino ; FRANCISCO, Maria de Fatima M. ; VIJAYKUMAR, Nandamudi L. ; CARVALHO, Solon V de . A methodology for designing fault injection experiments as an addition to communication systems conformance testing. In: Workshop on Dependable Software Tools and Methods. The International Conference on Dependable Systems and Networks, DSN'2005, 2005, Yokohama. The International Conference on Dependable Systems and Networks, DSN'2005 - Supplemental Volume, 2005.

8.
MORAES, Regina Lucia de Oliveira ; MARTINS, E. . Architecture-based strategy for interface fault injection. In: Workshop on Architecting Dependable Systems (WADS), 2004, Florença. Supplemental Volume of Intern. Conference on Dependable Systems and Networks (DSN) 2004, 2004. p. 322-326.

Resumos publicados em anais de congressos
1.
LEMOS, G. S. ; MARTINS, E. . Detecting Non-Robust Behavior: a Bioinformatics Approach. In: International Conference on Dependable Systems and Networks, DSN 2011, 2011, Hong Kong. International Conference on Dependable Systems and Networks, 2011.

2.
AMBROSIO, Ana Maria ; MARTINS, E. . Space services: textual to formal description. In: 8th Conference on Space Operations (SpaceOps 2006), 2006, Roma. American Institute of Aeronautics and Astronautics - AIAA, 2006.

3.
MARTINS, E.; SOLIANI, Ruth Fabiana . Desenvolvimento de uma técnica de seleção de testes de regressão para componentes testáveis, baseada na especificação. In: Workshop de Teses e Dissertações (LADC), 2005, Salvador, 2005.

4.
MARTINS, E.; GUIMARÃES, Daniele Constant ; AMBROSIO, Ana Maria . STER - A Strategy for Testing Reactive Systems. In: International Symposium on Dependable Systems and Networks, 2004, Florença. Suplemental Volume of Intern. Conference on Dependable Systems and Networks, 2004. p. 30-31.

5.
MARTINS, E.; SILVEIRA, Wennder I da . FireWeb: Uma ferramenta de suporte aos testes de aplicações Web. In: XVIII Simpósio Brasileiro de Engenharia de Software (SBES), 2004, Brasília. XVIII Simpósio Brasileiro de Engenharia de Software (SBES), 2004. p. 1-6.

6.
JACQUES-SILVA, Gabriela ; MORAES, Regina Lucia de Oliveira ; WEBER, Taisy Silva ; MARTINS, E. . Validando Sistemas Distribuídos Desenvolvidos em Java Utilizando Injeção de Falhas de Comunicação por Software. In: V Workshop de Testes e Tolerância a Falhas (WTF), 2004, Gramado. Simpósio Brasileiro de Redes de Computaodres, 2004.

7.
ROCHA, Camila ; MARTINS, E. . Um Modelo para Construção de Componentes Testáveis. In: V Workshop de Testes e Tolerância a Falhas (WTF), 2004, Gramado. Anais do Simpósio Brasileiro de Redes de Computadores, 2004.

8.
UBER, F. R. ; MARTINS, E. . Estratégia para Teste de Máquinas Finitas de Estados Estendidas. In: II Workshop de Testes e Tolerância a Falhas (II WTF), 2000, Curitiba. Anais do II WTF, 2000. p. 46-51.

9.
LEME, N. ; MARTINS, E. ; RUBIRA, Cecília . Um sistema de padrões para injeção de falhas por software. In: II Workshop de Testes e Tolerância a Falhas (II WTF), 2000, Curitiba. Anais do II WTF, 2000. p. 100-105.

10.
LESKE, M. ; MARTINS, E. . Utilização de Reflexão Computacional em Tempo de Compilação para a Implementação de Ferramentas de Injeção de Falhas. In: II Workshop de Testes e Tolerância a Falhas (II WTF), 2000, Curitiba. Anais do II WTF, 2000. p. 112-117.

11.
ROSA, A. C. A. ; MARTINS, E. . Using A Reflective Architecture To Validate Object-Oriented Applications By Fault Injection. In: OOPSLA'98 Workshop on Reflective Programming in C++ and Java, 1998, Vancouver. Proc. Workshop on Reflective Programming in C++ and Java. Vancouver - Canadá, 1998. p. 76-80.

12.
ROSA, A. C. A. ; MARTINS, E. . Utilizando Metaobjetos Para Injetar Falhas e Monitorizar Seus Efeitos. In: I Workshop de Tolerância a Falhas (WTF), 1998. Porto Alegre - RS. p. 37-42.

13.
ARAUJO, Marcos Renato R. ; MARTINS, E. . Injeção de Falhas Em Protocolos Tolerantes A Falhas Utilizando A Arquitetura Ferry-Clip. In: I Workshop de Tolerância a Falhas (I WTF), 1998. Porto Alegre - RS. p. 43-49.

Artigos aceitos para publicação
1.
VECCHIATO, D. A. ; Vieira, Marco ; MARTINS, E. . The Devils behind Android Security Configuration. Computer (Long Beach, Calif. Print), 2016.

Apresentações de Trabalho
1.
MARTINS, E.. Using Models for Conformance and Robustness Testing: Challenges and Lessons Learned. 2017. (Apresentação de Trabalho/Seminário).

2.
MARTINS, E.. Using Behaviour Models for Robustness Testing. 2017. (Apresentação de Trabalho/Seminário).

3.
MARTINS, E.. Dependability challenges for the next decades: what really matters for industry and society?. 2016. (Apresentação de Trabalho/Comunicação).

4.
MARTINS, E.. Using Models for Conformance and Robustness Testing: Challenges and Lessons Learned. 2016. (Apresentação de Trabalho/Seminário).

5.
MARTINS, E.. Model-Based Robustness Testing. Approaches and Some Results. 2016. (Apresentação de Trabalho/Seminário).

6.
MARTINS, E.. Analysis of Robustness Testing Results: can Bioinformatics help?. 2014. (Apresentação de Trabalho/Comunicação).

7.
VERGILIO, Silvia Regina ; BUENO, P. ; DIAS NETO, A. C. ; Martins, Eliane ; VINCENZI, A. . II Congresso Brasileiro de Software - Tutorial. 2011. (Apresentação de Trabalho/Congresso).

8.
Martins, Eliane. Aplicação de Meta-heurísticas aos Testes baseados em Modelos de Estado. 2011. (Apresentação de Trabalho/Congresso).

9.
Martins, Eliane. An Evolutionary Approach for Robustness Testing. 2009. (Apresentação de Trabalho/Comunicação).

10.
Martins, Eliane; Cavalli, Ana . RobustWeb- Construção e Validação de Aplicações SOA com Serviços Web. 2009. (Apresentação de Trabalho/Outra).


Produção técnica
Programas de computador sem registro
1.
MARTINS, E.; LEME, Nelson Guilherme Mendes ; MORAES, Regina Lucia de Oliveira . JACA - Um injetor de falhas para aplicações Java. 2004.

2.
MARTINS, E.; TOYOTA, Cristina Maria . Concat - Ferramenta para Apoio a Construção de Classes Testáveis. 2001.

3.
MARTINS, E.; AMBROSIO, Ana Maria ; UBER, F. R. ; STEFANI, M. R. ; ARAUJO, Marcos Renato R. ; GUIMARAES, M. S. ; SABIÃO, S. B. ; MORAES, Anderson Nunes de Paiva ; JEUKENS, A. ; AZEVEDO, Y. N. . ATIFS - Ambiente de Testes baseado em Máquinas de Estado. 2000.

4.
MARTINS, E.; ROSA, A. C. A. ; LESKE, M. . FIRE - Ferramenta para Injeção de Falhas por Software para C++. 2000.


Demais tipos de produção técnica
1.
MARTINS, E.. International Conference on Dependable Systems and Networks. 2007. (membro de comitê de programa).

2.
MARTINS, E.. Latin-American Symposium on Dependable Computing (LADC). 2007. (membro de comitê de programa).

3.
MARTINS, E.. 26th IEEE International Conference on Distributed Computing Systems (ICDCS-26). 2006. (vice-chair de evento).

4.
LEMOS, R. ; MARTINS, E. . Journal of Brazilian Computer Society. 2005. (Editoração/Periódico).

5.
MARTINS, E.. Testes de Software. 2003. (Curso de curta duração ministrado/Extensão).

6.
MARTINS, E.. Manutenção e Ferramentas CASE. 1998. (Desenvolvimento de material didático ou instrucional - apostila de curso).

7.
MARTINS, E.. Verificação e Validação de Software. 1998. (Desenvolvimento de material didático ou instrucional - apostila de curso).

Demais trabalhos
1.
Martins, Eliane. Uso de uma Abordagem Passiva nos Testes de Robustez de Protocolos de Comunicação. 2008 (Palestra) .

2.
MARTINS, E.. Condata: a Tool for Automating Specification-based Test Case Generation for Communication Systems. 2002 (palestra apresentada) .

3.
MARTINS, E.. Avaliação da cobertura de falhas usando injeção de falhas. 1998 (Palestra) .

4.
MARTINS, E.. Injeção de Falhas por Software: Características e Princpais Abordagens. 1998 (palestra apresentada em evento) .

5.
MARTINS, E.. Software Testing by Fault Injection. 1998 (Palestra) .

6.
MARTINS, E.. Atividades de Pesquisa Em Injecao de Falhas. 1997 (palestra apresentada) .

7.
MARTINS, E.. A Previsao de Falhas Baseada Em Testes Por Injecao de Falhas. 1996 (palestra na Universidade de Coimbra) .

8.
MARTINS, E.. Validacao da Tolerancia A Falhas Por Injecao de Falhas. 1995 (palestra apresentada no Instituto Nacional de Pesquisas Espaciais) .

9.
MARTINS, E.. Validação de Sistemas Distribuídos Tolerantes a Falhas. 1993 (Palestra) .



Patentes e registros



Programa de computador
1.
MARTINS, E.; LEME, Nelson Guilherme Mendes ; MORAES, Regina Lucia de Oliveira . JACA - Um injetor de falhas para aplicações Java. 2004.
Patente: Programa de Computador. Número do registro: 59.473, data de registro: 26/04/2004, título: "JACA - Um injetor de falhas para aplicações Java" .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
RUBIRA, Cecília; Martins, Eliane; Vieira, Marco. Participação em banca de Rômulo José Franco. FlexMonitorWS: uma solução para monitoração de serviços Web com foco em atributos de QoS. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

2.
MEDEIROS, Claudia M B; Digianpietri, L.A.; MARTINS, E.. Participação em banca de João Sávio Ceregatti Longo. Management of Integrity Constraints for Multi-scale Geospatial Data. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

3.
RUBIRA, Cecília; MORAES, Regina Lucia de Oliveira; Martins, Eliane. Participação em banca de Alan Braz. Método Ágil aplicado ao Desenvolvimento de Software Confiável baseado em Componentes. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

4.
RUBIRA, Cecília; Martins, Eliane. Participação em banca de Fernanda Yara dos Santos Foschiani. Uma abordagem de Linhas de Produtos de Software para apoio de e-Science. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

5.
AMBROSIO, Ana Maria; Gonçalves, Maurício F.; FRANCISCO, Maria de Fatima M.; Sant Anna, Nilson; Martins, Eliane. Participação em banca de Marcos Flávio de Souza Reis. VVTESTE: AMBIENTE DE GERAÇÃO E GERENCIAMENTO DE TESTES DE SOFTWARE COM SUPORTE AOS PROCESSOS DE VERIFICAÇÃO E VALIDAÇÃO. 2012. Dissertação (Mestrado em Engenharia e Tecnologia Espaciais) - Instituto Nacional de Pesquisas Espaciais.

6.
Camargo Jr., João B.; Cugnasca, Paulo S.; Martins, Eliane. Participação em banca de Alex Ander Javarotti Zumalde. Avaliação comparativa entre técnicas de programação defensivas aplicadas a um sistema crítico simulado. 2011. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

7.
MELO, Ana Cristina Vieira de; Reverbel, Francisco C.R.; Martins, Eliane. Participação em banca de Paulo Roberto de Araújo França Nunes. Validação de padrões de web services transacionais. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

8.
MOURA, A. V.; Pinto, Guilherme A.; Martins, Eliane. Participação em banca de Lehilton Lelis Chaves Pedrosa. Geração automática de casos de testes para máquinas de estados finitos. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

9.
RUBIRA, Cecília; Brito, Patrick H. S.; Martins, Eliane. Participação em banca de Marcelo de Oliveira Dias. Projeto e Implementação de Variabilidades em Arquiteturas Baseadas no Modelo de Componentes COSMOS. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

10.
RUBIRA, Cecília; Gerosa, Marco A.; Martins, Eliane. Participação em banca de Leonel Aguilar Gayard. CosmosLoader: uma ferramenta de apoio à montagem de configurações arquiteturais baseado no modelo COSMOS. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

11.
ROCIO, Simone; MASIERO, Paulo Cesar; Martins, Eliane. Participação em banca de Alex Donizeti Betez Alberto. Uma estratégia para minimização de máquinas de estados finitos parciais. 2009. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

12.
Martins, Eliane; PORTO, Ingrid Jansch; BARCELOS, M.. Participação em banca de Cristina Ciprandi Menegotto. Injeção de falhas de comunicação em aplicações multiprotocolo. 2009. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

13.
Rubira, Cecília M. F.; BRAGA, R. T. V.; Martins, Eliane. Participação em banca de Wendel Malta de Assis. Evolução de componentes compartilhados por múltiplas linhas de produto de software. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

14.
MEDEIROS, Claudia M B; BARIONI, M. C. N.; Martins, Eliane. Participação em banca de Joana Esther Gonzáles Malaverri. Um serviço de gerenciamento de coletas para sistemas de biodiversidade. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

15.
BARANAUSKAS, Maria Cecília C; MARTINS, E.; BONACIN, Rodrigo. Participação em banca de João Marcos Bonádio de Faria. Artefatos de Semiótica Organizacional na Elicitação de Requisitos para Soluções de Data Warehouse. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

16.
RUBIRA, Cecília; MARTINS, E.; CHAIM, Marcos Lordello. Participação em banca de Helder de Souza Pinho. RIGEL - Um Repositório com Suporte para Desenvolvimento Baseado em Componentes. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

17.
RUBIRA, Cecília; GIMENES, Itana; MARTINS, E.. Participação em banca de Rodrigo Teruo Tomita. BELLATRIX: Um Ambiente para Suporte Arquitetural ao Desenvolvimento Baseado em Componentes. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

18.
ANIDO, R. O.; AMBROSIO, Ana Maria; MARTINS, E.. Participação em banca de Jurandy Martins Soares Jr.. Testes de Conformidade em Contexto Guiado por Casos de Teste de Componentes. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

19.
RUBIRA, Cecília; MARTINS, E.; MASIERO, Paulo Cesar. Participação em banca de Patrick Henrique Silva. Um Método para Modelagem de Exceções em Desenvolvimento Baseado em Componentes. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

20.
MARTINS, E.; FORTES, Renata P de Mattos; PIMENTEL, Maria da Graça Campos. Participação em banca de Simone D. Francisco. DocRationale: uma ferramenta para suporte a Design Rationale de artefatos de software. 2004. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

21.
MARTINS, E.. Participação em banca de José Antonio Afonso Bismonte. Especificação de um sistema eletrônico de compras para empresas públicas. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

22.
RUBIRA, Cecília; MARTINS, E.; MELO, Ana Cristina Vieira de. Participação em banca de Vinicius Asta Pagano. Uma abordagem arquitetural com tratamento de exceções para sistemas de software baseados em componentes. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

23.
MALDONADO, Jose Carlos; MARTINS, E.; DELAMARO, Marcio e. Participação em banca de Thaise Yano. Estudo do teste de mutação em programas funcionais SML. 2004. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

24.
RUBIRA, Cecília; MARTINS, E.; ZORZO, Avelino F. Participação em banca de Ricardo de Mendonça Silva. Técnicas de estruturação de software no desenvolvimento de sistemas de sistemas confiáveis. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

25.
CORTES, Mário Lúcio; MARTINS, E.; OLIVEIRA, Kathia M de. Participação em banca de Luis Alberto Ferreira Gomes. Comércio eletrônico: uma análise da aplicabilidade de modelos de qualidade de software. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

26.
GEUS, Paulo Licio de; CHIOSSI, Thelma; MARTINS, E.; GUERRA, Ana Cervigni. Participação em banca de Marcus Vinicius La Rocca Macedo. Uma proposta de aplicação de métricas de pontos de função em aplicações de dispositivos portáteis. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

27.
MACHADO, Patricia D L; MARTINS, E.; FIGUEIREDO, Jorge C A de; GARCIA, Francilene P. Participação em banca de Carina Machado de Farias. Um método de teste funcional para verificação de componentes. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

28.
MARTINS, E.; CESAR NETTO, João; WEBER, Raul Fernando. Participação em banca de Paulo Ricardo Rodegheri. Validação do Mecanismo de Tolerância a Falhas do SGBD InterBase Através de Injeção de Falhas. 2002. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

29.
RUBIRA, Cecília; MARTINS, E.; MASIERO, Paulo. Participação em banca de Frederico de Miranda Coelho. Uso de componentes de software no desenvolvimento de frameworks orientados a objetos. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

30.
VERGILIO, Silvia Regina; MARTINS, E.; MUSICANTE, Martin A. Participação em banca de Lisiane Maes Volpi. Uma estratégia de teste de software para ambiente cliente-servidor. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

31.
RUBIRA, Cecília; MARTINS, E.; WERNER, Claudia M Lima. Participação em banca de Gerson M. Weiss. Adaptação de componentes de software para o desenvolvimento de sistemas confiáveis. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

32.
RUBIRA, Cecília; MARTINS, E.; BORBA, Paulo Henrique M. Participação em banca de Alessandro Fabricio Garcia. Tratamento de exceções em sistemas concorrentes orientados a objetos. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

33.
HENRIQUES, Marco A A; MARTINS, E.; MAGALHÃES, Mauricio F. Participação em banca de Saulo R. do Nascimento. Algoritmos distribuídos para localização de falhas e difusão de mensagens em hipercubos defeituosos. 2000. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

34.
RUBIRA, Cecília; LUCENA, Carlos José P de; MARTINS, E.. Participação em banca de Luciane L. Ferreira. Um framework orientado a objetos para controladores de trens tolerantes a falhas. 1999. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

35.
RUBIRA, Cecília; BORGES, Marcos Roberto da Silva; MARTINS, E.; BUZATO, Luiz Eduardo. Participação em banca de Marília Gabriela Coelho. Uma abordagem reflexiva para a construção de frameworks para interfaces homem-computador. 1998. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

36.
BUZATO, Luiz Eduardo; MARTINS, E.; ENDLER, Markus; STOLFI, Jorge. Participação em banca de Alexandre Oliva. Guaraná: uma arquitetura de software para reflexão computacional implementada em Java. 1998. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

37.
SILVA, Dilma M da; MARTINS, E.. Participação em banca de Edson N. Yamada. Uma ferramenta para avaliação semi-automática de programas-exercício. 1997. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

38.
CARDOZO, Eleri; MARTINS, E.. Participação em banca de Maria Adela R. Alvarez. Desenvolvimento metodológico de sistemas abertos. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

39.
OMAR, Nizam; SANTELLANO, Jony; MARTINS, E.; SOVIERO, Paulo Afonso O. Participação em banca de Carlos Augusto T de Moura. Uma estratégia para análise de segurança de software para aplicações críticas. 1996. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

Teses de doutorado
1.
SANTOS, W. A.; AMBROSIO, Ana Maria; Vieira, Marco; FRANCISCO, Maria de Fatima M.; MARTINS, E.; Villani, Emília. Participação em banca de Denise Nunes Rotondi Azevedo. Benchmarking de resiliência para infraestruturas de simuladores de satélites em HLA. 2014. Tese (Doutorado em ENGENHARIA E TECNOLOGIA ESPACIAIS) - Instituto Nacional de Pesquisas Espaciais.

2.
FABBRI, Sandra; CAMARGO, H. A.; LUCREDIO, D.; MARTINS, E.; ALENCAR, F.. Participação em banca de André Di Thommazo. Um Conjunto de Abordagens para a Geração de Matriz de Rastreabilidade de Requisitos com Suporte de Inteligência Computacional. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.

3.
MADEIRA, Henrique; Ruiz, J. C.; Neves, N.F.; Simões, P.; Vieira, Marco; MARTINS, E.. Participação em banca de Afonso Comba de Araújo Neto. Security Benchmarking of Transactional Systems. 2013. Tese (Doutorado em Faculdade de Ciências e Tecnologia) - Universidade de Coimbra.

4.
Simão, Adenilso; MASIERO, Paulo Cesar; Martins, Eliane; VERGILIO, Silvia Regina; Gheyi, Rohit. Participação em banca de André Takeshi Endo. Teste baseado em modelo de aplicações orientadas a serviço. 2013. Tese (Doutorado em Ciência da Computação e Matemática Computacional [) - Universidade de São Paulo.

5.
MEDEIROS, Claudia M B; PEREZ-ALCAZAR, J. J.; OLIVEIRA, J. L.; SANTANCHE, A.; MARTINS, E.. Participação em banca de Joana Esther Gonzales Malaverri. Supporting data quality assessment in eScience: a provenance based approach. 2013. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

6.
JINO, Mario; VERGILIO, Silvia Regina; CHAIM, Marcos Lordello; Von Zuben, Fernando; Martins, Eliane. Participação em banca de Paulo Marcos Siqueira Bueno. Geração de Dados de Teste Orientada à Diversidade com o Uso de Meta-Heurísticas. 2012. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

7.
BARANAUSKAS, Maria Cecília C; Martins, Eliane. Participação em banca de Vagner Santana. Interfaces Autoajustáveis em Websites: Contribuições em Direção ao Design para Todos. 2012. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

8.
MASIERO, Paulo Cesar; Simão, Adenilso; Martins, Eliane; Valente, Marco T.; Prado, Antonio F.. Participação em banca de Marcelo Medeiros Eler. Uso da técnica de teste estrutural para o teste e monitoração de serviços. 2012. Tese (Doutorado em Ciência da Computação e Matemática Computacional [) - Universidade de São Paulo.

9.
Saotome, Osamu; Villani, Emília; AMBROSIO, Ana Maria; MADEIRA, Henrique; Yano, Edgar Toshiro; Martins, Eliane; Vieira, Marco; Camargo Jr., João B.. Participação em banca de Paulo Claudino Véras. Benchmarking software requirements documentation for space application. 2011. Tese (Doutorado em ITA) - Instituto Tecnológico de Aeronáutica.

10.
Mellouk, Abdelhamid; RODRIGUEZ, I.; MARTINS, E.; LI, K.; MAAG, S.; Cavalli, Ana. Participação em banca de Gerardo Morales. Une méthodologie de test pour la validation des applications Web. 2010 - Institut National des Télécommunications.

11.
BARANAUSKAS, Maria Cecília C; Martins, Eliane. Participação em banca de Vânia Paula de Almeida Néris. Estudo e Proposta de um Framework para o Design de Interfaces de Usuário Ajustáveis. 2010. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

12.
RUBIRA, Cecília; GIMENES, Itana; Martins, Eliane; ANIDO, R. O.; WEBER, Taisy Silva. Participação em banca de Patrick Henrique da Silva Brito. Uma Abordagem Arquitetural para Linhas de Produto de Software Baseadas em Componentes. 2009. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

13.
MOURA, A. V.; MELO, Ana Cristina Vieira de; BUZATO, Luiz Eduardo; Martins, Eliane; Oliveira, J.M.P.. Participação em banca de Adilson Luiz Bonifácio. Geração de conjuntos de teste para sistemas reativos, de tempo real e com transformações de contexto. 2009. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

14.
Oliveira, J.M.P.; YANO, E. T.; Martins, Eliane; HIRATA, C. M.; MASIERO, Paulo Cesar; AMBRÓSIO, Ana Maria. Participação em banca de Maria de Fátima Mattiello-Francisco. InRob- um Framework para Testes de Interoperabilidade e de Robustez de Subsistemas de Tempo Real Intensivos em Software. 2009. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

15.
MALDONADO, José Carlos; MASIERO, Paulo Cesar; MENDONÇA NETO, Manoel Gomes de; MARTINS, E.; CHAIM, Marcos Lordello. Participação em banca de Elisa Yumi Nakagawa. Uma Contribuição ao Projeto Arquitetural de Ambientes de Engenharia de Software. 2006. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

16.
RUBIRA, Cecília; ZORZO, Avelino F; BUZATO, Luiz Eduardo; BORBA, Paulo Henrique M; MARTINS, E.. Participação em banca de Fernando J. Castor de lima Filho. Tratamento de Exceções no Desenvolvimento de Sistemas Tolerantes a Falhas baseados em Componentes. 2006. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

17.
RUBIRA, Cecília; LUCENA, Carlos José P de; WERNER, Claudia M Lima; MARTINS, E.; RICARTE, Ivan Luiz M; MADEIRA, Edmundo Roberto M. Participação em banca de Paulo Astério de Castro Guerra. Uma abordagem arquitetural para tolerância a falhas em sistemas de software baseados em componentes. 2004. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

18.
BARANAUSKAS, Maria Cecília C; LIU, Kecheng; SOUZA, Clarisse S de; GUDWIN, Ricardo R; CARVALHO, Ariadne M B R; MARTINS, E.. Participação em banca de Rodrigo Bonacin. Um modelo de desenvolvimento de sistemas para suporte a cooperação fundamentado em design participativo e semiótica organizacional. 2004. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

19.
MARTINS, E.; GEYER, Cláudio Fernando Resin; LISBOA, Maria Lúcia Blanck; FRAGA, Joni da Silva. Participação em banca de Marcia Pasin. Réplicas para Alta Disponibilidade em Arquiteturas Orientadas a Componentes com suporte de Comunicação de Grupo. 2003. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

20.
RUBIRA, Cecília; MARTINS, E.; ZORZO, Avelino F; BUZATO, Luiz Eduardo; WEBER, Taisy S. Participação em banca de Delano Medeiros Beder. Uma arquitetura de software baseada em padrões de projeto para o desenvolvimento de aplicações concorrentes confiáveis. 2001. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

21.
JINO, Mario; MALDONADO, José Carlos; MARTINS, E.. Participação em banca de Silvia R. Vergilio. Critérios Restritos: uma Contribuição para Aprimorar a Eficácia da Atividade de Teste de Software. 1997. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
RUBIRA, Cecília; CARVALHO, Ariadne M B R; MARTINS, E.; Vieira, Marco. Participação em banca de Jane Sandim Eleutério. Uma infraestrutura baseada em técnicas de linhas de produto para apoiar aplicações dinâmicas tolerantes a falhas. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

2.
PEREIRA, F. M. Q.; Vieira, Marco; ARANHA, D.; RUBIRA, Cecília; MARTINS, E.; GALLO FILHO, R. A.. Participação em banca de Alexandre Melo Braga. Desenvolvimento de Software Criptográfico Seguro. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

3.
MALDONADO, Jose Carlos; SIMÕES, Adenilso; Martins, Eliane. Participação em banca de Paulo Augusto Nardi. Oráculo associado a modelos para sistemas dinâmicos. 2010. Exame de qualificação (Doutorando em Ciência da Computação e Matemática Computacional [) - Universidade de São Paulo.

4.
Martins, Eliane; DELAMARO, Marcio e; FABBRI, Sandra. Participação em banca de Marcelo Medeiros Eler. Um serviço para o teste estrutural e certificação de serviços web e componentes de software. 2008. Exame de qualificação (Doutorando em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

5.
RUBIRA, Cecília; MASIERO, Paulo Cesar; Martins, Eliane. Participação em banca de Leonardo Pondian Tizzei. Gerenciamento e evolução de variabilidades em linhas de produto de software baseadas em componentes. 2008. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

6.
Martins, Eliane; YANO, E. T.; HIRATA, C. M.. Participação em banca de Maria de Fátima Mattiello-Francisco. Testes de Interoperabilidade e Robustez de Sistemas Reativos Guiados por Perfil Operacional. 2008. Exame de qualificação (Doutorando em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

7.
RUBIRA, Cecília; GIMENES, Itana; MARTINS, E.. Participação em banca de Ana Elisa de Campos Lobo. Uma Abordagem Arquitetural para Linhas de Produto de Software Baseadas em Componentes. 2006. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

8.
MARTINS, E.; MASIERO, Paulo Cesar; CHAIM, Marcos Lordello. Participação em banca de Elisa Y. Nakagawa. Software livre: processo e produto livres no desenvolvimento de aplicações Web. 2004. Exame de qualificação (Doutorando em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

9.
MARTINS, E.; MASIERO, Paulo Cesar; CHAIM, Marcos Lordello. Participação em banca de Elisa Yumi Nakagawa. Software Livre: Processo e Produto Livres no Desenvolvimento de Aplicações Web. 2002. Exame de qualificação (Doutorando em Ciência da Computação e Matemática Computacional [) - Universidade de São Paulo.

10.
MARTINS, E.. Participação em banca de Auri M.R. Vincenzi. Orientação a Objeto: Definição e Análise de Recursos de Teste e Validação. 2000. Exame de qualificação (Doutorando em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Qualificações de Mestrado
1.
HORNUNG, H.; SANTANCHE, A.; MARTINS, E.. Participação em banca de Ewerton Martins. Uma proposta de uso de dispositivos móveis em abordagens de aprendizado ativo. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Campinas.

2.
RUBIRA, Cecília; MARTINS, E.. Participação em banca de Jael Louis Zela Ruiz. Mapeamento de Conflitos entre Atributos de QoS na Monitoração de Aplicações SOA. 2014. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Campinas.



Participação em bancas de comissões julgadoras
Concurso público
1.
Fantinato, Marcelo; CHAIM, Marcos Lordello; Gerosa, Marco A.; Albuquerque, João Porto; Martins, Eliane. Concurso público para Sistemas de Informação e Engenharia de Software. 2011. Universidade de São Paulo.

2.
MARTINS, E.. Concurso público para provimento de vaga de docente. 2009. Universidade Estadual de Campinas.

3.
MARTINS, E.. Concurso público para provimento de vaga de docente. 2008. Universidade Federal de São Carlos.

Livre docência
1.
MARTINS, E.; DELAMARO, Marcio e; FERREIRA, J. E.; MARQUES, F. L. S. N.; MENDONCA NETO, C. F. X.. Gestão e Desenvolvimento de Sistemas de Informação. 2014.

2.
MARTINS, E.; MARTUCCI JR, Moacyr; JINO, Mario; BIGONHA, Roberto da Silva; MASIERO, Paulo Cesar. Banca de Concurso para Obtenção de Título de Livre-Docência. 2005. Universidade de São Paulo.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
XIII Workshop de Tolerância a Falhas (WTF).Emulação de Ataques do Tipo XPath Injection para Testes de Web Services Usando Injeção de Falhas. 2012. (Simpósio).

2.
II Congresso Brasileiro de Software.II Workshop de Engenharia de Software Baseada em Buscas. 2011. (Simpósio).

3.
II Congresso Brasileiro de Software - Tutorial Selecionado.Geração de Dados de Teste (Principais Conceitos e Técnicas. 2011. (Outra).

4.
4th. Latin American Symposium on Dependable Computing.Mapping Web-based Applications Failures to Faults. 2009. (Simpósio).

5.
Fórum Franco-Brasileiro.RobustWeb- Construção e Validação de Aplicações SOA com Serviços Web. 2009. (Encontro).

6.
Latin American Symposium on Dependable Computing (LADC).Architectural-Based Validation of Fault-Tolerant Software. 2009. (Simpósio).

7.
reunião anual do Projeto REVVIS (Reunião de Especialistas em Verificação e Validação de Software).An Evolutionary Approach for Robustness Testing. 2009. (Encontro).

8.
Reunião do projeto Revvis.An Evolutionary Approach for Robustness Testing. 2009. (Encontro).

9.
7e. Conference Internationale sur les Nouvelles Technologies de la Repartition (NOTERE). 2007. (Simpósio).

10.
IEEE-IFIP International Conference on Dependable Systems and Networks. Experimental Risk Assessment and Comparison Using Software Fault Injection. 2007. (Congresso).

11.
International Symposium on Dependable Systems and Networks.A Field Data Study on the Use of Software Metrics to Define Representative Fault Distribution. 2006. (Simpósio).

12.
Workshop de Testes e Tolerância a Falhas.Melhorando a Dependabilidade de Componentes com o uso de Wrappers. 2006. (Encontro).

13.
Journal of Brazilian Computing Society - Dependable Computing.Organização da Edição Especial da JBCS. 2005. (Outra).

14.
Latin American Dependable Computing Symposium.Presidente do Comitê Executivo. 2005. (Simpósio).

15.
Latin American Dependable Computing Symposium.Membro do comitê de programa. 2005. (Simpósio).

16.
Workshop de Manutenção de Software Moderna (WMSwM'05).membro do comitê de programa. 2005. (Outra).

17.
Workshop de Testes e Tolerância a Falhas.Coordenadora. 2005. (Outra).

18.
23rd. Symposium on Reliable Distributed Systems.Participação em painel. 2004. (Simpósio).

19.
2nd. Latin American Dependable Computing Symposium.Coordenação do Comitê Executivo. 2004. (Simpósio).

20.
Workshop de Tolerância a Falhas (WTF).Membro de comitê de prgrama. 2004. (Seminário).

21.
!st. Latin-American Symposium on Dependable Computing.coordenação do Comitê Executivo. 2003. (Simpósio).

22.
1st. Latin American Dependable Computing Symposium.Apresentação em painel. 2003. (Simpósio).

23.
Concurso de Teses e Dissertações. coordenação de evento. 2003. (Congresso).

24.
Concurso de Teses e Dissertações.Coordenação de evento. 2003. (Outra).

25.
International Symposium on Dependable Systems and Networks.Membro de Comitê de Programa. 2003. (Simpósio).

26.
2ª JIISIC.Participação com apresentação de trabalho. 2002. (Seminário).

27.
International Conference on Dependable Systems and Networks (DSN). International Conference on Dependable Systems and Networks (DSN). 2002. (Congresso).

28.
International Symp. on Dependable Systems and Networks.Membro do Comitê de Programa. 2002. (Simpósio).

29.
International Symposium on Dependable Systems and Networks. Membro de Comitê de Programa. 2001. (Congresso).

30.
International Symposium on Dependable Systems and Networks. Membro de Comitê de Programa. 2000. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
MARTINS, E.; MORAES, Regina Lucia de Oliveira ; WEBER, Taisy S . 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 2015. (Congresso).

2.
MORAES, Regina Lucia de Oliveira ; MARTINS, E. ; Ruiz, J. C. . 6th. Latin-American Symposium on Dependable Computing (LADC). 2013. (Congresso).

3.
ALVIM, A. C. F. ; DIAS NETO, A. C. ; VINCENZI, A. ; CAMILO-JUNIOR, C. G. ; Martins, Eliane ; MATEUS, G. R. ; ELIAS, G. ; CAMPOS, G. A. L. ; SOUZA, J. T. ; SILVA, L. ; BARROS, M. O. ; EMER, M. C. F. P. ; CORTES, M. I. ; SANTOS NETO, P. A. ; RODRIGUES, R. F. ; VERGILIO, Silvia Regina . IV Workshop de Engenharia de Software Baseada em Busca (WESB). 2013. (Congresso).

4.
Martins, Eliane; Silveira, Fábio F. . V Workshop Brasileiro de Teste de Software Sistemático e Automatizado. 2011. (Congresso).

5.
BUZATO, Luiz Eduardo ; Martins, Eliane . Fostering Dependability Research in Latin America. 2009. (Outro).

6.
MARTINS, E.; MORAES, Regina Lucia de Oliveira ; RUBIRA, Cecília . 53a. reunião do grupo de trabalho 10.4 do IFIP. 2008. (Outro).

7.
MARTINS, E.; RUBIRA, Cecília . 39th IFIP Meeting - WG10.4- Dependable Computing and Fault Tolerance. 2001. (Outro).

8.
MARTINS, E.. VIII Simpósio de Computação Tolerante a Falhas (SCTF). 1999. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Wellington Lucas Moura. Avaliação de Robustez do Docker Engine. Início: 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas. (Orientador).

2.
Narcísio José Mula. Testes da Segurança do Moodle com base em padrões de ataques representados por Statecharts. Início: 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas. (Orientador).

3.
Anderson Coelho Weller. Uma abordagem para testes de interoperabilidade e robustez de sistemas de tempo-real e embarcados, utilizando diagramas de estados UML e perfi lMART. Início: 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas. (Orientador).

Tese de doutorado
1.
Wallace Felipe Cardoso. Testes de Mutação de MOdelos de Estados usando Técnicas baseadas em busca. Início: 2015. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

2.
Jeferson Ferreira. Testes auto-adaptativos para aplicações dinâmicas. Início: 2014. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Lucas Carvalho Leal. Self-adaptive model-based online testing for dynamic SOA. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

2.
Thaís Harumi Ussami. Incremental Tests in a Model Based Test Driven Development. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

3.
Wallace Felipe Francisco Cardoso. StateMutest: uma ferramenta de apoio ao teste baseado em modelos de estado estendidos. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

4.
Leydi Rocio Erazo. An approach and a tool for model-based testing in software product lines. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

5.
Caroline Castello Letízio. Método de Modelagem e Geração de Testes para o Ambiente de Ensino à Distância TelEduc. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eliane Martins.

6.
Marcelo Invert Palma Salas. Metodologia de Testes de Segurança para Análise de Robustez de Web Services por Injeção de Falhas. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

7.
Isaura Rennaly Souto Lima. Uso de Análise de Mutantes para Avaliar Abordagens Baseadas em Busca para a Geração de Testes Baseados em Modelos de Estado. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

8.
Érika Almeida. Geração automática de casos de testes executáveis a partir de casos de testes abstratos para aplicações Web. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

9.
André Willik Valenti. Testes de robustez da composição de serviços Web. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

10.
Willian Yabusame Maja. Testes de robustez de uma infraestrutura confiável para arquiteturas baseadas em serviços Web. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

11.
Jeferson Ferreira. Validação do fluxo excepcional a partir do Diagrama de Atividades da UML. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

12.
André Vinicius Buzzo. Estudo de algoritmo evolutivo com codi ficação real na geração de dados de teste estrutural e implementação de protótipo de ferramenta de apoio. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

13.
André Willik Valenti. Testes de Robustez em Composições de Serviços Web por meio de Injeção de Falhas. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

14.
Anderson Nunes Paiva Morais. Injeção de Ataques Baseados em Modelo para Teste de Protocolos de Segurança. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

15.
Ivan Rodolfo Durán Cruz Peres. Algoritmos de testes baseados em modelos para automação. 2008. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

16.
Mozart Costa. Estratégia de automação em testes: requisitos, arquitetura e acompanhamento de sua implementação. 2006. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

17.
Arturo H. Torres-Zenteno. Processo de Desenvolvimento e Testes para Aplicações SIG Web. 2006. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

18.
Josiane Aparecida Cardoso. Um Método de Teste de Integração de Sistema Baseado em Componentes. 2006. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

19.
Marcus Valério Queiroz Brunelli. A utilização de uma metodologia de teste no processo da melhoria da qualidade do software. 2006. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

20.
Bruno Abreu. Geração de dados de teste utilizando uma abordagem evolutiva. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eliane Martins.

21.
Daniele Constant Guimarães. STER: Uma estratégia de testes para sistemas reativos. 2005. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eliane Martins.

22.
Camila Rocha. Um Método de Testes para Componentes Tolerantes a Falhas. 2005. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eliane Martins.

23.
Nadia Nora Elias Souza. Estratégia para Teste de Componentes utilizando Injeção de Falhas. 2005. 77 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

24.
José Reynaldo Boava Jr. Estratégia para Testes de Aplicação. 2005. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

25.
Claudia dos Santos Silva. Uma Arquitetura de Testes para Sistemas Espaciais.. 2005. 0 f. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, . Coorientador: Eliane Martins.

26.
Ana Silvia Martins Serra do Amaral. Geração de Casos de Teste para Sistemas Especificados em Statecharts.. 2005. 0 f. Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, . Coorientador: Eliane Martins.

27.
Adriano Camargo Rodrigues da Cunha. AUTOTEST: Um framework para testes funcionais e distribuídos de aplicações em ambiente WWW. 2004. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

28.
Vanessa Gindri Vieira. Uma estratégia para testes de regressão usando classes testáveis. 2004. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

29.
Regina Lucia de Oliveira Moraes. Estratégia de testes para componentes de banco de dados orientados a objetos utilizando injeção de falhas. 2003. 88 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

30.
Klausner Vieira Gonçalves. Teste de software em aplicação de banco de dados relacional. 2003. 46 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

31.
Angela Cristina de Oliveira. ETIERP - Estratégia de Testes para Implantação de Sistemas ERP. 2003. 92 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

32.
Wennder Indalécio de Oliveira Fidélis. FireWeb: Uma Ferramenta de Suporte aos Testes de Regressão de Aplicações Web. 2003. 94 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

33.
Aurea M Miyazawa. Recomendações para a Melhoria da Manutenibilidade de Sistemas baseados em COTS. 2003. 60 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

34.
Luciano Hayato Ukuma. Construção de componentes auto-testáveis. 2002. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

35.
Nelson Guilherme Mendes Leme. Um Sistema de Padrões para Injeção de Falhas por Software. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Eliane Martins.

36.
Flávio Rogério Uber. INTEGRANDO TESTES DE DOMÍNIOS AOS TESTES BASEADOS EM MÁQUINAS FINITAS DE ESTADOS ESTENDIDAS. 2001. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

37.
Cristina Maria Toyota. Melhoria da Testabilidade de Classes Usando o Conceito de Autoteste. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

38.
Rosileny Lie Yanagawa. Avaliação da Construção e Uso de Classes Autotestáveis. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

39.
Marcos Renato Rodrigues Araújo. F-Sofist - Uma Ferramenta para Teste de Protocolos Tolerantes a Falhas. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

40.
Selma Bássiga Sabião. Um Método para Geração de Testes baseado em Máquina Finita de Estados Estendida Combinando Técnicas de Teste Caixa Preta. 1999. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

41.
Amanda Cibele Apolinário Rosa. Uma Arquitetura Reflexiva Para Injetar Falhas Em Aplicações Orientadas A Objetos. 1998. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Eliane Martins.

42.
Marcio Roberto Stefani. Analise de Traco Com Geracao de Diagnosticos Para Teste de Comportamento de Uma Implementacao de Protocolo de Comunicacao Em Presenca de Falhas. 1997. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Eliane Martins.

43.
Marcos Salenko Guimaraes. Um Framework de Ferramenta Interativa Para Um Ambiente Integrado de Testes. 1996. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Eliane Martins.

Tese de doutorado
1.
Juliana Galvani Greghi. Geração Semiautomática de Máquinas Finitas de Estados Estendidas a partir de Documento de Padronização em Língua Natural. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

2.
Daniel Vecchiato. Benchmarking user-defined security configurations of Android devices. 2013. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

3.
Gizelle Sandrini de Lemos. Alinhamento de Seqüências na Avaliação de Resultados de Testes de Robustez. 2012. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eliane Martins.

4.
Thaise Yano. Uma Abordagem Evolutiva Multiobjetivo para Geração Automática de Casos de Teste a partir de Máquinas de Estado. 2011. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

5.
Fayçal Bessayah. Utilisation des techniques de test et d?injection de fautes pour la détection d?intrusion. 2010. Tese (Doutorado em Doutorado) - Université Pierre et Marie Curie, . Coorientador: Eliane Martins.

6.
Maria de Fátima Mattiello-Francisco. InRob- um Framework para Testes de Interoperabilidade e de Robustez de Subsistemas de Tempo Real Intensivos em Software. 2009. Tese (Doutorado em ITA) - Instituto Tecnológico de Aeronáutica, . Coorientador: Eliane Martins.

7.
Regina Lucia de Oliveira Moraes. Uso de Risco na Validação de Sistemas Baseados em Componentes. 2006. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Eliane Martins.

8.
Ana Maria Ambrósio. CoFI - uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais. 2005. 180 f. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, . Orientador: Eliane Martins.

9.
Thaise Yano. Uso de Algoritmos Evolutivos nos Testes Baseados em Modelos de Estado Estendidos. 2005. 0 f. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Eliane Martins.

10.
Marcos Salenko Guimarães. Construção de interfaces para sistemas críticos. 2005. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . Coorientador: Eliane Martins.

Iniciação científica
1.
Carlos Eduardo Rodrigues de Almeida. Jaca2 - Um injetor de falhas por alteração do bytecode. 2004. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Eliane Martins.

2.
Marcio Kikuti. JaGuar: Uma ferramenta de injeção de falhas para o ambiente Guaraná. 2001. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, UNICAMP. Orientador: Eliane Martins.

3.
Mateus de Castro Polastro. Construção de uma Interface para a Ferramenta de Testes ConDado. 2001. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

4.
Anderson Nunes de Paiva Moraes. Desenvolvimento de Interface-Usuário e Validação de uma Ferramenta para Testes de sistemas de Comunicação. 2000. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, UNICAMP. Orientador: Eliane Martins.

5.
Michael Leske. Utilizando reflexão em tempo de compilação para injeção de falhas. 2000. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

6.
Selma Thais Tanaka. Um analisador para a Linguagem de Especificação de Protocolo. 1999. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, UNICAMP. Orientador: Eliane Martins.

7.
Alex Jeukens. Sistema de Geração de Scripts. 1999. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

8.
Yngrid Nicoletti Azevedo. Projeto e implementação de um analisador de traço e geração de diagnósticos para testes de protocolos de comunicação. 1999. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Eliane Martins.

9.
Ricardo Luis Lachi. Camada de Gerenciamento de Objetos. 1999. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.

10.
Ricardo Bueno. Uma ferramenta para geração de testes e falhas para máquinas de estado. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Eliane Martins.



Inovação



Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 16/10/2018 às 9:39:59