Patrícia D. L. Machado

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 25

Top Venues

SBES

Softw. Qual. J.

SAST

Softw. Test. Verification Reliab.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado
Implementing Exploratory Testing in an Agile Context: A Study Based on Design Science Research. SAST (2023)
Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado
Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report. J. Softw. Eng. Res. Dev. 11 (2023)
Wesley N. M. Torres, Everton L. G. Alves, Patrícia D. L. Machado
A Configurable Test Case Prioritization Technique for Early Fault Detection and Low Test Case Spreading. SBES (2022)
Raphael Muniz, Wilkerson de L. Andrade, Patrícia D. L. Machado
Towards a Technique to Detect Weaknesses in C Programs. SBES (2021)
Dalton N. Jorge, Patrícia D. L. Machado, Wilkerson de L. Andrade
Investigating Test Smells in JavaScript Test Code. SAST (2021)
Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado
Teaching Exploratory Tests through PBL and JiTT: an experience report in a context of distributed teams. SBES (2021)
Lucas Andrade, Patrícia D. L. Machado, Wilkerson de L. Andrade
Can operational profile coverage explain post-release bug detection? Softw. Test. Verification Reliab. 30 (4-5) (2020)
Ian Bayley, Yan Cai, Patrícia D. L. Machado
Special section on testing and repair for software engineering technologies and applications. Softw. Qual. J. 28 (2) (2020)
Diego Rodrigues de Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade
Context-Aware Android Applications Testing. SBES (2020)
Beatriz Souza, Patrícia D. L. Machado
A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation. SBES (2020)
Diego Rodrigues de Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade
ENVIAR: ENVIronment dAta simulatoR. SBES (2020)
Diego R. Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade
Testing tools for Android context-aware applications: a systematic mapping. J. Braz. Comput. Soc. 25 (1) (2019)
Wesley N. M. Torres, Everton L. G. Alves, Patrícia D. L. Machado
An Empirical Study on the Spreading of Fault Revealing Test Cases in Prioritized Suites. COMPSAC (1) (2019)
Jarbele C. S. Coutinho, Wilkerson de L. Andrade, Patrícia D. L. Machado
Requirements Engineering and Software Testing in Agile Methodologies: a Systematic Mapping. SBES (2019)
Indy P. S. C. Silva, Everton L. G. Alves, Patrícia D. L. Machado
Can automated test case generation cope with extract method validation? SBES (2018)
Dalton N. Jorge, Patrícia D. L. Machado, Everton L. G. Alves, Wilkerson de L. Andrade
Integrating Requirements Specification and Model-Based Testing in Agile Development. RE (2018)
João Felipe S. Ouriques, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado
Test case prioritization techniques for model-based testing: a replicated study. Softw. Qual. J. 26 (4) (2018)
Adriana Carla Damasceno, Patrícia D. L. Machado, Wilkerson de L. Andrade
Testing real-time systems from compositional symbolic specifications. Int. J. Softw. Tools Technol. Transf. 19 (1) (2017)
Hong Zhu, Junhua Ding, Patrícia D. L. Machado, Marc Roper
AST 2017 Workshop Summary. AST@ICSE (2017)
Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado
A family of test selection criteria for Timed Input-Output Symbolic Transition System models. Sci. Comput. Program. 126 (2016)
Francisco Gomes de Oliveira Neto, Richard Torkar, Patrícia D. L. Machado
Full modification coverage through automatic similarity-based test case selection. Inf. Softw. Technol. 80 (2016)
João Felipe S. Ouriques, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco Gomes de Oliveira Neto, Ana Emília Victor Barbosa Coutinho
On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques. SAST (2016)
Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Miryung Kim
Prioritizing test cases for early detection of refactoring faults. Softw. Test. Verification Reliab. 26 (5) (2016)
Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado
Automating test-based inspection of design models. Softw. Qual. J. 23 (1) (2015)
Francisco Gomes de Oliveira Neto, Richard Torkar, Patrícia D. L. Machado
An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques. ICSE (2) (2015)
Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho
Automatic generation of built-in contract test drivers. Softw. Syst. Model. 13 (3) (2014)
Diego R. Almeida, Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. SBMF (2014)
Francisco Gomes de Oliveira Neto, Robert Feldt, Richard Torkar, Patrícia D. L. Machado
Searching for models to evaluate software technology. CMSBSE@ICSE (2013)
Wilkerson de L. Andrade, Patrícia D. L. Machado
Generating Test Cases for Real-Time Systems Based on Symbolic Models. IEEE Trans. Software Eng. 39 (9) (2013)
Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Samuel T. C. Santos
A refactoring-based approach for test case selection and prioritization. AST (2013)
João Felipe S. Ouriques, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado
On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-Based Testing. SBES (2013)
Patrícia D. L. Machado
Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008). Sci. Comput. Program. 77 (4) (2012)
Wilkerson de L. Andrade, Patrícia D. L. Machado
Testing interruptions in reactive systems. Formal Aspects Comput. 24 (3) (2012)
Wilkerson de L. Andrade, Patrícia D. L. Machado, Thierry Jéron, Hervé Marchand
Abstracting Time and Data for Conformance Testing of Real-Time Systems. ICST Workshops (2011)
Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco G. Oliveira Neto
On the use of a similarity function for test case selection in the context of model-based testing. Softw. Test. Verification Reliab. 21 (2) (2011)
Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho
Guidelines for Platform Independent Modeling for Real Time Systems Using UML. SBCARS (2011)
Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho
Testing Architectures for Real Time Systems. SBCARS (2011)
Camila L. Maciel, Patrícia D. L. Machado, Franklin Ramalho
An integration testing approach based on test patterns and MDA techniques. SugarLoafPLoP (2010)
Wilkerson de L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. SBMF (2009)
Patrícia D. L. Machado
Preface. Electron. Notes Theor. Comput. Sci. 240 (2009)
Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado
Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos. SBCARS (2009)
Wilkerson de L. Andrade, Patrícia D. L. Machado
Interruption Testing of Reactive Systems. SBMF (2009)
Antonia Bertolino, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Eda Marchetti
Weighting Influence of User Behavior in Software Validation. DEXA Workshops (2008)
Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco G. Oliveira Neto, João Felipe S. Ouriques
Usando Funções de Similaridade para Redução de Conjuntos de Casos de Teste em Estratégias de Teste Baseado em Modelos. SBES (2008)
Emanuela Gadelha Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrícia D. L. Machado
LTS-BT: a tool to generate and select functional test cases for embedded systems. SAC (2008)
Helton S. Lima, Franklin Ramalho, Patrícia D. L. Machado, Everton L. Galdino
Automatic Generation of Platform Independent Built-in Contract Testers. SBCARS (2007)
Daniel L. Barbosa, Helton S. Lima, Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Makelli A. Jucá, Wilkerson de L. Andrade
Automating Functional Testing of Components from UML Specifications. Int. J. Softw. Eng. Knowl. Eng. 17 (3) (2007)
Patrícia D. L. Machado, Augusto Sampaio
Automatic Test-Case Generation. PSSE (2007)
Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Emerson F. A. Lima, Ana E. V. Barbosa, Helton S. Lima
Component-based integration testing from UML interaction diagrams. SMC (2007)
Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota
Towards Property Oriented Testing. Electron. Notes Theor. Comput. Sci. 184 (2007)
Patrícia D. L. Machado, Wilkerson de L. Andrade
The Oracle Problem for Testing against Quantified Properties. QSIC (2007)
Patrícia D. L. Machado, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado
Software Testing: An Overview. PSSE (2007)
Laisa H. O. do Nascimento, Patrícia D. L. Machado
An experimental evaluation of approaches to feature testing in the mobile phone applications domain. DOSTA (2007)
Emanuela Gadelha Cartaxo, Francisco G. Oliveira Neto, Patrícia D. L. Machado
Automated Test Case Selection Based on a Similarity Function. GI Jahrestagung (2) (2007)
Emanuela Gadelha Cartaxo, Francisco G. Oliveira Neto, Patrícia D. L. Machado
Test case generation by means of UML sequence diagrams and labeled transition systems. SMC (2007)
Alexandre Duarte, Walfredo Cirne, Francisco Vilar Brasileiro, Patrícia D. L. Machado
GridUnit: software testing on the grid. ICSE (2006)
André L. L. de Figueiredo, Wilkerson de L. Andrade, Patrícia D. L. Machado
Generating interaction test cases for mobile phone systems from use case specifications. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)
Daniel Aguiar da Silva, Patrícia D. L. Machado
Towards Test Purpose Generation from CTL Properties for Reactive Systems. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)
Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues
Testing from Structured Algebraic Specifications: The Veritas Case Study. Electron. Notes Theor. Comput. Sci. 130 (2005)
Ana Cavalcanti, Patrícia D. L. Machado
Preface. Electron. Notes Theor. Comput. Sci. 95 (2004)
Emerson F. A. Lima, Patrícia D. L. Machado, Fláavio R. Sampaio, Jorge C. A. de Figueiredo
An approach to modelling and applying mobile agent design patterns. ACM SIGSOFT Softw. Eng. Notes 29 (3) (2004)
André Figueiredo, Antônio Almeida, Patrícia D. L. Machado
Identifying and Documenting Test Patterns from Mobile Agent Design Patterns. MATA (2004)
Carina M. Farias, Patrícia D. L. Machado
Um Método de Teste Funcional para Verificação de Componentes. SBES (2003)
Patrícia D. L. Machado, Donald Sannella
Unit Testing for CASL Architectural Specifications. MFCS (2002)
Patrícia D. L. Machado
Testing from Structured Algebraic Specifications. AMAST (2000)
Patrícia D. L. Machado
Formal testing from structured algebraic specifications: normalisationand the oracle problem. RITA 7 (1) (2000)
Patrícia D. L. Machado
The Rôle of Normalisation in Testing from Structured Algebraic Specifications. WADT (1999)
Patrícia D. L. Machado
On Oracles for Interpreting Test Results against Algebraic Specifications. AMAST (1998)
Patrícia D. L. Machado, Silvio Romero de Lemos Meira
On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks. ZUM (1995)

Patrícia D. L. Machado.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrícia D. L. Machado