Search results for "Eliane Martins"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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.	Journal of Systems and Software	2012	DBLP DOI BibTeX RDF
1	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.	JIDM	2011	DBLP BibTeX RDF
1	Thaise Yano, Eliane Martins, Fabiano Luis de Sousa	A multi-objective evolutionary algorithm to obtain test cases with variable lengths.	GECCO	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Anderson Nunes Paiva Morais, Ana R. Cavalli, Eliane Martins	A model-based attack injection approach for security validation.	SIN	2011	DBLP DOI BibTeX RDF
1	Thaise Yano, Eliane Martins, Fabiano Luis de Sousa	Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Marcos Salenko Guimarães, Maria Cecília Calani Baranauskas, Eliane Martins	Interaction Design and Redundancy Strategy in Critical Systems.	ICISO	2010	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Web Service, BPEL, Unit Testing, Testing framework, Test Case Generation, Test Purposes
1	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.	2009	DBLP DOI BibTeX RDF	fault-tolerant software architecture, model checking, exception handling, model-based test, software verification and validation
1	Anderson Nunes Paiva Morais, Eliane Martins, Ana R. Cavalli, Willy Jimenez	Security Protocol Testing Using Attack Trees.	CSE	2009	DBLP DOI BibTeX RDF
1	Regina Lúcia de Oliveira Moraes, Bruno Teixeira de Abreu, Eliane Martins	Mapping Web-Based Applications Failures to Faults.	LADC	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Fayçal Bessayah, Ana R. Cavalli, Eliane Martins	A formal approach for specification and verification of fault injection process.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	fault specification, formal methods, fault injection, trace analysis, security testing, time specification
1	Thaise Yano, Eliane Martins, Fabiano Luis de Sousa	An Evolutionary Approach for Robustness Testing.	IJCCI	2009	DBLP BibTeX RDF
1	Camila Ribeiro Rocha, Eliane Martins	A Method for Model Based Test Harness Generation for Component Testing.	J. Braz. Comp. Soc.	2008	DBLP DOI BibTeX RDF
1	María José Escalona Cuaresma, Arturo Henry Torres-Zenteno, Javier Gutierrez, Eliane Martins, Ricardo da Silva Torres, Maria Cecília Calani Baranauskas	A Development Process for Web Geographic Information System - A Case of Study.	ICEIS	2008	DBLP BibTeX RDF
1	Marcos Salenko Guimarães, Maria Cecília Calani Baranauskas, Eliane Martins	Communication-Based Modelling and Inspection in Critical Systems.	ICEIS	2008	DBLP BibTeX RDF
1	Marcos Salenko Guimarães, Maria Cecília Calani Baranauskas, Eliane Martins	Interaction in Critical Systems: Conquests and Challenges.	ICEIS	2007	DBLP BibTeX RDF
1	Bruno Teixeira de Abreu, Eliane Martins, Fabiano Luis de Sousa	Generalized extremal optimization: an attractive alternative for test data generation.	GECCO	2007	DBLP DOI BibTeX RDF	evolutionary algorithms, software testing, evolutionary testing, automatic test data generation, path testing
1	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	DBLP DOI BibTeX RDF	Component-based system certification, Experimental Risk Assessment, Fault Injection
1	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	DBLP DOI BibTeX RDF
1	Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco, Valdivino A. Santiago, Wendell Pereira da Silva, Eliane Martins	Designing Fault Injection Experiments Using State-Based Model to Test a Space Software.	LADC	2007	DBLP DOI BibTeX RDF	deterministic fault injection, software testing method, state-based models
1	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	DBLP DOI BibTeX RDF
1	Valdivino A. Santiago, Ana Silvia Martins do Amaral, N. L. Vijaykumar, Maria de Fátima Mattiello-Francisco, Eliane Martins, Odnei Cuesta Lopes	A Practical Approach for Automated Test Case Generation using Statecharts.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Rogério de Lemos, Eliane Martins	Dependable Computing.	J. Braz. Comp. Soc.	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Regina Lúcia de Oliveira Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes	Using Stratified Sampling for Fault Injection.	LADC	2005	DBLP DOI BibTeX RDF
1	Gabriela Jacques-Silva, Roberto Jung Drebes, Taisy Silva Weber, Eliane Martins	Injecting Communication Faults to Experimentally Validate Java Distributed Applications.	ISSADS	2005	DBLP DOI BibTeX RDF
1	Regina Lúcia de Oliveira Moraes, Eliane Martins, Naaliel Vicente Mendes	Fault Injection Approach Based on Dependence Analysis.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	Eliane Martins, Vanessa Gindri Vieira	Regression Test Selection for Testable Classes.	EDCC	2005	DBLP DOI BibTeX RDF
1	Camila Ribeiro Rocha, Eliane Martins	A Strategy to Improve Component Testability without Source Code.	SOQUA/TECOS	2004	DBLP BibTeX RDF
1	Regina Lúcia de Oliveira Moraes, Eliane Martins	Fault Injection Approach Based on Architectural Dependencies.	WADS	2004	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Eliane Martins, Maria de Fátima Mattiello-Francisco	A Tool for Fault Injection and Conformance Testing of Distributed Systems.	LADC	2003	DBLP DOI BibTeX RDF
1	Regina Lúcia de Oliveira Moraes, Eliane Martins	Jaca - A Software Fault Injection Tool.	DSN	2003	DBLP DOI BibTeX RDF
1	Eliane Martins, Cecília M. F. Rubira, Nelson G. M. Leme	Jaca: A Reflective Fault Injection Tool Based on Patterns.	DSN	2002	DBLP DOI BibTeX RDF	fault model -reflective programming, design patterns, software fault injection
1	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	DBLP BibTeX RDF
1	Eliane Martins, Cristina Maria Toyota, Rosileny Lie Yanagawa	Constructing Self-Testable Software Components.	DSN	2001	DBLP DOI BibTeX RDF	component testability, self-testable component, OO testing, design for testability
1	Eliane Martins, Amanda C. A. Rosa	A Fault Injection Approach Based on Reflective Programming.	DSN	2000	DBLP DOI BibTeX RDF	OO systems, reflective programming, metaobjects, software fault injection
1	Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio	ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF	communications protocol testing, EFSM-based testing, logic programming
1	Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio	ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems.	Software Quality Journal	1999	DBLP DOI BibTeX RDF
1	David Powell, Eliane Martins, Jean Arlat, Yves Crouzet	Estimators for Fault Tolerance Coverage Evaluation.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF
1	David Powell, Eliane Martins, Jean Arlat, Yves Crouzet	Estimators for Fault Tolerance Coverage Evaluation.	FTCS	1993	DBLP DOI BibTeX RDF
1	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.	1990	DBLP DOI BibTeX RDF	dependability validation, fault-tolerance mechanisms, hardware/software prototype, validation-directed design process, general pin-level fault injection tool, MESSALINE, centralized computerized interlocking system, railway control applications, dependable communication system, ESPRIT Delta-4 Project, distributed system, fault tolerant computing, distributed processing, software tools, program verification, computer communications software, railways, fault-tolerant computing systems, validation methodology

Publications of "Eliane Martins" ( http://dblp.L3S.de/Authors/Eliane_Martins )