Patrícia Duarte de Lima Machado

According to our database, Patrícia Duarte de Lima Machado authored at least 80 papers between 1994 and 2023.

Collaborative distances:

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

2023

Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report.

Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado

J. Softw. Eng. Res. Dev., 2023

Implementing Exploratory Testing in an Agile Context: A Study Based on Design Science Research.

Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado

Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

2022

A Configurable Test Case Prioritization Technique for Early Fault Detection and Low Test Case Spreading.

Wesley N. M. Torres, Everton L. G. Alves, Patrícia D. L. Machado

Proceedings of the SBES 2022: XXXVI Brazilian Symposium on Software Engineering, Virtual Event Brazil, October 5, 2022

A Survey of Requirements Engineering and Software Testing Practices in Agile Teams.

Jarbele C. S. Coutinho, Wilkerson de Lucena Andrade, Patrícia D. L. Machado

Proceedings of the SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3, 2022

2021

Towards a Technique to Detect Weaknesses in C Programs.

Raphael Muniz, Wilkerson de L. Andrade, Patrícia D. L. Machado

Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Teaching Exploratory Tests through PBL and JiTT: an experience report in a context of distributed teams.

Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado

Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021

Investigating Test Smells in JavaScript Test Code.

Dalton N. Jorge, Patrícia D. L. Machado, Wilkerson de L. Andrade

Proceedings of the SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, Joinville, Brazil, 27 September 2021, 2021

2020

Can operational profile coverage explain post-release bug detection?

Lucas Andrade, Patrícia D. L. Machado, Wilkerson de L. Andrade

Softw. Test. Verification Reliab., 2020

Special section on testing and repair for software engineering technologies and applications.

Ian Bayley, Yan Cai, Patrícia D. L. Machado

Softw. Qual. J., 2020

A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation.

Beatriz Souza, Patrícia D. L. Machado

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

ENVIAR: ENVIronment dAta simulatoR.

Diego Rodrigues de Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Context-Aware Android Applications Testing.

Diego Rodrigues de Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

2019

Testing tools for Android context-aware applications: a systematic mapping.

Diego R. Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade

J. Braz. Comput. Soc., 2019

Requirements Engineering and Software Testing in Agile Methodologies: a Systematic Mapping.

Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado

Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

An Empirical Study on the Spreading of Fault Revealing Test Cases in Prioritized Suites.

Wesley N. M. Torres, Everton L. G. Alves, Patrícia D. L. Machado

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

2018

Refactoring Inspection Support for Manual Refactoring Edits.

Everton L. G. Alves, Myoungkyu Song, Tiago Massoni, Patrícia Duarte de Lima Machado, Miryung Kim

IEEE Trans. Software Eng., 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

Can automated test case generation cope with extract method validation?

Indy P. S. C. Silva, Everton L. G. Alves, Patrícia D. L. Machado

Proceedings of the XXXII Brazilian Symposium on Software Engineering, 2018

Integrating Requirements Specification and Model-Based Testing in Agile Development.

Dalton N. Jorge, Patrícia D. L. Machado, Everton L. G. Alves, Wilkerson de L. Andrade

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

2017

Testing real-time systems from compositional symbolic specifications.

Adriana Carla Damasceno, Patrícia D. L. Machado, Wilkerson de L. Andrade

Int. J. Softw. Tools Technol. Transf., 2017

Test coverage of impacted code elements for detecting refactoring faults: An exploratory study.

Everton L. G. Alves, Tiago Massoni, Patrícia Duarte de Lima Machado

J. Syst. Softw., 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

AST 2017 Workshop Summary.

Hong Zhu, Junhua Ding, Patrícia D. L. Machado, Marc Roper

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

2016

Prioritizing test cases for early detection of refactoring faults.

Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Miryung Kim

Softw. Test. Verification Reliab., 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 family of test selection criteria for Timed Input-Output Symbolic Transition System models.

Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado

Sci. Comput. Program., 2016

Full modification coverage through automatic similarity-based test case selection.

Francisco Gomes de Oliveira Neto, Richard Torkar, Patrícia D. L. Machado

Inf. Softw. Technol., 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

Automating test-based inspection of design models.

Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado

Softw. Qual. J., 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

Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring.

Everton L. G. Alves, Tiago Massoni, Patrícia Duarte de Lima Machado

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

Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions.

Adriana Carla Damasceno, Patrícia Duarte de Lima Machado, Wilkerson de Lucena Andrade, Wesley Nunes Marques Torres

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques.

Francisco Gomes de Oliveira Neto, Richard Torkar, Patrícia D. L. Machado

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Automatic generation of built-in contract test drivers.

Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho

Softw. Syst. Model., 2014

Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems.

Diego R. Almeida, Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2013

Generating Test Cases for Real-Time Systems Based on Symbolic Models.

Wilkerson de L. Andrade, Patrícia D. L. Machado

IEEE Trans. Software Eng., 2013

Seleção Automática de Casos de Teste de Regressão Baseada em Similaridade e Valores.

Francisco Gomes de Oliveira Neto, Patrícia Duarte de Lima Machado

RITA, 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

Searching for models to evaluate software technology.

Francisco Gomes de Oliveira Neto, Robert Feldt, Richard Torkar, Patrícia D. L. Machado

