Fault Injection for Dependability Validation: A Methodology and Some Applications. - Jean Arlat; Martine Aguera; Louis Amat; Yves Crouzet; Jean-Charles Fabre; Jean-Claude Laprie; Eliane Martins; David Powell (IEEE Trans. Software Eng., 1990)

Integrando injeção de falhas e testes formais na validação da tolerância a falhas. - Eliane Martins (SBES, 1995)

Estimators for Fault Tolerance Coverage Evaluation. - David Powell; Eliane Martins; Jean Arlat; Yves Crouzet (IEEE Trans. Computers, 1995)

ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems. - Eliane Martins; Selma B. Sabião; Ana Maria Ambrosio (Softw. Qual. J., 1999)

A Fault Injection Approach Based on Reflective Programming. - Eliane Martins; Amanda C. A. Rosa (DSN, 2000)

Constructing Self-Testable Software Components. - Eliane Martins; Cristina Maria Toyota; Rosileny Lie Yanagawa (DSN, 2001)

Development of Self-Testing Software Components. - Luciano Hayato Ukuma; Eliane Martins (LATW, 2001)

Jaca: A Reflective Fault Injection Tool Based on Patterns. - Eliane Martins; Cecília M. F. Rubira; Nelson G. M. Leme (DSN, 2002)

Uso da ferramenta de testes fSofist na validação de uma aplicação espacial. - Eliane Martins; Maria de Fátima Mattiello-Francisco; Anderson Nunes Paiva Morais (JIISIC, 2002)

Jaca - A Software Fault Injection Tool. - Regina Lúcia de Oliveira Moraes; Eliane Martins (DSN, 2003)

A Tool for Fault Injection and Conformance Testing of Distributed Systems. - Eliane Martins; Maria de Fátima Mattiello-Francisco (LADC, 2003)

A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool. - Regina Lúcia de Oliveira Moraes; Eliane Martins (LADC, 2003)

Fault Injection Approach Based on Architectural Dependencies. - Regina Lúcia de Oliveira Moraes; Eliane Martins (WADS, 2004)

A Strategy to Improve Component Testability without Source Code. - Camila Ribeiro Rocha; Eliane Martins (SOQUA/TECOS, 2004)

Fault Injection Approach Based on Dependence Analysis. - Regina Lúcia de Oliveira Moraes; Eliane Martins; Naaliel Vicente Mendes (COMPSAC (2), 2005)

Regression Test Selection for Testable Classes. - Eliane Martins; Vanessa Gindri Vieira (EDCC, 2005)

Injecting Communication Faults to Experimentally Validate Java Distributed Applications. - Gabriela Jacques-Silva; Roberto Jung Drebes; Taisy Silva Weber; Eliane Martins (ISSADS, 2005)

A Method for Modeling and Testing Exceptions in Component-Based Software Development. - Patrick Henrique da S. Brito; Camila Ribeiro Rocha; Fernando Castor Filho; Eliane Martins; Cecília M. F. Rubira (LADC, 2005)

Using Stratified Sampling for Fault Injection. - Regina Lúcia de Oliveira Moraes; Eliane Martins; Elaine C. Catapani Poletti; Naaliel Vicente Mendes (LADC, 2005)

Automatic test data generation for path testing using a new stochastic algorithm. - Bruno T. de Abreu; Eliane Martins; Fabiano Luis de Sousa (SBES, 2005)

Dependable Computing. - Rogério de Lemos; Eliane Martins (J. Braz. Comput. Soc., 2005)

Teste de Desempenho em Aplicações SIG Web. - Arturo Henry Torres-Zenteno; Eliane Martins; Ricardo da Silva Torres; María José Escalona Cuaresma (CIbSE, 2006)

A Practical Approach for Automated Test Case Generation using Statecharts. - Valdivino Alexandre de Santiago Jr.; Ana Silvia Martins do Amaral; Nandamudi L. Vijaykumar; Maria de Fátima Mattiello-Francisco; Eliane Martins; Odnei Cuesta Lopes (COMPSAC (2), 2006)

Injection of faults at component interfaces and inside the component code: are they equivalent? - Regina Lúcia de Oliveira Moraes; Ricardo Barbosa 003; João Durães; Naaliel Mendes; Eliane Martins; Henrique Madeira (EDCC, 2006)

A Conformance Testing Process for Space Applications Software Services. - Ana Maria Ambrosio; Eliane Martins; Nandamudi L. Vijaykumar; Solon V. Carvalho (J. Aerosp. Comput. Inf. Commun., 2006)

Experimental Risk Assessment and Comparison Using Software Fault Injection. - Regina Lúcia de Oliveira Moraes; João Durães; Ricardo Barbosa 003; Eliane Martins; Henrique Madeira (DSN, 2007)

