Eliane Martins

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

2020

A tour of dependable computing research in Latin America.

[BibT_eX]

[DOI]

Elias P. Duarte Jr.

Raimundo J. A. Macêdo

Sergio Rajsbaum

Commun. ACM, 2020

Using Metamodels to Improve Model-Based Testing of Service Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

2019

Combining State and Interface - Based Robustness Testing for OpenStack Components.

[BibT_eX]

[DOI]

Wallace F. F. Cardoso

Nuno Laranjeiro

Nuno Antunes

Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019

Exploiting MDE for Platform-Independent Testing of Service Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the 15th European Dependable Computing Conference, 2019

The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations.

[BibT_eX]

[DOI]

Lucas Leal

Andrea Ceccarelli

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

From Natural Language Standard Documents to State Machines: Advantages and Drawbacks.

[BibT_eX]

[DOI]

Ariadne Maria Brito Rizzoni Carvalho

Emília Villani

J. Aerosp. Inf. Syst., May, 2018

Using a Search and Model Based Framework to Improve Robustness Tests in Cloud Platforms.

[BibT_eX]

[DOI]

Wallace F. F. Cardoso

Aristides De Almeida Neto

Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018

An Adaptive Multi-objective Heuristic Search for Model-Based Testing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Carlos L. G. Batista

Proceedings of the 19th IEEE Latin-American Test Symposium, 2018

2017

MARITACA: From Textual Use Case Descriptions to Behavior Models.

[BibT_eX]

[DOI]

Leydi Erazo

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

2016

The Perils of Android Security Configuration.

[BibT_eX]

[DOI]

Marco Vieira

Computer, 2016

Benchmarking User-Defined Security Configuration of Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Modeling Dependable Product-Families: From Use Cases to State Machine Models.

[BibT_eX]

[DOI]

Leydi Erazo

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016

Risk Assessment of User-Defined Security Configurations for Android Devices.

[BibT_eX]

[DOI]

Marco Vieira

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

D-MBTDD: An Approach for Reusing Test Artefacts in Evolving System.

[BibT_eX]

[DOI]

Thais Harumi Ussami

Marcelo Invert Palma Salas

Leonardo Montecchi

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.

[BibT_eX]

[DOI]

Paulo Lício de Geus

Proceedings of the 2015 IEEE World Congress on Services, 2015

A security configuration assessment for android devices.

[BibT_eX]

[DOI]

Marco Vieira

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Experience report: A field analysis of user-defined security configurations of Android devices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ariadne Maria Brito Rizzoni Carvalho

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.

[BibT_eX]

[DOI]

M. I. P. Salas

Proceedings of the XXXIX Latin American Computer Conference - Selected Papers, 2013

Automating software validation of a GPON network.

[BibT_eX]

[DOI]

Aline Cristine Fadel

Paulo Martins

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.

[BibT_eX]

[DOI]

Gizelle Sandrini Lemos

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.

[BibT_eX]

[DOI]

Edgar Toshiro Yano

J. Syst. Softw., 2012

Specification-guided Golden Run for Analysis of Robustness Testing Results.

[BibT_eX]

[DOI]

Gizelle Sandrini Lemos

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.

[BibT_eX]

[DOI]

Claudia Bauzer Medeiros

André Santanchè

Edmundo R. M. Madeira

Geovane C. Magalhâes

Neucimar J. Leite

Ricardo da Silva Torres

J. Inf. Data Manag., 2011

A model-based attack injection approach for security validation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jeferson Ferreira

Patrick Henrique da Silva Brito

Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

MOST: A Multi-objective Search-Based Testing from EFSM.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

A multi-objective evolutionary algorithm to obtain test cases with variable lengths.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

2010

A Fault Injection Tool for Testing Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the Testing, 2010

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Interaction Design and Redundancy Strategy in Critical Systems.

[BibT_eX]

Marcos Salenko Guimarães

Proceedings of the ICISO 2010, 2010

2009

Architecting Fault Tolerance with Exception Handling: Verification and Validation.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2009

Mapping Web-Based Applications Failures to Faults.

[BibT_eX]

[DOI]

Bruno Teixeira de Abreu

Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Architectural-Based Validation of Fault-Tolerant Software.

[BibT_eX]

[DOI]

Patrick H. S. Brito

Rogério de Lemos

Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

A formal approach for specification and verification of fault injection process.

[BibT_eX]

[DOI]

Fayçal Bessayah

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, 2009

An Evolutionary Approach for Robustness Testing.

[BibT_eX]

Proceedings of the IJCCI 2009, 2009

Security Protocol Testing Using Attack Trees.

[BibT_eX]

[DOI]

Willy Jimenez

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.

[BibT_eX]

[DOI]

Camila Ribeiro Rocha

J. Braz. Comput. Soc., 2008

Avaliação de um Método para Estimativa de Esforço para Testes baseado em Casos de Uso.

[BibT_eX]

