Algumas Publicações/ Some Publications

2008
 Camila Rocha, Eliane Martins. A method for model-based test harness generation for component testing. Special issue on Software Reuse of the Journal of the Brazilian Computer Society, vol. 14(1), Mar/2008, ISSN 0104-6500. Abstract.

Ana Cavalli, Eliane Martins and Anderson Morais. Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. 4th Workshop on Advances in Model Based Testing (A-MOST 2008), joint with 1st. IEEE International Conference on Software Testing, Verification and Validation (ICST), Lillehammer, Noruega, 9-11/Abril/2008.

Ana Maria Ambrosio, Fatima Mattiello-Francisco and Eliane Martins. An Independent Software Verification and Validation Process for Space Applications. SpaceOps 2008, Heidelberg, Alemanha, 12-16/Maio/2008.

Eliane Martins, Anderson Morais, Ana Cavalli. Generating attack scenarios for the validation of security protocol implementations. 2nd. Brazilian Workshop on Systematic and Automated Software Testing (SAST). Maio/2008. Campinas, SP. Brasil. Abstract
2007
 R. Moraes, J. Durães, E. Martins, H. Madeira. Experimental Risk Assessment and Comparison Using Software Fault Injection. DSN 2007. Edimburgo. Escócia. Junho/2007

P.Brito, R. de Lemos, E. Martins, C. Rubira. Verification and Validation of a Fault-Tolerant Architectural Abstraction. DSN 2007 Workshop on Architecting Dependable Systems (WADS). Edimburgo. Escócia. Junho/2007. Abstract.

M.S.Guimarães, M.C.C. Baranauskas, E.Martins. A Communication-based Approach to Requirements Elicitation for Safety-Critical Systems. International Conference on Organizational Semiotics 2007. July/2007. Sheffield. UK

I.Perez, E.Martins. Automação em Projeto de Testes Usando Modelos UML. 1st Brazilian Workshop on Systematic and Automated Software Testing (SAST). Collocated with SBES, João Pessoa, PB. October, 19th, 2007.

Bruno Abreu, Eliane Martins and Fabiano de Sousa. Generalized Extremal Optimization: An Attractive Alternative for Test Data Generation. Genetic and Evolutionary Computation Conference (GECCO), July/2007. London. UK. Abstract
2006
 Ana Maria Ambrosio; Eliane Martins; Nandamudi L. Vijaykumar; Solon V. Carvalho. A Conformance Testing Process for Space Applications Software Services. AIAA (American Institute of Aeronautics and Astronautics) Journal of Aerospace Computing, Information, and Communication (1542-9423) 2006 vol. 3 no. 4, pages (146-158)

Arturo H. Torres-Zenteno, Eliane Martins, Ricardo da S. Torres, María J. Escalona Cuaresma. Teste de Desempenho em Aplicações SIG Web.  Proc. 9º Workshop Iberoamericano de Ingenería de Requisitos y Ambientes de Software ( IDEAS), 2006. La Plata, Argentina, 24-28/04/2006

R. Moraes, R. Barbosa, J. Durães, N. Mendes, E. Martins, H. Madeira. Do injected component interface faults represent software bugs?. 6th. European Dependable Computing Conference (EDCC) 2006. Coimbra, Portugal, Outubro/2006. Abstract.

Naaliel Mendes, Regina Moraes, Eliane Martins, Henrique Madeira. Jaca Tool Improvements for Speeding Up Fault Injection Campaigns. 13ª. Sessão de Ferramentas. 20º. Simpósio Brasileiro de Engenharia de Software. SBES, Florianópolis, 18-20/outubro/2006. Abstract.
2005
 Eliane Martins, Vanessa G. Vieira. Regression test selection for testable Classes. 5th. European Dependable Computing Conference, EDCC 2005, Budapest, Hungary, 20-22 April 2005. Lecture Notes in Computer Science. Publisher: Springer-Verlag GmbH ISSN: 0302-9743. Volume 3463/2005, pp453-470. Abstract

Ana Maria Ambrosio, Eliane Martins, Valdivino Santiago, Fatima Mattiello-Franscisco, N. L. Vijaykumar, S. V. de Carvalho. A methodology for designing fault injection experiments as an addition to communication systems conformance testing . Workshop on Dependable Software Tools and Methods. The International Conference on Dependable Systems and Networks, DSN’2005, Yokohama, Japan, June,28-July, 1, 2005.

Regina Lúcia O. de Moraes, Eliane Martins, Elaine C. Catapani Poleti, Naaliel Vicente Mendes. Using Stratified Sampling for Fault Injection. 2nd. Latin-American Symposium on Dependable Computing (2nd LADC), Salvador, Bahia, Brazil, Oct/2005, pp9-19. Abstract

