Automated Test Case Selection Based on a Similarity Function. - Emanuela Gadelha Cartaxo; Francisco G. Oliveira Neto; Patrícia D. L. Machado (GI Jahrestagung (2), 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 (SMC, 2007)

Weighting Influence of User Behavior in Software Validation. - Antonia Bertolino; Emanuela Gadelha Cartaxo; Patrícia D. L. Machado; Eda Marchetti (DEXA Workshops, 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 (SAC, 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 (SBES, 2008)

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)

Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT. - Emanuela Gadelha Cartaxo (2011)

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 (SBES, 2013)

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)

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 (SAST, 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)

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)

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)