Eliane Martins

According to our database1, Eliane Martins authored at least 67 papers between 1990 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Exploiting MDE for Platform-Independent Testing of Service Orchestrations.
Proceedings of the 15th European Dependable Computing Conference, 2019

The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018
Using a Search and Model Based Framework to Improve Robustness Tests in Cloud Platforms.
Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018

An Adaptive Multi-objective Heuristic Search for Model-Based Testing.
Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

On the use of a failure emulator mechanism at nanosatellite subsystems integration tests.
Proceedings of the 19th IEEE Latin-American Test Symposium, 2018

2017
MARITACA: From Textual Use Case Descriptions to Behavior Models.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

2016
The Perils of Android Security Configuration.
IEEE Computer, 2016

Benchmarking User-Defined Security Configuration of Mobile Devices.
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Modeling Dependable Product-Families: From Use Cases to State Machine Models.
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Risk Assessment of User-Defined Security Configurations for Android Devices.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

D-MBTDD: An Approach for Reusing Test Artefacts in Evolving System.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2015
Security Testing Methodology for Evaluation of Web Services Robustness - Case: XML Injection.
Proceedings of the 2015 IEEE World Congress on Services, 2015

A security configuration assessment for android devices.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Experience report: A field analysis of user-defined security configurations of Android devices.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard Documents.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

2013
Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security.
Proceedings of the XXXIX Latin American Computer Conference - Selected Papers, 2013

Automating software validation of a GPON network.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Golden-run alignment for analysis of robustness testing results: dealing with diagnostics issues.
Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012
InRob: An approach for testing interoperability and robustness of real-time embedded software.
J. Syst. Softw., 2012

Specification-guided Golden Run for Analysis of Robustness Testing Results.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

2011
Data Driven Research at LIS: the Laboratory of Information Systems at UNICAMP.
JIDM, 2011

A model-based attack injection approach for security validation.
Proceedings of the 4th International Conference on Security of Information and Networks, 2011

Validation of Exception Handling in the Development of Dependable Component-Based Software Systems.
Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

MOST: A Multi-objective Search-Based Testing from EFSM.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

A multi-objective evolutionary algorithm to obtain test cases with variable lengths.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

2010
A Fault Injection Tool for Testing Web Services Composition.
Proceedings of the Testing, 2010

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition.
Proceedings of the IEEE International Conference on Web Services, 2010

Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach.
Proceedings of the Third International Conference on Software Testing, 2010

Interaction Design and Redundancy Strategy in Critical Systems.
Proceedings of the ICISO 2010, 2010

2009
Architecting Fault Tolerance with Exception Handling: Verification and Validation.
J. Comput. Sci. Technol., 2009

Mapping Web-Based Applications Failures to Faults.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Architectural-Based Validation of Fault-Tolerant Software.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

A formal approach for specification and verification of fault injection process.
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, 2009

An Evolutionary Approach for Robustness Testing.
Proceedings of the IJCCI 2009, 2009

Security Protocol Testing Using Attack Trees.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008
A Method for Model Based Test Harness Generation for Component Testing.
J. Braz. Comp. Soc., 2008

Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations.
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Communication-Based Modelling and Inspection in Critical Systems.
Proceedings of the ICEIS 2008, 2008

A Development Process for Web Geographic Information System - A Case of Study.
Proceedings of the ICEIS 2008, 2008

2007
Component-Based Software Certification Based on Experimental Risk Assessment.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Architecture-Centric Fault Tolerance with Exception Handling.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Interaction in Critical Systems: Conquests and Challenges.
Proceedings of the ICEIS 2007, 2007

Generalized extremal optimization: an attractive alternative for test data generation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Experimental Risk Assessment and Comparison Using Software Fault Injection.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006
A Conformance Testing Process for Space Applications Software Services.
JACIC, 2006

Injection of faults at component interfaces and inside the component code: are they equivalent?
Proceedings of the Sixth European Dependable Computing Conference, 2006

A Practical Approach for Automated Test Case Generation using Statecharts.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Teste de Desempenho em Aplicações SIG Web.
Proceedings of the Memorias de la IX Conferenci a Iberoamericana de Software Engineering (CIbSE 2006), 2006

2005
Dependable Computing.
J. Braz. Comp. Soc., 2005

Using Stratified Sampling for Fault Injection.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

A Method for Modeling and Testing Exceptions in Component-Based Software Development.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Injecting Communication Faults to Experimentally Validate Java Distributed Applications.
Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

Regression Test Selection for Testable Classes.
Proceedings of the Dependable Computing, 2005

Fault Injection Approach Based on Dependence Analysis.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
A Strategy to Improve Component Testability without Source Code.
Proceedings of the Testing of Component-Based Systems and Software Quality, 2004

Fault Injection Approach Based on Architectural Dependencies.
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

2003
A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool.
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

A Tool for Fault Injection and Conformance Testing of Distributed Systems.
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Jaca - A Software Fault Injection Tool.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
Uso da ferramenta de testes fSofist na validação de uma aplicação espacial.
Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), 2002

Jaca: A Reflective Fault Injection Tool Based on Patterns.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Constructing Self-Testable Software Components.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000
A Fault Injection Approach Based on Reflective Programming.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems.
Software Quality Journal, 1999

1995
Estimators for Fault Tolerance Coverage Evaluation.
IEEE Trans. Computers, 1995

1990
Fault Injection for Dependability Validation: A Methodology and Some Applications.
IEEE Trans. Software Eng., 1990


  Loading...