Patrícia Duarte de Lima Machado

Publication Activity (10 Years)

Years Active: 1994-2018
Publications (10 Years): 5

Top Topics

Model Based Testing

Regression Testing

Number Of Test Cases

Top Venues

J. Softw. Eng. Res. Dev.

J. Syst. Softw.

Publications

Everton L. G. Alves, Myoungkyu Song, Tiago Massoni, Patrícia Duarte de Lima Machado, Miryung Kim
Refactoring Inspection Support for Manual Refactoring Edits. IEEE Trans. Software Eng. 44 (4) (2018)
João Felipe Silva Ouriques, Emanuela Gadelha Cartaxo, Patrícia Duarte de Lima Machado
Test Case Prioritization Techniques for Model-Based Testing: A Replicated Study. CoRR (2017)
Everton L. G. Alves, Tiago Massoni, Patrícia Duarte de Lima Machado
Test coverage of impacted code elements for detecting refactoring faults: An exploratory study. J. Syst. Softw. 123 (2017)
João Felipe Silva Ouriques, Emanuela Gadelha Cartaxo, Everton Leandro Galdino Alves, Patrícia Duarte de Lima Machado
A Hint-Based Technique for System Level Model-Based Test Case Prioritization. CoRR (2017)
Ana Emília Victor Barbosa Coutinho, Emanuela Gadelha Cartaxo, Patrícia Duarte de Lima Machado
Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing. Softw. Qual. J. 24 (2) (2016)
Adriana Carla Damasceno, Patrícia Duarte de Lima Machado, Wilkerson de Lucena Andrade, Wesley Nunes Marques Torres
Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions. ISORC (2015)
João Felipe Silva Ouriques, Emanuela Gadelha Cartaxo, Patrícia Duarte de Lima Machado
Revealing influence of model structure and test case profile on the prioritization of test cases in the context of model-based testing. J. Softw. Eng. Res. Dev. 3 (2015)
Everton L. G. Alves, Tiago Massoni, Patrícia Duarte de Lima Machado
Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring. SAC (2015)
Francisco Gomes de Oliveira Neto, Patrícia Duarte de Lima Machado
Seleção Automática de Casos de Teste de Regressão Baseada em Similaridade e Valores. RITA 20 (2) (2013)
Patrícia Duarte de Lima Machado, Silvio Romero de Lemos Meira, Edson Costa de Barros Carvalho Filho, Herman Martins Gomes
Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais. SBES (1994)