Eliane Martins

Publication Activity (10 Years)

Years Active: 1990-2021
Publications (10 Years): 16

Top Topics

Natural Language

Heuristic Search

Top Venues

Publications

Regina Moraes, Tânia Basso, Eliane Martins
V-Model Adaptation for Space Systems in Light of the ECSS Standard. LADC (2021)
Elias P. Duarte Jr., Raimundo J. A. Macêdo, Eliane Martins, Sergio Rajsbaum
A tour of dependable computing research in Latin America. Commun. ACM 63 (11) (2020)
Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins
Using Metamodels to Improve Model-Based Testing of Service Orchestrations. PRDC (2020)
Lucas Leal, Andrea Ceccarelli, Eliane Martins
The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations. COMPSAC (1) (2019)
Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins
Exploiting MDE for Platform-Independent Testing of Service Orchestrations. EDCC (2019)
Wallace F. F. Cardoso, Eliane Martins, Nuno Laranjeiro, Nuno Antunes
Combining State and Interface - Based Robustness Testing for OpenStack Components. LADC (2019)
Juliana Galvani Greghi, Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho, Ana Maria Ambrosio, Emília Villani
From Natural Language Standard Documents to State Machines: Advantages and Drawbacks. J. Aerosp. Inf. Syst. 15 (5) (2018)
Aristides De Almeida Neto, Eliane Martins
An Adaptive Multi-objective Heuristic Search for Model-Based Testing. QUATIC (2018)
Wallace F. F. Cardoso, Eliane Martins
Using a Search and Model Based Framework to Improve Robustness Tests in Cloud Platforms. SAST (2018)
Carlos L. G. Batista, Eliane Martins, Maria de Fátima Mattiello-Francisco
On the use of a failure emulator mechanism at nanosatellite subsystems integration tests. LATS (2018)
Leydi Erazo, Eliane Martins, Juliana Galvani Greghi
MARITACA: From Textual Use Case Descriptions to Behavior Models. DSN Workshops (2017)
Daniel Vecchiato, Marco Vieira, Eliane Martins
The Perils of Android Security Configuration. Computer 49 (6) (2016)
Daniel Vecchiato, Marco Vieira, Eliane Martins
Risk Assessment of User-Defined Security Configurations for Android Devices. ISSRE (2016)
Leydi Erazo, Eliane Martins, Juliana Galvani Greghi
Modeling Dependable Product-Families: From Use Cases to State Machine Models. LADC (2016)
Daniel Vecchiato, Eliane Martins
Benchmarking User-Defined Security Configuration of Mobile Devices. LADC (2016)
Thais Harumi Ussami, Eliane Martins, Leonardo Montecchi
D-MBTDD: An Approach for Reusing Test Artefacts in Evolving System. DSN Workshops (2016)
Daniel Vecchiato, Marco Vieira, Eliane Martins
A security configuration assessment for android devices. SAC (2015)
Juliana Galvani Greghi, Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho
Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard Documents. DSN Workshops (2015)
Marcelo Invert Palma Salas, Paulo Lício de Geus, Eliane Martins
Security Testing Methodology for Evaluation of Web Services Robustness - Case: XML Injection. SERVICES (2015)
Daniel Vecchiato, Eliane Martins
Experience report: A field analysis of user-defined security configurations of Android devices. ISSRE (2015)
Aline Cristine Fadel, Regina Lúcia de Oliveira Moraes, Paulo Martins, Eliane Martins
Automating software validation of a GPON network. ISSRE (Supplemental Proceedings) (2013)
Gizelle Sandrini Lemos, Eliane Martins
Golden-run alignment for analysis of robustness testing results: dealing with diagnostics issues. DSN Workshops (2013)
M. I. P. Salas, Eliane Martins
Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security. CLEI Selected Papers (2013)
Maria de Fátima Mattiello-Francisco, Eliane Martins, Ana R. Cavalli, Edgar Toshiro Yano
InRob: An approach for testing interoperability and robustness of real-time embedded software. J. Syst. Softw. 85 (1) (2012)
Gizelle Sandrini Lemos, Eliane Martins
Specification-guided Golden Run for Analysis of Robustness Testing Results. SERE (2012)
Anderson Nunes Paiva Morais, Ana R. Cavalli, Eliane Martins
A model-based attack injection approach for security validation. SIN (2011)
Jeferson Ferreira, Eliane Martins, Cecília M. F. Rubira, Patrick Henrique da Silva Brito
Validation of Exception Handling in the Development of Dependable Component-Based Software Systems. LADC (2011)
Claudia Bauzer Medeiros, André Santanchè, Edmundo R. M. Madeira, Eliane Martins, Geovane C. Magalhâes, Maria Cecília Calani Baranauskas, Neucimar J. Leite, Ricardo da Silva Torres
Data Driven Research at LIS: the Laboratory of Information Systems at UNICAMP. J. Inf. Data Manag. 2 (2) (2011)
Thaise Yano, Eliane Martins, Fabiano Luis de Sousa
MOST: A Multi-objective Search-Based Testing from EFSM. ICST Workshops (2011)
Thaise Yano, Eliane Martins, Fabiano Luis de Sousa
A multi-objective evolutionary algorithm to obtain test cases with variable lengths. GECCO (2011)
Thaise Yano, Eliane Martins, Fabiano Luis de Sousa
Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach. ICST Workshops (2010)
Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sébastien Salva, Fatiha Zaïdi
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. ICWS (2010)
Marcos Salenko Guimarães, Maria Cecília Calani Baranauskas, Eliane Martins
Interaction Design and Redundancy Strategy in Critical Systems. ICISO (2010)
Fayçal Bessayah, Ana R. Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti
A Fault Injection Tool for Testing Web Services Composition. TAIC PART (2010)
Regina Lúcia de Oliveira Moraes, Bruno Teixeira de Abreu, Eliane Martins
Mapping Web-Based Applications Failures to Faults. LADC (2009)
Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins
Architecting Fault Tolerance with Exception Handling: Verification and Validation. J. Comput. Sci. Technol. 24 (2) (2009)
Thaise Yano, Eliane Martins, Fabiano Luis de Sousa
An Evolutionary Approach for Robustness Testing. IJCCI (2009)
Patrick H. S. Brito, Rogério de Lemos, Eliane Martins, Regina Lúcia de Oliveira Moraes, Cecília M. F. Rubira
Architectural-Based Validation of Fault-Tolerant Software. LADC (2009)
Anderson Nunes Paiva Morais, Eliane Martins, Ana R. Cavalli, Willy Jimenez
Security Protocol Testing Using Attack Trees. CSE (2) (2009)
Fayçal Bessayah, Ana R. Cavalli, Eliane Martins
A formal approach for specification and verification of fault injection process. ICIS (2009)
Marcos Salenko Guimarães, Maria Cecília Calani Baranauskas, Eliane Martins
Communication-Based Modelling and Inspection in Critical Systems. ICEIS (5) (2008)
Camila Ribeiro Rocha, Eliane Martins
A Method for Model Based Test Harness Generation for Component Testing. J. Braz. Comput. Soc. 14 (1) (2008)
Érika R. C. de Almeida, Bruno T. de Abreu, Regina Moraes, Eliane Martins
Avaliação de um Método para Estimativa de Esforço para Testes baseado em Casos de Uso. SBQS (2008)
María José Escalona Cuaresma, Arturo Henry Torres-Zenteno, Javier J. Gutiérrez, Eliane Martins, Ricardo da Silva Torres, Maria Cecília Calani Baranauskas
A Development Process for Web Geographic Information System - A Case of Study. ICEIS (5) (2008)
Ana R. Cavalli, Eliane Martins, Anderson Nunes Paiva Morais
Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. ICST Workshops (2008)
Bruno Teixeira de Abreu, Eliane Martins, Fabiano Luis de Sousa
Generalized extremal optimization: an attractive alternative for test data generation. GECCO (2007)
Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Jr., Wendell Pereira da Silva, Eliane Martins
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. LADC (2007)
Regina Lúcia de Oliveira Moraes, João Durães, Ricardo Barbosa, Eliane Martins, Henrique Madeira
Experimental Risk Assessment and Comparison Using Software Fault Injection. DSN (2007)
Patrick Henrique da S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. F. Rubira
Architecture-Centric Fault Tolerance with Exception Handling. LADC (2007)
Bruno T. de Abreu, Eliane Martins, Fabiano Luis de Sousa
Generalized Extremal Optimization: a competitive algorithm for test data generation. SBES (2007)
Marcos Salenko Guimarães, Maria Cecília Calani Baranauskas, Eliane Martins
Interaction in Critical Systems: Conquests and Challenges. ICEIS (5) (2007)
Regina Lúcia de Oliveira Moraes, João Durães, Eliane Martins, Henrique Madeira
Component-Based Software Certification Based on Experimental Risk Assessment. LADC (2007)
Arturo Henry Torres-Zenteno, Eliane Martins, Ricardo da Silva Torres, María José Escalona Cuaresma
Teste de Desempenho em Aplicações SIG Web. CIbSE (2006)
Valdivino Alexandre de Santiago Jr., Ana Silvia Martins do Amaral, Nandamudi L. Vijaykumar, Maria de Fátima Mattiello-Francisco, Eliane Martins, Odnei Cuesta Lopes
A Practical Approach for Automated Test Case Generation using Statecharts. COMPSAC (2) (2006)
Ana Maria Ambrosio, Eliane Martins, Nandamudi L. Vijaykumar, Solon V. Carvalho
A Conformance Testing Process for Space Applications Software Services. J. Aerosp. Comput. Inf. Commun. 3 (4) (2006)
Regina Lúcia de Oliveira Moraes, Ricardo Barbosa, João Durães, Naaliel Mendes, Eliane Martins, Henrique Madeira
Injection of faults at component interfaces and inside the component code: are they equivalent? EDCC (2006)
Patrick Henrique da S. Brito, Camila Ribeiro Rocha, Fernando Castor Filho, Eliane Martins, Cecília M. F. Rubira
A Method for Modeling and Testing Exceptions in Component-Based Software Development. LADC (2005)
Regina Lúcia de Oliveira Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes
Using Stratified Sampling for Fault Injection. LADC (2005)
Eliane Martins, Vanessa Gindri Vieira
Regression Test Selection for Testable Classes. EDCC (2005)
Regina Lúcia de Oliveira Moraes, Eliane Martins, Naaliel Vicente Mendes
Fault Injection Approach Based on Dependence Analysis. COMPSAC (2) (2005)
Gabriela Jacques-Silva, Roberto Jung Drebes, Taisy Silva Weber, Eliane Martins
Injecting Communication Faults to Experimentally Validate Java Distributed Applications. ISSADS (2005)
Bruno T. de Abreu, Eliane Martins, Fabiano Luis de Sousa
Automatic test data generation for path testing using a new stochastic algorithm. SBES (2005)
Rogério de Lemos, Eliane Martins
Dependable Computing. J. Braz. Comput. Soc. 10 (3) (2005)
Camila Ribeiro Rocha, Eliane Martins
A Strategy to Improve Component Testability without Source Code. SOQUA/TECOS (2004)
Regina Lúcia de Oliveira Moraes, Eliane Martins
Fault Injection Approach Based on Architectural Dependencies. WADS (2004)
Regina Lúcia de Oliveira Moraes, Eliane Martins
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool. LADC (2003)
Regina Lúcia de Oliveira Moraes, Eliane Martins
Jaca - A Software Fault Injection Tool. DSN (2003)
Eliane Martins, Maria de Fátima Mattiello-Francisco
A Tool for Fault Injection and Conformance Testing of Distributed Systems. LADC (2003)
Eliane Martins, Maria de Fátima Mattiello-Francisco, Anderson Nunes Paiva Morais
Uso da ferramenta de testes fSofist na validação de uma aplicação espacial. JIISIC (2002)
Eliane Martins, Cecília M. F. Rubira, Nelson G. M. Leme
Jaca: A Reflective Fault Injection Tool Based on Patterns. DSN (2002)
Eliane Martins, Cristina Maria Toyota, Rosileny Lie Yanagawa
Constructing Self-Testable Software Components. DSN (2001)
Luciano Hayato Ukuma, Eliane Martins
Development of Self-Testing Software Components. LATW (2001)
Eliane Martins, Amanda C. A. Rosa
A Fault Injection Approach Based on Reflective Programming. DSN (2000)
Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio
ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems. HICSS (2000)
Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems. Softw. Qual. J. 8 (4) (1999)
Eliane Martins
Integrando injeção de falhas e testes formais na validação da tolerância a falhas. SBES (1995)
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
Estimators for Fault Tolerance Coverage Evaluation. IEEE Trans. Computers 44 (2) (1995)
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
Estimators for Fault Tolerance Coverage Evaluation. FTCS (1993)
Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell
Fault Injection for Dependability Validation: A Methodology and Some Applications. IEEE Trans. Software Eng. 16 (2) (1990)