default search action
Eliane Martins
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [c67]Regina Moraes, Tânia Basso, Eliane Martins:
V-Model Adaptation for Space Systems in Light of the ECSS Standard. LADC 2021: 1-4 - 2020
- [j12]Elias P. Duarte Jr., Raimundo José de Araújo Macêdo
, Eliane Martins, Sergio Rajsbaum:
A tour of dependable computing research in Latin America. Commun. ACM 63(11): 96-101 (2020) - [c66]Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli
Using Metamodels to Improve Model-Based Testing of Service Orchestrations. PRDC 2020: 130-139
2010 – 2019
- 2019
- [c65]Lucas Leal, Andrea Ceccarelli
The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations. COMPSAC (1) 2019: 495-500 - [c64]Lucas Leal, Leonardo Montecchi
Exploiting MDE for Platform-Independent Testing of Service Orchestrations. EDCC 2019: 149-152 - [c63]Wallace F. F. Cardoso, Eliane Martins, Nuno Laranjeiro
Combining State and Interface - Based Robustness Testing for OpenStack Components. LADC 2019: 1-10 - 2018
- [j11]Juliana Galvani Greghi, Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho, Ana Maria Ambrosio
From Natural Language Standard Documents to State Machines: Advantages and Drawbacks. J. Aerosp. Inf. Syst. 15(5): 271-281 (2018) - [c62]Carlos L. G. Batista
On the use of a failure emulator mechanism at nanosatellite subsystems integration tests. LATS 2018: 1-6 - [c61]Aristides De Almeida Neto, Eliane Martins:
An Adaptive Multi-objective Heuristic Search for Model-Based Testing. QUATIC 2018: 193-200 - [c60]Wallace F. F. Cardoso, Eliane Martins:
Using a Search and Model Based Framework to Improve Robustness Tests in Cloud Platforms. SAST 2018: 67-76 - 2017
- [c59]Leydi Erazo
MARITACA: From Textual Use Case Descriptions to Behavior Models. DSN Workshops 2017: 83-90 - 2016
- [j10]Daniel Vecchiato, Marco Vieira
The Perils of Android Security Configuration. Computer 49(6): 15-21 (2016) - [c58]Thais Harumi Ussami, Eliane Martins, Leonardo Montecchi
D-MBTDD: An Approach for Reusing Test Artefacts in Evolving System. DSN Workshops 2016: 39-46 - [c57]Daniel Vecchiato, Marco Vieira
Risk Assessment of User-Defined Security Configurations for Android Devices. ISSRE 2016: 467-477 - [c56]Leydi Erazo
Modeling Dependable Product-Families: From Use Cases to State Machine Models. LADC 2016: 131-134 - [c55]Daniel Vecchiato, Eliane Martins:
Benchmarking User-Defined Security Configuration of Mobile Devices. LADC 2016: 172-175 - 2015
- [c54]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: 45-50 - [c53]Daniel Vecchiato, Eliane Martins:
Experience report: A field analysis of user-defined security configurations of Android devices. ISSRE 2015: 314-323 - [c52]Daniel Vecchiato, Marco Vieira
A security configuration assessment for android devices. SAC 2015: 2299-2304 - [c51]Marcelo Invert Palma Salas
Security Testing Methodology for Evaluation of Web Services Robustness - Case: XML Injection. SERVICES 2015: 303-310 - 2013
- [c50]Gizelle Sandrini Lemos, Eliane Martins:
Golden-run alignment for analysis of robustness testing results: dealing with diagnostics issues. DSN Workshops 2013: 1-8 - [c49]Aline Cristine Fadel, Regina Lúcia de Oliveira Moraes
Automating software validation of a GPON network. ISSRE (Supplemental Proceedings) 2013: 59 - [c48]M. I. P. Salas
Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security. CLEI Selected Papers 2013: 133-154 - 2012
- [j9]Maria de Fátima Mattiello-Francisco
InRob: An approach for testing interoperability and robustness of real-time embedded software. J. Syst. Softw. 85(1): 3-15 (2012) - [c47]Gizelle Sandrini Lemos, Eliane Martins:
Specification-guided Golden Run for Analysis of Robustness Testing Results. SERE 2012: 157-166 - 2011
- [j8]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): 93-108 (2011) - [c46]Thaise Yano, Eliane Martins, Fabiano Luis de Sousa:
A multi-objective evolutionary algorithm to obtain test cases with variable lengths. GECCO 2011: 1875-1882 - [c45]Thaise Yano, Eliane Martins, Fabiano Luis de Sousa:
MOST: A Multi-objective Search-Based Testing from EFSM. ICST Workshops 2011: 164-173 - [c44]Jeferson Ferreira
Validation of Exception Handling in the Development of Dependable Component-Based Software Systems. LADC 2011: 136-145 - [c43]Anderson Nunes Paiva Morais, Ana R. Cavalli
A model-based attack injection approach for security validation. SIN 2011: 103-110 - 2010
- [c42]Marcos Salenko Guimarães, Maria Cecília Calani Baranauskas, Eliane Martins:
Interaction Design and Redundancy Strategy in Critical Systems. ICISO 2010: 165-172 - [c41]Thaise Yano, Eliane Martins, Fabiano Luis de Sousa:
Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach. ICST Workshops 2010: 236-239 - [c40]Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. ICWS 2010: 377-384 - [c39]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: 137-146
2000 – 2009
- 2009
- [j7]Patrick H. S. Brito, Rogério de Lemos
Architecting Fault Tolerance with Exception Handling: Verification and Validation. J. Comput. Sci. Technol. 24(2): 212-237 (2009) - [c38]Anderson Nunes Paiva Morais, Eliane Martins, Ana R. Cavalli, Willy Jimenez:
Security Protocol Testing Using Attack Trees. CSE (2) 2009: 690-697 - [c37]Thaise Yano, Eliane Martins, Fabiano Luis de Sousa:
An Evolutionary Approach for Robustness Testing. IJCCI 2009: 277-280 - [c36]Fayçal Bessayah, Ana R. Cavalli
A formal approach for specification and verification of fault injection process. ICIS 2009: 883-890 - [c35]Regina Lúcia de Oliveira Moraes
Mapping Web-Based Applications Failures to Faults. LADC 2009: 89-94 - [c34]Patrick H. S. Brito, Rogério de Lemos
Architectural-Based Validation of Fault-Tolerant Software. LADC 2009: 103-110 - 2008
- [j6]Camila Ribeiro Rocha, Eliane Martins:
A Method for Model Based Test Harness Generation for Component Testing. J. Braz. Comput. Soc. 14(1): 7-23 (2008) - [c33]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: 112-117 - [c32]Marcos Salenko Guimarães, Maria Cecília Calani Baranauskas, Eliane Martins:
Communication-Based Modelling and Inspection in Critical Systems. ICEIS (5) 2008: 215-220 - [c31]Ana R. Cavalli
Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. ICST Workshops 2008: 21-30 - [c30]É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: 331-338 - 2007
- [c29]Regina Lúcia de Oliveira Moraes
Experimental Risk Assessment and Comparison Using Software Fault Injection. DSN 2007: 512-521 - [c28]Bruno Teixeira de Abreu, Eliane Martins, Fabiano Luis de Sousa:
Generalized extremal optimization: an attractive alternative for test data generation. GECCO 2007: 1138 - [c27]Marcos Salenko Guimarães, Maria Cecília Calani Baranauskas, Eliane Martins:
Interaction in Critical Systems: Conquests and Challenges. ICEIS (5) 2007: 170-175 - [c26]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: 75-94 - [c25]Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Jr.
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. LADC 2007: 170-178 - [c24]Regina Lúcia de Oliveira Moraes, João Durães
Component-Based Software Certification Based on Experimental Risk Assessment. LADC 2007: 179-197 - [c23]Bruno T. de Abreu, Eliane Martins, Fabiano Luis de Sousa:
Generalized Extremal Optimization: a competitive algorithm for test data generation. SBES 2007: 342-358 - 2006
- [j5]Ana Maria Ambrosio
A Conformance Testing Process for Space Applications Software Services. J. Aerosp. Comput. Inf. Commun. 3(4): 146-158 (2006) - [c22]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: 449-462 - [c21]Valdivino Alexandre de Santiago Jr.
A Practical Approach for Automated Test Case Generation using Statecharts. COMPSAC (2) 2006: 183-188 - [c20]Regina Lúcia de Oliveira Moraes
Injection of faults at component interfaces and inside the component code: are they equivalent? EDCC 2006: 53-64 - 2005
- [j4]Rogério de Lemos, Eliane Martins:
Dependable Computing. J. Braz. Comput. Soc. 10(3): 3-4 (2005) - [c19]Regina Lúcia de Oliveira Moraes
Fault Injection Approach Based on Dependence Analysis. COMPSAC (2) 2005: 181-188 - [c18]Eliane Martins, Vanessa Gindri Vieira:
Regression Test Selection for Testable Classes. EDCC 2005: 453-470 - [c17]Gabriela Jacques-Silva, Roberto Jung Drebes, Taisy Silva Weber, Eliane Martins:
Injecting Communication Faults to Experimentally Validate Java Distributed Applications. ISSADS 2005: 235-245 - [c16]Regina Lúcia de Oliveira Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes:
Using Stratified Sampling for Fault Injection. LADC 2005: 9-19 - [c15]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: 61-79 - [c14]Bruno T. de Abreu, Eliane Martins, Fabiano Luis de Sousa:
Automatic test data generation for path testing using a new stochastic algorithm. SBES 2005: 247-262 - 2004
- [c13]Regina Lúcia de Oliveira Moraes
Fault Injection Approach Based on Architectural Dependencies. WADS 2004: 300-321 - [c12]Camila Ribeiro Rocha, Eliane Martins:
A Strategy to Improve Component Testability without Source Code. SOQUA/TECOS 2004: 47-62 - 2003
- [c11]Regina Lúcia de Oliveira Moraes
Jaca - A Software Fault Injection Tool. DSN 2003: 667 - [c10]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: 56-68 - [c9]Eliane Martins, Maria de Fátima Mattiello-Francisco
A Tool for Fault Injection and Conformance Testing of Distributed Systems. LADC 2003: 282-302 - 2002
- [c8]Eliane Martins, Cecília M. F. Rubira
Jaca: A Reflective Fault Injection Tool Based on Patterns. DSN 2002: 483-482 - [c7]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: 179-188 - 2001
- [c6]Eliane Martins, Cristina Maria Toyota, Rosileny Lie Yanagawa:
Constructing Self-Testable Software Components. DSN 2001: 151-160 - [c5]Luciano Hayato Ukuma, Eliane Martins:
Development of Self-Testing Software Components. LATW 2001: 52-55 - 2000
- [c4]Eliane Martins, Amanda C. A. Rosa:
A Fault Injection Approach Based on Reflective Programming. DSN 2000: 407-416 - [c3]Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio:
ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems. HICSS 2000: 8012-
1990 – 1999
- 1999
- [j3]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): 303-320 (1999) - 1995
- [j2]David Powell, Eliane Martins, Jean Arlat, Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation. IEEE Trans. Computers 44(2): 261-274 (1995) - [c2]Eliane Martins:
Integrando injeção de falhas e testes formais na validação da tolerância a falhas. SBES 1995: 223-239 - 1993
- [c1]David Powell, Eliane Martins, Jean Arlat, Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation. FTCS 1993: 228-237 - 1990
- [j1]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): 166-182 (1990)
Coauthor Index
Fátima Mattiello-Francisco
aka: Maria de Fátima Mattiello-Francisco
aka: Maria de Fátima Mattiello-Francisco
Regina Lúcia de Oliveira Moraes
aka: Regina Moraes
aka: Regina Moraes
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: