-
Social Sciences & Humanities
Education
-
Physical Sciences
Computer Science (miscellaneous)
Wallace Felipe CARDOSO; Eliane MARTINS; Nuno LARANJEIRO; Nuno ANTUNES.
2019.
Combining state and interface -based robustness testing for openstack components.
In:
9th latin american symposium on dependable computing.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Juliana Glavani GREGHI; Ariadne M B R CARVALHO; Eliane MARTINS.
2015.
Requirement?s variability in model generation from a standard document in natural language.
In:
The tenth international conference on software engineering advances - icsea 2015.
Espanha.
-
Physical Sciences
Biomedical Engineering
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science Applications
Gizelle Sandrini De LEMOS; Eliane MARTINS.
2013.
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).
Hungria.
-
Physical Sciences
Computer Science (miscellaneous)
Marcelo Palma SALAS; Eliane MARTINS.
2013.
Security testing methodology for vulnerabilities detection of xss in web services and ws-security.
In:
Xxxix latin american computing conference (clei 2013).
Venezuela.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Marcelo Palma SALAS; Eliane MARTINS.
2012.
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).
Brasil.
-
Social Sciences & Humanities
Education
Isaura Rennaly Souto LIMA; Thaise YANO; Eliane MARTINS.
2012.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcelo Palma SALAS; Eliane MARTINS.
2012.
Emulation of malformed xml using wsinject for security testing against ws-security.
In:
Latincom workshop 5 - green; user-centered; and security.
Brasil.
-
Physical Sciences
Artificial Intelligence
Anderson Nunes De Paiva MORAES; Cavalli Ana ROSA; Eliane MARTINS.
2011.
A model-based attack injection approach for security validation.
In:
4th international conference on security of information and networks (sin 2011).
Austrália.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Gizelle Sandrini De LEMOS; Eliane MARTINS.
2011.
Detecting non-robust behavior: a bioinformatics approach.
In:
International conference on dependable systems and networks; dsn 2011.
Hong Kong.
-
Physical Sciences
Artificial Intelligence
Thaise YANO; Eliane MARTINS; Fabiano SOUSA.
2011.
A model-based approach for robustness testing generation.
In:
1st international workshop on resilience assessment of critical infrastructures (raci).
Brasil.
-
Physical Sciences
Artificial Intelligence
Thaise YANO; Eliane MARTINS; Fabiano SOUSA.
2010.
Generating feasible test paths from an executable model using a multi-objective approach.
In:
3rd international workshop on search-based software testing.
França.
-
Physical Sciences
Artificial Intelligence
Gizelle Sandrini De LEMOS; Eliane MARTINS.
2010.
Robustness testing oracle using a sequence alignment algorithm.
In:
First international workshop on software test output validation.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Fayçal BESSAYAH; Ana Rosa CAVALLI; Willian MAJA; Eliane MARTINS; André W VALENTI.
2010.
A fault injection tool for testing web services composition.
In:
Testing - practice and research techniques; 5th international academic and industrial conference; taic part 2010.
Grã-Bretanha.
-
Physical Sciences
Computer Science (miscellaneous)
Ana Rosa CAVALLI; Tien Dung CAO; Wissam MALLOULI; Eliane MARTINS; Andrey SADOVYKH et al.
2010.
Webmov: a dedicated framework for the modelling and testing of web services composition.
In:
Ieee international conference on web services.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Salenko GUIMARAES; Maria Cecília C BARANAUSKAS; Eliane MARTINS.
2010.
Interaction design and redundancy strategy in critical systems.
In:
12th international conference on informatics and semiotics in organisations.
Grã-Bretanha.
-
Physical Sciences
Artificial Intelligence
Anderson Nunes De Paiva MORAES; Eliane MARTINS; Ana Rosa CAVALLI; Willy JIMENEZ.
2009.
Security protocol testing using attack trees.
In:
12th ieee international conference on computational science and engineering.
Canadá.
-
Physical Sciences
Computer Science (miscellaneous)
Jeferson FERREIRA; Eliane MARTINS.
2009.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Regina Lucia De Oliveira MORAES; Bruno ABREU; Eliane MARTINS.
2009.
Mapping web-based applications failures to faults.
In:
4th. latin american symposium on dependable computing.
Brasil.
-
Physical Sciences
Artificial Intelligence
Patrick Henrique Da Silva BRITO; Rogério De LEMOS; Eliane MARTINS; Regina Lucia De Oliveira MORAES; Cecília RUBIRA.
2009.
Architectural-based validation of fault-tolerant.
In:
4th. latin american symposium on dependable computing.
Brasil.
-
Physical Sciences
Artificial Intelligence
Fayçal BESSAYAH; Ana Rosa CAVALLI; Eliane MARTINS.
2009.
A formal approach for specification and verification of fault injection process.
In:
2nd international conference on interaction sciences: information technology; culture and human 2009.
Coréia Do Sul.
-
Physical Sciences
Artificial Intelligence
Ana Rosa CAVALLI; Eliane MARTINS; Anderson Nunes De Paiva MORAES.
2008.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Maria José Escalona CUARESMA; Arturo Henry Torres ZENTENO; Javier GUTIERREZ; Eliane MARTINS; Ricardoda Silva TORRES et al.
2008.
A development process for web geographic information system - a case of study.
In:
Iceis 2008 - tenth international conference on enterprise information systems.
Espanha.
-
Physical Sciences
Computer Science Applications
Marcos Salenko GUIMARAES; Maria Cecília C BARANAUSKAS; Eliane MARTINS.
2008.
Communication-based modelling and inspection in critical systems.
In:
Tenth international conference on enterprise information systems.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
Regina Lucia De Oliveira MORAES; João DURÃES; Eliane MARTINS; Henrique MADEIRA.
2007.
Experimental risk assessment and comparison using software fault injection.
In:
Ieee-ifip international conference on dependable systems and networks.
Grã-Bretanha.
-
Physical Sciences
Artificial Intelligence
Patrick Henrique Da Silva BRITO; Rogério De LEMOS; Eliane MARTINS; Cecília RUBIRA.
2007.
Verification and validation of a fault-tolerant architectural abstraction.
In:
Workshop on architecting dependable systems (wads).
Grã-Bretanha.
-
Social Sciences & Humanities
Business, Management and Accounting (miscellaneous)
Marcos Salenko GUIMARAES; Maria Cecília C BARANAUSKAS; Eliane MARTINS.
2007.
Interaction in critical systems: conquests and challenges.
In:
International conference on enterprise information systems.
Portugal.
-
Physical Sciences
Artificial Intelligence
Marcos Salenko GUIMARAES; Maria Cecília C BARANAUSKAS; Eliane MARTINS.
2007.
A communication-based approach to requirements elicitation for safety-critical systems.
In:
International conference on organizational semiotics (icos).
Grã-Bretanha.
-
Physical Sciences
Computer Science Applications
Ivan Rodolfo Durán Cruz PERES; Eliane MARTINS; Júlio Esslinger VIÉGAS.
2007.
Uso de modelos da uml em testes de componentes.
In:
Workshop de testes e tolerância a falhas.
Brasil.
-
Physical Sciences
Computer Science Applications
Regina Lucia De Oliveira MORAES; João DURÃES; Eliane MARTINS; Henrique MADEIRA.
2007.
Component-based software certification base don experimental risk assessment.
In:
3rd.latin-american symposium on dependable computing (ladc 2007).
México.
-
Physical Sciences
Artificial Intelligence
Patrick Henrique Da Silva BRITO; Rogério De LEMOS; Eliane MARTINS; Cecília RUBIRA.
2007.
Architecture-centric fault tolerance with exception handling.
In:
3rd.latin-american symposium on dependable computing (ladc 2007).
México.
-
Physical Sciences
Artificial Intelligence
Ana Maria AMBRÓSIO; Maria De Fatima M FRANCISCO; Valdivino SANTIAGO; W SILVA; Eliane MARTINS.
2007.
Space application fault injection experiments supported by finite state machine.
In:
3rd.latin-american symposium on dependable computing.
México.
-
Social Sciences & Humanities
Education
Ivan Rodolfo Durán Cruz PERES; Eliane MARTINS.
2007.
Automação em projeto de testes usando modelos uml.
In:
Systematic and automated software testing (sast).
Brasil.
-
Physical Sciences
Artificial Intelligence
Bruno ABREU; Eliane MARTINS; Fabiano SOUSA.
2007.
Generalized extremal optimization: a competitive algorithm for test data generation.
In:
Xxi simpósio brasilieiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Education
Arturo H Torres ZENTENO; Eliane MARTINS; Ricardo Da S TORRES; María J Escalona CUARESMA.
2006.
Teste de desempenho em aplicações sig web.
In:
9º workshop iberoamericano de ingenería de requisitos y ambientes de software ( ideas).
Argentina.
-
Physical Sciences
Computer Networks and Communications
Naaliel Vicente MENDES; Regina Lucia De Oliveira MORAES; Eliane MARTINS; Henrique MADEIRA.
2006.
Melhorando a dependabilidade de componentes com o uso de wrappers.
In:
Vii workshop de testes e tolerância a falhas (wtf).
Brasil.
-
Physical Sciences
Artificial Intelligence
Regina Lucia De Oliveira MORAES; João DURÃES; Eliane MARTINS; Henrique MADEIRA.
2006.
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.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Regina Lucia De Oliveira MORAES; Ricardo BARBOSA; João DURÃES; Naaliel Vicente MENDES; Eliane MARTINS et al.
2006.
Do injected component interface faults represent software bugs?.
In:
6th. european dependable computing conference; edcc 2006.
Portugal.
-
Physical Sciences
Computer Science (miscellaneous)
Ana Maria AMBROSIO; Eliane MARTINS.
2006.
Space services: textual to formal description.
In:
8th conference on space operations (spaceops 2006).
Itália.
-
Physical Sciences
Computer Science (miscellaneous)
Gabriela Jacques SILVA; Roberto Jung DREBES; Taisy Silva WEBER; Eliane MARTINS.
2005.
Injecting communication faults to experimentally validate java distributed applications.
In:
Advanced distributed systems: 5th international school and symposium; issads 2005.
México.
-
Physical Sciences
Artificial Intelligence
Eliane MARTINS; Vanessa Gindri VIEIRA.
2005.
Regression test selection for testable classes.
In:
5th. european dependable computing conference; edcc 2005.
Hungria.
-
Physical Sciences
Computer Science (miscellaneous)
Eliane MARTINS; Ana Maria AMBRÓSIO; Valdivino SANTIAGO; Maria De Fatima M FRANCISCO; Nandamudi L VIJAYKUMAR et al.
2005.
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.
Japão.
-
Physical Sciences
Artificial Intelligence
Bruno ABREU; Eliane MARTINS; Fabiano SOUSA.
2005.
Automatic test data generation for path testing using a new stochastic algorithm.
In:
19º simpósio brasileiro de engenharia de software; sbes.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Ana Maria AMBRÓSIO; Eliane MARTINS; Nandamudi L VIJAYKUMAR; Solon V De CARVALHO.
2005.
Systematic generation of test and fault cases for space application validation.
In:
Data system in aerospace; dasia-2005.
Escócia.
-
Physical Sciences
Artificial Intelligence
Regina Lucia De Oliveira MORAES; Eliane MARTINS; Elaine C Catapani POLETTI; Naaliel Vicente MENDES.
2005.
Using stratified sampling for fault injection.
In:
Latin american symposium on dependable computing.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Patrick Henrique Da Silva BRITO; Camila ROCHA; Fernando Castor FILHO; Eliane MARTINS; Cecília RUBIRA.
2005.
A method for modeling and testing exceptions in component-based software development.
In:
2nd.latin american symposium on dependable computing.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eliane MARTINS; Ruth Fabiana SOLIANI.
2005.
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).
Brasil.
-
Social Sciences & Humanities
Education
Paulo GUERRA; Carolina ARAÚJO; Camila ROCHA; Eliane MARTINS.
2005.
Cbdunit - uma ferramenta para testes unitários de componentes.
In:
19º simpósio brasileiro de engenharia de software; sbes.
Brasil.
-
Physical Sciences
Artificial Intelligence
Regina Lucia De Oliveira MORAES; Eliane MARTINS.
2004.
Architecture-based strategy for interface fault injection.
In:
Workshop on architecting dependable systems (wads).
Itália.
-
Physical Sciences
Computer Science Applications
Eliane MARTINS; Daniele Constant GUIMARÃES; Ana Maria AMBROSIO.
2004.
Ster - a strategy for testing reactive systems.
In:
International symposium on dependable systems and networks.
Itália.
-
Physical Sciences
Artificial Intelligence
Eliane MARTINS; Camila ROCHA.
2004.
A strategy to improve component testability without source code.
In:
Testing component-based systems (tecos).
Alemanha.
-
Social Sciences & Humanities
Education
Eliane MARTINS; Wennder I Da SILVEIRA.
2004.
Fireweb: uma ferramenta de suporte aos testes de aplicações web.
In:
Xviii simpósio brasileiro de engenharia de software (sbes).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Gabriela Jacques SILVA; Regina Lucia De Oliveira MORAES; Taisy Silva WEBER; Eliane MARTINS.
2004.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Camila ROCHA; Eliane MARTINS.
2004.
Um modelo para construção de componentes testáveis.
In:
V workshop de testes e tolerância a falhas (wtf).
Brasil.
-
Physical Sciences
Artificial Intelligence
Regina Lucia De Oliveira MORAES; Eliane MARTINS.
2003.
A strategy for validating an odbms component using a hig-level fault injection tool.
In:
1st. latin american symposium on dependable computing.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eliane MARTINS; Maria De Fatima M FRANCISCO.
2003.
A tool for fault injection and conformance testing of distributed systems.
In:
1st. latin american symposium on dependable computing.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eliane MARTINS; Ana Maria AMBROSIO; Maria De Fatima M FRANCISCO.
2003.
Atifs: a testing toolset with software fault injection.
In:
Workshop softest: uk testing research ii.
Inglaterra.
-
Physical Sciences
Artificial Intelligence
Eliane MARTINS; Cecília RUBIRA; Nelson LEME.
2002.
Jaca: a reflective fault injection tool based on patterns.
In:
International performance and dependability symposium.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Eliane MARTINS; Maria De Fatima M FRANCISCO; Anderson Nunes De Paiva MORAES.
2002.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eliane MARTINS; Cristina Maria TOYOTA; Rosileny Lie YANAGAWA.
2001.
Constructing self-testable software components.
In:
The intenrational conference on dependable systems & networks (dsn'2001).
Suécia.
-
Physical Sciences
Computer Science (miscellaneous)
Nelson LEME; Eliane MARTINS; Cecília RUBIRA.
2001.
A software fault injection pattern system.
In:
Ix simpósio de computação tolerante a falhas (sctf).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Nelson Guilherme Mendes LEME; Eliane MARTINS; Cecília RUBIRA.
2001.
A software fault injection pattern system.
In:
8th conference on pattern languages of programs (plop).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eliane MARTINS; Selma Bássiga SABIÃO; Ana Maria AMBROSIO.
2000.
Condata: a tool for automating specification-based test case generation for communication systems.
In:
33th hawaii international conference on systems sciences (hicss-33).
Estados Unidos.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Rosileny Lie YANAGAWA; Eliane MARTINS.
2000.
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).
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Flávio Rogério UBER; Eliane MARTINS.
2000.
Estratégia para teste de máquinas finitas de estados estendidas.
In:
Ii workshop de testes e tolerância a falhas (ii wtf).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Nelson LEME; Eliane MARTINS; Cecília RUBIRA.
2000.
Um sistema de padrões para injeção de falhas por software.
In:
Ii workshop de testes e tolerância a falhas (ii wtf).
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Michael LESKE; Eliane MARTINS.
2000.
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).
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Education
Eliane MARTINS; Cristina Maria TOYOTA.
1999.
Construção de classes autotestáveis.
In:
8. simpósio de computação tolerante a falhas.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Selma Bássiga SABIÃO; Eliane MARTINS.
1998.
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).
Brasil.
-
Social Sciences & Humanities
Education
Cristina Maria TOYOTA; Eliane MARTINS.
1998.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Amanda Cibele Apolinário ROSA; Eliane MARTINS.
1998.
Using reflective programming to inject faults into object-oriented systems.
In:
International workshop on dependable computing and its applications (dcia'98).
África Do Sul.
-
Physical Sciences
Artificial Intelligence
Amanda Cibele Apolinário ROSA; Eliane MARTINS.
1998.
Using a reflective architecture to validate object-oriented applications by fault injection.
In:
Oopsla'98 workshop on reflective programming in c++ and java.
Canadá.
-
Physical Sciences
Computer Science (miscellaneous)
Amanda Cibele Apolinário ROSA; Eliane MARTINS.
1998.
Utilizando metaobjetos para injetar falhas e monitorizar seus efeitos.
In:
I workshop de tolerância a falhas (wtf).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Renato R ARAUJO; Eliane MARTINS.
1998.
Injeção de falhas em protocolos tolerantes a falhas utilizando a arquitetura ferry-clip.
In:
I workshop de tolerância a falhas (i wtf).
Brasil.
-
Social Sciences & Humanities
Education
Eliane MARTINS; Marcos Renato R ARAUJO; Ana Maria AMBROSIO; Keila Silveira CORREA; Maria De Fatima M FRANCISCO.
1997.
Teste da tolerancia a falhas em sistemas de comunicacao.
In:
Vii simposio de computadores tolerantes a falhas.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Marcio Roberto STEFANI; Eliane MARTINS.
1997.
Analise de traco e geracao de diagnosticos para testes baseados em injecao de falhas por software.
In:
Vii simposio de computadores tolerantes a falhas.
Brasil.
-
Social Sciences & Humanities
Social Sciences (miscellaneous)
Eliane MARTINS.
1996.
Injecao de falhas na validacao da seguranca no funcionamento.
In:
I simposio regional de tolerancia a falhas.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eliane MARTINS; Ana Maria AMBROSIO; Marcos Renato R ARAUJO.
1996.
A framework for developping a software-based fault injection tool for the test of communication systems.
In:
4th. intern. symposium on applied corporate computing.
México.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Eliane MARTINS.
1995.
Integrando injecao de falhas e testes formais na validacao da tolerancia a falhas.
In:
Ix simposio brasileiro de engenharia de software.
Brasil.