Emanuela Gadelha Cartaxo

According to our database, Emanuela Gadelha Cartaxo authored at least 12 papers between 2007 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Test case prioritization techniques for model-based testing: a replicated study.

João Felipe S. Ouriques, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado

Softw. Qual. J., 2018

2017

A Hint-Based Technique for System Level Model-Based Test Case Prioritization.

João Felipe Silva Ouriques, Emanuela Gadelha Cartaxo, Everton Leandro Galdino Alves, Patrícia Duarte de Lima Machado

CoRR, 2017

2016

Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing.

Ana Emília Victor Barbosa Coutinho, Emanuela Gadelha Cartaxo, Patrícia Duarte de Lima Machado

Softw. Qual. J., 2016

On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques.

João Felipe S. Ouriques, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco Gomes de Oliveira Neto, Ana Emília Victor Barbosa Coutinho

Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, 2016

2015

Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing.

João Felipe Silva Ouriques, Emanuela Gadelha Cartaxo, Patrícia Duarte de Lima Machado

J. Softw. Eng. Res. Dev., 2015

2013

On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-Based Testing.

João Felipe S. Ouriques, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado

Proceedings of the 27th Brazilian Symposium on Software Engineering, 2013

2011

On the use of a similarity function for test case selection in the context of model-based testing.

Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco G. Oliveira Neto

Softw. Test. Verification Reliab., 2011

2008

Usando Funções de Similaridade para Redução de Conjuntos de Casos de Teste em Estratégias de Teste Baseado em Modelos.

Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco G. Oliveira Neto, João Felipe S. Ouriques

Proceedings of the 22nd Brazilian Symposium on Software Engineering, 2008

LTS-BT: a tool to generate and select functional test cases for embedded systems.

Emanuela Gadelha Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrícia D. L. Machado

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Weighting Influence of User Behavior in Software Validation.

Antonia Bertolino, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Eda Marchetti

Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

2007

Test case generation by means of UML sequence diagrams and labeled transition systems.

Emanuela Gadelha Cartaxo, Francisco G. Oliveira Neto, Patrícia D. L. Machado

Proceedings of the IEEE International Conference on Systems, 2007

Automated Test Case Selection Based on a Similarity Function.

Emanuela Gadelha Cartaxo, Francisco G. Oliveira Neto, Patrícia D. L. Machado

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007