Generalized extremal optimization: an attractive alternative for test data generation. - Bruno Teixeira de Abreu; Eliane Martins; Fabiano Luis de Sousa (GECCO, 2007)

Interaction in Critical Systems: Conquests and Challenges. - Marcos Salenko Guimarães; Maria Cecília Calani Baranauskas; Eliane Martins (ICEIS (5), 2007)

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. - Ana Maria Ambrosio; Maria de Fátima Mattiello-Francisco; Valdivino Alexandre de Santiago Jr.; Wendell Pereira da Silva; Eliane Martins (LADC, 2007)

Architecture-Centric Fault Tolerance with Exception Handling. - Patrick Henrique da S. Brito; Rogério de Lemos; Eliane Martins; Cecília M. F. Rubira (LADC, 2007)

Component-Based Software Certification Based on Experimental Risk Assessment. - Regina Lúcia de Oliveira Moraes; João Durães; Eliane Martins; Henrique Madeira (LADC, 2007)

Generalized Extremal Optimization: a competitive algorithm for test data generation. - Bruno T. de Abreu; Eliane Martins; Fabiano Luis de Sousa (SBES, 2007)

A Development Process for Web Geographic Information System - A Case of Study. - María José Escalona Cuaresma; Arturo Henry Torres-Zenteno; Javier J. Gutiérrez 001; Eliane Martins; Ricardo da Silva Torres; Maria Cecília Calani Baranauskas (ICEIS (5), 2008)

Communication-Based Modelling and Inspection in Critical Systems. - Marcos Salenko Guimarães; Maria Cecília Calani Baranauskas; Eliane Martins (ICEIS (5), 2008)

Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. - Ana R. Cavalli; Eliane Martins; Anderson Nunes Paiva Morais (ICST Workshops, 2008)

Avaliação de um Método para Estimativa de Esforço para Testes baseado em Casos de Uso. - Érika R. C. de Almeida; Bruno T. de Abreu; Regina Moraes; Eliane Martins (SBQS, 2008)

A Method for Model Based Test Harness Generation for Component Testing. - Camila Ribeiro Rocha; Eliane Martins (J. Braz. Comput. Soc., 2008)

Security Protocol Testing Using Attack Trees. - Anderson Nunes Paiva Morais; Eliane Martins; Ana R. Cavalli; Willy Jimenez (CSE (2), 2009)

An Evolutionary Approach for Robustness Testing. - Thaise Yano; Eliane Martins; Fabiano Luis de Sousa (IJCCI, 2009)

A formal approach for specification and verification of fault injection process. - Fayçal Bessayah; Ana R. Cavalli; Eliane Martins (ICIS, 2009)

Architectural-Based Validation of Fault-Tolerant Software. - Patrick H. S. Brito; Rogério de Lemos; Eliane Martins; Regina Lúcia de Oliveira Moraes; Cecília M. F. Rubira (LADC, 2009)

Mapping Web-Based Applications Failures to Faults. - Regina Lúcia de Oliveira Moraes; Bruno Teixeira de Abreu; Eliane Martins (LADC, 2009)

Architecting Fault Tolerance with Exception Handling: Verification and Validation. - Patrick H. S. Brito; Rogério de Lemos; Cecília M. F. Rubira; Eliane Martins (J. Comput. Sci. Technol., 2009)

Interaction Design and Redundancy Strategy in Critical Systems. - Marcos Salenko Guimarães; Maria Cecília Calani Baranauskas; Eliane Martins (ICISO, 2010)

Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach. - Thaise Yano; Eliane Martins; Fabiano Luis de Sousa (ICST Workshops, 2010)

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. - Ana R. Cavalli; Tien-Dung Cao; Wissam Mallouli; Eliane Martins; Andrey Sadovykh; Sébastien Salva; Fatiha Zaïdi (ICWS, 2010)

A Fault Injection Tool for Testing Web Services Composition. - Fayçal Bessayah; Ana R. Cavalli; Willian Maja; Eliane Martins; Andre Willik Valenti (TAIC PART, 2010)

A multi-objective evolutionary algorithm to obtain test cases with variable lengths. - Thaise Yano; Eliane Martins; Fabiano Luis de Sousa (GECCO, 2011)

MOST: A Multi-objective Search-Based Testing from EFSM. - Thaise Yano; Eliane Martins; Fabiano Luis de Sousa (ICST Workshops, 2011)

Validation of Exception Handling in the Development of Dependable Component-Based Software Systems. - Jeferson Ferreira; Eliane Martins; Cecília M. F. Rubira; Patrick Henrique da Silva Brito (LADC, 2011)