Proceedings of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering, 2013

A refactoring-based approach for test case selection and prioritization.

Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Samuel T. C. Santos

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

2012

Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008).

Patrícia D. L. Machado

Sci. Comput. Program., 2012

Testing interruptions in reactive systems.

Wilkerson de L. Andrade, Patrícia D. L. Machado

Formal Aspects Comput., 2012

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

Testing Architectures for Real Time Systems.

Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho

Proceedings of the Fifth Brazilian Symposium on Software Components, 2011

Guidelines for Platform Independent Modeling for Real Time Systems Using UML.

Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho

Proceedings of the Fifth Brazilian Symposium on Software Components, 2011

Abstracting Time and Data for Conformance Testing of Real-Time Systems.

Wilkerson de L. Andrade, Patrícia D. L. Machado, Thierry Jéron, Hervé Marchand

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

2010

An integration testing approach based on test patterns and MDA techniques.

Camila L. Maciel, Patrícia D. L. Machado, Franklin Ramalho

Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, 2010

2009

Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS.

Wilkerson de L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida

Proceedings of the Formal Methods: Foundations and Applications, 2009

Interruption Testing of Reactive Systems.

Wilkerson de L. Andrade, Patrícia D. L. Machado

Proceedings of the Formal Methods: Foundations and Applications, 2009

Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos.

Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado

Proceedings of the Third Brazilian Symposium on Software Components, 2009

2008

Preface.

Patrícia D. L. Machado

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 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

Automating Functional Testing of Components from UML Specifications.

Daniel L. Barbosa, Helton S. Lima, Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Makelli A. Jucá, Wilkerson de L. Andrade

Int. J. Softw. Eng. Knowl. Eng., 2007

Component-based integration testing from UML interaction diagrams.

Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Emerson F. A. Lima, Ana E. V. Barbosa, Helton S. Lima

Proceedings of the IEEE International Conference on Systems, 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

An experimental evaluation of approaches to feature testing in the mobile phone applications domain.

Laisa H. O. do Nascimento, Patrícia D. L. Machado

Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, 2007

Automatic Generation of Platform Independent Built-in Contract Testers.

Helton S. Lima, Franklin Ramalho, Patrícia D. L. Machado, Everton L. Galdino

Proceedings of the First Brazilian Symposium on Software Components, 2007

The Oracle Problem for Testing against Quantified Properties.

Patrícia D. L. Machado, Wilkerson de L. Andrade

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Software Testing: An Overview.

Patrícia D. L. Machado, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado

Proceedings of the Testing Techniques in Software Engineering, 2007

Automatic Test-Case Generation.

Patrícia D. L. Machado, Augusto Sampaio

Proceedings of the Testing Techniques in Software Engineering, 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

2006

Generating interaction test cases for mobile phone systems from use case specifications.

André L. L. de Figueiredo, Wilkerson de L. Andrade, Patrícia D. L. Machado

ACM SIGSOFT Softw. Eng. Notes, 2006

Towards Test Purpose Generation from CTL Properties for Reactive Systems.

Daniel Aguiar da Silva, Patrícia D. L. Machado

Proceedings of the Second Workshop on Model Based Testing, 2006

GridUnit: software testing on the grid.

Alexandre Duarte, Walfredo Cirne, Francisco Vilar Brasileiro, Patrícia D. L. Machado

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Towards Property Oriented Testing.

Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

2004

An approach to modelling and applying mobile agent design patterns.

Emerson F. A. Lima, Patrícia D. L. Machado, Fláavio R. Sampaio, Jorge C. A. de Figueiredo

ACM SIGSOFT Softw. Eng. Notes, 2004

Testing from Structured Algebraic Specifications: The Veritas Case Study.

Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Identifying and Documenting Test Patterns from Mobile Agent Design Patterns.

André Figueiredo, Antônio Almeida, Patrícia D. L. Machado

Proceedings of the Mobility Aware Technologies and Applications, 2004

2003

Preface.

Ana Cavalcanti, Patrícia D. L. Machado

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

Um Método de Teste Funcional para Verificação de Componentes.

Carina M. Farias, Patrícia D. L. Machado

Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

2002

Unit Testing for CASL Architectural Specifications.

Patrícia D. L. Machado, Donald Sannella

Proceedings of the Mathematical Foundations of Computer Science 2002, 2002

2000

Testing from structured algebraic specifications : the oracle problem.

Patrícia D. L. Machado

PhD thesis, 2000

Formal testing from structured algebraic specifications: normalisationand the oracle problem.

Patrícia D. L. Machado

RITA, 2000

Testing from Structured Algebraic Specifications.

Patrícia D. L. Machado

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

The Rôle of Normalisation in Testing from Structured Algebraic Specifications.

Patrícia D. L. Machado

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1998

On Oracles for Interpreting Test Results against Algebraic Specifications.

Patrícia D. L. Machado

Proceedings of the Algebraic Methodology and Software Technology, 1998

1995

On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks.

Patrícia D. L. Machado, Silvio Romero de Lemos Meira

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1994

Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais.

Patrícia Duarte de Lima Machado, Silvio Romero de Lemos Meira, Edson Costa de Barros Carvalho Filho, Herman Martins Gomes

Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994