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

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 (ZUM, 1995)

On Oracles for Interpreting Test Results against Algebraic Specifications. - Patrícia D. L. Machado (AMAST, 1998)

The Rôle of Normalisation in Testing from Structured Algebraic Specifications. - Patrícia D. L. Machado (WADT, 1999)

Testing from Structured Algebraic Specifications. - Patrícia D. L. Machado (AMAST, 2000)

Formal testing from structured algebraic specifications: normalisationand the oracle problem. - Patrícia D. L. Machado (RITA, 2000)

Testing from structured algebraic specifications : the oracle problem. - Patrícia D. L. Machado (2000)

Unit Testing for CASL Architectural Specifications. - Patrícia D. L. Machado; Donald Sannella (MFCS, 2002)

Um Método de Teste Funcional para Verificação de Componentes. - Carina M. Farias; Patrícia D. L. Machado (SBES, 2003)

Preface. - Ana Cavalcanti 001; Patrícia D. L. Machado (WMF, 2003)

Identifying and Documenting Test Patterns from Mobile Agent Design Patterns. - André Figueiredo; Antônio Almeida; Patrícia D. L. Machado (MATA, 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 (SBMF, 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)

Towards Property Oriented Testing. - Patrícia D. L. Machado; Daniel A. Silva; Alexandre Mota 001 (SBMF, 2005)

GridUnit: software testing on the grid. - Alexandre Duarte; Walfredo Cirne; Francisco Vilar Brasileiro; Patrícia D. L. Machado (ICSE, 2006)

Towards Test Purpose Generation from CTL Properties for Reactive Systems. - Daniel Aguiar da Silva; Patrícia D. L. Machado (MBT, 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)

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)

Automatic Test-Case Generation. - Patrícia D. L. Machado; Augusto Sampaio 001 (PSSE, 2007)

Software Testing: An Overview. - Patrícia D. L. Machado; Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado (PSSE, 2007)

The Oracle Problem for Testing against Quantified Properties. - Patrícia D. L. Machado; Wilkerson de L. Andrade (QSIC, 2007)

Automatic Generation of Platform Independent Built-in Contract Testers. - Helton S. Lima; Franklin Ramalho; Patrícia D. L. Machado; Everton L. Galdino (SBCARS, 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 (DOSTA, 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)

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

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)

Preface. - Patrícia D. L. Machado (SBMF, 2008)

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 (SBCARS, 2009)

Interruption Testing of Reactive Systems. - Wilkerson de L. Andrade; Patrícia D. L. Machado (SBMF, 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 (SBMF, 2009)

An integration testing approach based on test patterns and MDA techniques. - Camila L. Maciel; Patrícia D. L. Machado; Franklin Ramalho (SugarLoafPLoP, 2010)

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 (ICST Workshops, 2011)

Guidelines for Platform Independent Modeling for Real Time Systems Using UML. - Everton L. G. Alves; Patrícia D. L. Machado; Franklin Ramalho (SBCARS, 2011)

Testing Architectures for Real Time Systems. - Everton L. G. Alves; Patrícia D. L. Machado; Franklin Ramalho (SBCARS, 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 interruptions in reactive systems. - Wilkerson de L. Andrade; Patrícia D. L. Machado (Formal Aspects Comput., 2012)

Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008). - Patrícia D. L. Machado (Sci. Comput. Program., 2012)

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

Searching for models to evaluate software technology. - Francisco Gomes de Oliveira Neto; Robert Feldt; Richard Torkar; Patrícia D. L. Machado (CMSBSE@ICSE, 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 (SBES, 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)

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)

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 (SBMF, 2014)

Automatic generation of built-in contract test drivers. - Everton L. G. Alves; Patrícia D. L. Machado; Franklin Ramalho (Softw. Syst. Model., 2014)

An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques. - Francisco Gomes de Oliveira Neto; Richard Torkar; Patrícia D. L. Machado (ICSE (2), 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 (ISORC, 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 (SAC, 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)

Automating test-based inspection of design models. - Anne Caroline O. Rocha; Franklin Ramalho; Patrícia D. L. Machado (Softw. Qual. J., 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)

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)

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)

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)

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)

AST 2017 Workshop Summary. - Hong Zhu 002; Junhua Ding; Patrícia D. L. Machado; Marc Roper (AST@ICSE, 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)

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)

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)

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

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)

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

Context-Aware Android Applications Testing. - Diego Rodrigues de Almeida; Patrícia D. L. Machado; Wilkerson de L. Andrade (SBES, 2020)

ENVIAR: ENVIronment dAta simulatoR. - Diego Rodrigues de Almeida; Patrícia D. L. Machado; Wilkerson de L. Andrade (SBES, 2020)

A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation. - Beatriz Souza; Patrícia D. L. Machado (SBES, 2020)

Special section on testing and repair for software engineering technologies and applications. - Ian Bayley; Yan Cai 001; Patrícia D. L. Machado (Softw. Qual. J., 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)

Investigating Test Smells in JavaScript Test Code. - Dalton N. Jorge; Patrícia D. L. Machado; Wilkerson de L. Andrade (SAST, 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 (SBES, 2021)

Towards a Technique to Detect Weaknesses in C Programs. - Raphael Muniz; Wilkerson de L. Andrade; Patrícia D. L. Machado (SBES, 2021)

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

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