Emanuela Gadelha Cartaxo

发表

Model Based Test Generation: A Case Study

Eduardo Aranha, Sidney Nogueira, Dante Torres, 2007 .

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

Wilkerson de L. Andrade, Patrícia Duarte de Lima Machado, Francisco Gomes de Oliveira Neto, 2008, SAC '08.

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

Patrícia Duarte de Lima Machado, Emanuela Gadelha Cartaxo, João Felipe S. Ouriques, 2014, Journal of Software Engineering Research and Development.

Weighting Influence of User Behavior in Software Validation

Eda Marchetti, Antonia Bertolino, Patrícia Duarte de Lima Machado, 2008, 2008 19th International Workshop on Database and Expert Systems Applications.

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

Patrícia Duarte de Lima Machado, Patricia D. L. Machado, Emanuela Gadelha Cartaxo, 2013, 2013 27th Brazilian Symposium on Software Engineering.

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

Patrícia Duarte de Lima Machado, Emanuela Gadelha Cartaxo, João Felipe S. Ouriques, 2017, Software Quality Journal.

Strategies for Controlling the Size of Test Suite Generated from MBT Approaches

Emanuela Gadelha Cartaxo, E. Cartaxo, 2009 .

Automated Test Case Selection Based on a Similarity Function

Patrícia Duarte de Lima Machado, Francisco Gomes de Oliveira Neto, Patricia D. L. Machado, 2007, GI Jahrestagung.

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

Patrícia Duarte de Lima Machado, Emanuela Gadelha Cartaxo, Ana Emília Victor Barbosa Coutinho, 2014, Software Quality Journal.

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

Patrícia Duarte de Lima Machado, Francisco Gomes de Oliveira Neto, Patricia D. L. Machado, 2007, 2007 IEEE International Conference on Systems, Man and Cybernetics.

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

Patrícia Duarte de Lima Machado, Emanuela Gadelha Cartaxo, João Felipe S. Ouriques, 2016, SAST.

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

Patrícia Duarte de Lima Machado, Francisco Gomes de Oliveira Neto, Patricia D. L. Machado, 2011, Softw. Test. Verification Reliab..

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

Patrícia Duarte de Lima Machado, Emanuela Gadelha Cartaxo, João Felipe S. Ouriques, 2017, ArXiv.