A model-based attack injection approach for security validation. - Anderson Nunes Paiva Morais; Ana R. Cavalli; Eliane Martins (SIN, 2011)

Data Driven Research at LIS: the Laboratory of Information Systems at UNICAMP. - 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 (J. Inf. Data Manag., 2011)

Specification-guided Golden Run for Analysis of Robustness Testing Results. - Gizelle Sandrini Lemos; Eliane Martins (SERE, 2012)

InRob: An approach for testing interoperability and robustness of real-time embedded software. - Maria de Fátima Mattiello-Francisco; Eliane Martins; Ana R. Cavalli; Edgar Toshiro Yano (J. Syst. Softw., 2012)

Golden-run alignment for analysis of robustness testing results: dealing with diagnostics issues. - Gizelle Sandrini Lemos; Eliane Martins (DSN Workshops, 2013)

Automating software validation of a GPON network. - Aline Cristine Fadel; Regina Lúcia de Oliveira Moraes; Paulo Martins 001; Eliane Martins (ISSRE (Supplemental Proceedings), 2013)

Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security. - M. I. P. Salas; Eliane Martins (CLEI Selected Papers, 2013)

Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard Documents. - Juliana Galvani Greghi; Eliane Martins; Ariadne Maria Brito Rizzoni Carvalho (DSN Workshops, 2015)

Experience report: A field analysis of user-defined security configurations of Android devices. - Daniel Vecchiato; Eliane Martins (ISSRE, 2015)

A security configuration assessment for android devices. - Daniel Vecchiato; Marco Vieira; Eliane Martins (SAC, 2015)

Security Testing Methodology for Evaluation of Web Services Robustness - Case: XML Injection. - Marcelo Invert Palma Salas; Paulo Lício de Geus; Eliane Martins (SERVICES, 2015)

D-MBTDD: An Approach for Reusing Test Artefacts in Evolving System. - Thais Harumi Ussami; Eliane Martins; Leonardo Montecchi (DSN Workshops, 2016)

Risk Assessment of User-Defined Security Configurations for Android Devices. - Daniel Vecchiato; Marco Vieira; Eliane Martins (ISSRE, 2016)

Modeling Dependable Product-Families: From Use Cases to State Machine Models. - Leydi Erazo; Eliane Martins; Juliana Galvani Greghi (LADC, 2016)

Benchmarking User-Defined Security Configuration of Mobile Devices. - Daniel Vecchiato; Eliane Martins (LADC, 2016)

The Perils of Android Security Configuration. - Daniel Vecchiato; Marco Vieira; Eliane Martins (Computer, 2016)

MARITACA: From Textual Use Case Descriptions to Behavior Models. - Leydi Erazo; Eliane Martins; Juliana Galvani Greghi (DSN Workshops, 2017)

On the use of a failure emulator mechanism at nanosatellite subsystems integration tests. - Carlos L. G. Batista; Eliane Martins; Maria de Fátima Mattiello-Francisco (LATS, 2018)

An Adaptive Multi-objective Heuristic Search for Model-Based Testing. - Aristides De Almeida Neto; Eliane Martins (QUATIC, 2018)

Using a Search and Model Based Framework to Improve Robustness Tests in Cloud Platforms. - Wallace F. F. Cardoso; Eliane Martins (SAST, 2018)

From Natural Language Standard Documents to State Machines: Advantages and Drawbacks. - Juliana Galvani Greghi; Eliane Martins; Ariadne Maria Brito Rizzoni Carvalho; Ana Maria Ambrosio; Emília Villani (J. Aerosp. Inf. Syst., 2018)

The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations. - Lucas Leal; Andrea Ceccarelli; Eliane Martins (COMPSAC (1), 2019)

Exploiting MDE for Platform-Independent Testing of Service Orchestrations. - Lucas Leal; Leonardo Montecchi; Andrea Ceccarelli; Eliane Martins (EDCC, 2019)

Combining State and Interface - Based Robustness Testing for OpenStack Components. - Wallace F. F. Cardoso; Eliane Martins; Nuno Laranjeiro; Nuno Antunes (LADC, 2019)

Using Metamodels to Improve Model-Based Testing of Service Orchestrations. - Lucas Leal; Leonardo Montecchi; Andrea Ceccarelli; Eliane Martins (PRDC, 2020)

A tour of dependable computing research in Latin America. - Elias P. Duarte Jr.; Raimundo José de Araújo Macêdo; Eliane Martins; Sergio Rajsbaum (Commun. ACM, 2020)

V-Model Adaptation for Space Systems in Light of the ECSS Standard. - Regina Moraes; Tânia Basso; Eliane Martins (LADC, 2021)