Eliane Martins

79 papers A 10B 2C 4Misc 5Journal 12Unranked 46

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