[DOI]

Érika R. C. de Almeida

Bruno T. de Abreu

Regina Moraes

Proceedings of the 7th Brazilian Symposium on Software Quality, 2008

Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Communication-Based Modelling and Inspection in Critical Systems.

[BibT_eX]

Marcos Salenko Guimarães

María José Escalona Cuaresma

Proceedings of the ICEIS 2008, 2008

A Development Process for Web Geographic Information System - A Case of Study.

[BibT_eX]

Arturo Henry Torres-Zenteno

Javier J. Gutiérrez

Ricardo da Silva Torres

Proceedings of the ICEIS 2008, 2008

2007

Generalized Extremal Optimization: a competitive algorithm for test data generation.

[BibT_eX]

[DOI]

Bruno T. de Abreu

Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Component-Based Software Certification Based on Experimental Risk Assessment.

[BibT_eX]

[DOI]

João Durães

Patrick Henrique da S. Brito

Henrique Madeira

Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Architecture-Centric Fault Tolerance with Exception Handling.

[BibT_eX]

[DOI]

Rogério de Lemos

Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Designing Fault Injection Experiments Using State-Based Model to Test a Space Software.

[BibT_eX]

[DOI]

Valdivino Alexandre de Santiago Jr.

Wendell Pereira da Silva

Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Interaction in Critical Systems: Conquests and Challenges.

[BibT_eX]

Marcos Salenko Guimarães

Proceedings of the ICEIS 2007, 2007

Generalized extremal optimization: an attractive alternative for test data generation.

[BibT_eX]

[DOI]

Bruno Teixeira de Abreu

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

Experimental Risk Assessment and Comparison Using Software Fault Injection.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nandamudi L. Vijaykumar

Solon V. Carvalho

J. Aerosp. Comput. Inf. Commun., 2006

Injection of faults at component interfaces and inside the component code: are they equivalent?

[BibT_eX]

[DOI]

Valdivino Alexandre de Santiago Jr.

Proceedings of the Sixth European Dependable Computing Conference, 2006

A Practical Approach for Automated Test Case Generation using Statecharts.

[BibT_eX]

[DOI]

Ana Silvia Martins do Amaral

Nandamudi L. Vijaykumar

Arturo Henry Torres-Zenteno

Odnei Cuesta Lopes

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Teste de Desempenho em Aplicações SIG Web.

[BibT_eX]

María José Escalona Cuaresma

Ricardo da Silva Torres

Proceedings of the Memorias de la IX Conferenci a Iberoamericana de Software Engineering (CIbSE 2006), 2006

2005

Dependable Computing.

[BibT_eX]

[DOI]

Rogério de Lemos

J. Braz. Comput. Soc., 2005

Automatic test data generation for path testing using a new stochastic algorithm.

[BibT_eX]

[DOI]

Bruno T. de Abreu

Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

Using Stratified Sampling for Fault Injection.

[BibT_eX]

[DOI]

Elaine C. Catapani Poletti

Naaliel Vicente Mendes

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

A Method for Modeling and Testing Exceptions in Component-Based Software Development.

[BibT_eX]

[DOI]

Patrick Henrique da S. Brito

Camila Ribeiro Rocha

Fernando Castor Filho

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

Injecting Communication Faults to Experimentally Validate Java Distributed Applications.

[BibT_eX]

[DOI]

Gabriela Jacques-Silva

Roberto Jung Drebes

Taisy Silva Weber

Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

Regression Test Selection for Testable Classes.

[BibT_eX]

[DOI]

Vanessa Gindri Vieira

Proceedings of the Dependable Computing, 2005

Fault Injection Approach Based on Dependence Analysis.

[BibT_eX]

[DOI]

Naaliel Vicente Mendes

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

A Strategy to Improve Component Testability without Source Code.

[BibT_eX]

[DOI]

Camila Ribeiro Rocha

Proceedings of the Testing of Component-Based Systems and Software Quality, 2004

Fault Injection Approach Based on Architectural Dependencies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

A Tool for Fault Injection and Conformance Testing of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Jaca - A Software Fault Injection Tool.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC'02), 2002

Jaca: A Reflective Fault Injection Tool Based on Patterns.

[BibT_eX]

[DOI]

Nelson G. M. Leme

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Development of Self-Testing Software Components.

[BibT_eX]

Luciano Hayato Ukuma

Proceedings of the 2nd Latin American Test Workshop, 2001

Constructing Self-Testable Software Components.

[BibT_eX]

[DOI]

Cristina Maria Toyota

Rosileny Lie Yanagawa

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.

[BibT_eX]

[DOI]

Amanda C. A. Rosa

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.

[BibT_eX]

[DOI]

Selma B. Sabião

Softw. Qual. J., 1999

1995

Estimators for Fault Tolerance Coverage Evaluation.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1995

Integrando injeção de falhas e testes formais na validação da tolerância a falhas.

[BibT_eX]

[DOI]