Camila Rocha, Patrick Brito, Fernando Castor Fº, Eliane Martins, Cecília Rubira. A Method for Modeling and Testing Exceptions in Component-Based Software Development.2nd. Latin-American Symposium on Dependable Computing (2nd LADC), Salvador, Bahia, Brazil, Oct/2005, pp9-19. Abstract

Regina O. Moraes,  Eliane Martins.  Fault Injection Approach Based on Architectural Dependencies. Lecture Notes in Computer Science. Publisher: Springer-Verlag GmbH. ISBN: 3-540-28968-2 . Volume 3549 / 2005. Editors:  Rogério de Lemos, Cristina Gacek, Alexander Romanovsky.

Paulo Guerra, Carolina Araújo, Camila Rocha, Eliane Martins. CBDUnit - Uma Ferramenta para Testes Unitários de Componentes. 12ª. Sessão de Ferramentas. 19º. Simpósio Brasileiro de Engenharia de Software. SBES, Uberlândia, 3-7/outubro/2005. Abstract.
2004
 Camila R.Rocha, Eliane Martins. Um Modelo para a Construção de Componentes Testáveis. 5º Workshop de Testes e Tolerância a Falhas (WTF), Gramado, RS, maio/2004. Resumo/Abstract.

Regina O. Moraes,  Eliane Martins. Architecture-based Strategy for Fault Injection. Workshop on Architecting Dependable Systems, joint with DSN’2004, Florence, Italy, June/2004. Abstract.

Eliane Martins; Daniele C. Guimarães; A.M.Ambrósio. STER – A Strategy for Testing Reactive Systems. DSN’2004, Fast Abstracts Session. Florence, Italy, June/2004. PDF version.

Camila R.Rocha, Eliane Martins. A Strategy to Improve Component Testability without Source Code. Workshop on Testing Component Systems (TECOS), Germany, September/2004. Abstract.

Wennder I. da Silveira, Eliane Martins. FireWeb: a Tool to Support Regression Testing of Web Applications. Brazilian Syposium on Software Engineering, Tool Demonstration Track, October/2004. Resumo/Abstract.
2003
 N. G. M. Leme, E. Martins, C. M. F. Rubira. A Software Fault Injection Pattern System. 8th Conference on Pattern Languages of Programs, September 11-15, 2001, Monticello, Illinois, USA. Available at: http://jerry.cs.uiuc.edu/~plop/plop2001/accepted_submissions/PLoP2001/ngmleme3/PLoP2001_ngmleme3_3.pdf

Eliane Martins, Regina O. Moraes. Validating an ODBMS Component using a High-Level Software Fault Injection Tool. 1st. Latin American Symposium on Dependable Computing (LADC), S.Paulo, Brasil, 21-24/10/2003.

Eliane Martins, Maria de Fátima Mattiello Francisco. A tool for fault injection and conformance testing of distributed systems. 1st. Latin American Symposium on Dependable Computing (LADC), S.Paulo, Brasil, 21-24/10/2003. Abstract.
2002
 Eliane Martins, Cecília M.F.Rubira, Nelson G.M.Leme. Jaca: A reflective fault injection tool based on patterns. International Performance & Dependability Symposium (IPDS), joint with DSN, Washington, EUA, June/2002.
2001
 Luciano H.Ukuma, Eliane Martins. Developing Self-Testing Software Components. 2nd. IEEE Latin American Test Workshop (LATW), pp52-55, Cancun, MEXICO, 11-14/02/2001

Eliane Martins, Cristina Maria Toyota, Rosileny Lie Yanagawa. Constructing Self-Testable Software Components. DSN'2001, Gothemburg, Sweden, 7/2001. Abstract.
2000
 E. Martins; S.B.Sabião; A.M. Ambrósio. ConData: a Tool for Automating Specification-based Test Case Generation for Communication Systems. Proc. 33rd. Hawaii International Conference on System Sciences (HICSS'33), Maui, USA, Jan/2000. Abstract.
Also appeared on Software Quality Journal 8 (4) (1999) 303-319, Kluwer.
1999
 E.Martins, C.M.Toyota. Construção de Classes Autotestáveis. VIII SCTF, pp196-209, Campinas, SP, Brasil, Jul/1999. Paper
1998
 A.C.A.Rosa, E.Martins. Using a Reflective Architecture to Validate Object-Oriented Applications by Fault Injection. Proc. of the Workshop on Reflective Programming in C++ and Java, pp76-80, Vancouver, Canada, Oct/1998. Paper (.PS)
1997
 M.R.Stefani; E.Martins. Análise de Traço e Geração de Diagnósticos para Testes Baseados em Injeção por Software. Anais do VII Simpósio de Computadores Tolerantes a Falhas, pp. 321-337, Campina Grande, Brasil, Ago/1997. Abstract.