default search action
Patrícia Duarte de Lima Machado
Patrícia D. L. Machado
Person information
- affiliation: Federal University of Campina Grande, Campina Grande, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j24]Jarbele C. S. Coutinho
, Wilkerson de L. Andrade
Insights from the application of Exploratory Tests in the daily life of distributed teams: an experience report. J. Softw. Eng. Res. Dev. 11: 6:1-6:19 (2023) - [c54]Jarbele C. S. Coutinho
Implementing Exploratory Testing in an Agile Context: A Study Based on Design Science Research. SAST 2023: 67-76 - 2022
- [c53]Jarbele C. S. Coutinho
A Survey of Requirements Engineering and Software Testing Practices in Agile Teams. SAST 2022: 9-18 - [c52]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: 178-187 - 2021
- [c51]Dalton N. Jorge, Patrícia D. L. Machado, Wilkerson de L. Andrade:
Investigating Test Smells in JavaScript Test Code. SAST 2021: 36-45 - [c50]Raphael Muniz, Wilkerson de L. Andrade, Patrícia D. L. Machado:
Towards a Technique to Detect Weaknesses in C Programs. SBES 2021: 39-48 - [c49]Jarbele C. S. Coutinho
Teaching Exploratory Tests through PBL and JiTT: an experience report in a context of distributed teams. SBES 2021: 205-214 - 2020
- [j23]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): 821-822 (2020) - [j22]Lucas Andrade, Patrícia D. L. Machado
Can operational profile coverage explain post-release bug detection? Softw. Test. Verification Reliab. 30(4-5) (2020) - [c48]Beatriz Souza, Patrícia D. L. Machado:
A Large Scale Study On the Effectiveness of Manual and Automatic Unit Test Generation. SBES 2020: 253-262 - [c47]Diego Rodrigues de Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade:
Context-Aware Android Applications Testing. SBES 2020: 283-292 - [c46]Diego Rodrigues de Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade:
ENVIAR: ENVIronment dAta simulatoR. SBES 2020: 532-537
2010 – 2019
- 2019
- [j21]Diego R. Almeida
Testing tools for Android context-aware applications: a systematic mapping. J. Braz. Comput. Soc. 25(1): 12:1-12:22 (2019) - [c45]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: 129-138 - [c44]Jarbele C. S. Coutinho
Requirements Engineering and Software Testing in Agile Methodologies: a Systematic Mapping. SBES 2019: 322-331 - 2018
- [j20]João Felipe S. Ouriques
Test case prioritization techniques for model-based testing: a replicated study. Softw. Qual. J. 26(4): 1451-1482 (2018) - [j19]Everton L. G. Alves
Refactoring Inspection Support for Manual Refactoring Edits. IEEE Trans. Software Eng. 44(4): 365-383 (2018) - [c43]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: 336-346 - [c42]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: 152-161 - 2017
- [j18]Everton L. G. Alves, Tiago Massoni
Test coverage of impacted code elements for detecting refactoring faults: An exploratory study. J. Syst. Softw. 123: 223-238 (2017) - [j17]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): 53-71 (2017) - [c41]Hong Zhu, Junhua Ding, Patrícia D. L. Machado
AST 2017 Workshop Summary. AST@ICSE 2017: 1 - [i2]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 abs/1708.03236 (2017) - [i1]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 abs/1708.03240 (2017) - 2016
- [j16]Francisco Gomes de Oliveira Neto
Full modification coverage through automatic similarity-based test case selection. Inf. Softw. Technol. 80: 124-137 (2016) - [j15]Alan Moraes, Wilkerson de L. Andrade
A family of test selection criteria for Timed Input-Output Symbolic Transition System models. Sci. Comput. Program. 126: 52-72 (2016) - [j14]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): 407-445 (2016) - [j13]Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni
Prioritizing test cases for early detection of refactoring faults. Softw. Test. Verification Reliab. 26(5): 402-426 (2016) - [c40]João Felipe S. Ouriques, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Francisco Gomes de Oliveira Neto
On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques. SAST 2016: 7:1-7:10 - 2015
- [j12]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: 1 (2015) - [j11]Anne Caroline O. Rocha, Franklin Ramalho, Patrícia D. L. Machado:
Automating test-based inspection of design models. Softw. Qual. J. 23(1): 3-28 (2015) - [c39]Francisco Gomes de Oliveira Neto
An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques. ICSE (2) 2015: 575-578 - [c38]Adriana Carla Damasceno, Patrícia Duarte de Lima Machado, Wilkerson de Lucena Andrade
Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions. ISORC 2015: 228-235 - [c37]Everton L. G. Alves, Tiago Massoni
Test coverage and impact analysis for detecting refactoring faults: a study on the extract method refactoring. SAC 2015: 1534-1540 - 2014
- [j10]Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho:
Automatic generation of built-in contract test drivers. Softw. Syst. Model. 13(3): 1141-1165 (2014) - [c36]Diego R. Almeida, Alan Moraes, Wilkerson de L. Andrade
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. SBMF 2014: 48-63 - 2013
- [j9]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): 139-154 (2013) - [j8]Wilkerson de L. Andrade
Generating Test Cases for Real-Time Systems Based on Symbolic Models. IEEE Trans. Software Eng. 39(9): 1216-1229 (2013) - [c35]Francisco Gomes de Oliveira Neto
Searching for models to evaluate software technology. CMSBSE@ICSE 2013: 12-15 - [c34]Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni
A refactoring-based approach for test case selection and prioritization. AST 2013: 93-99 - [c33]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: 119-128 - 2012
- [j7]Wilkerson de L. Andrade
Testing interruptions in reactive systems. Formal Aspects Comput. 24(3): 331-353 (2012) - [j6]Patrícia D. L. Machado:
Preface: Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2008). Sci. Comput. Program. 77(4): 423 (2012) - 2011
- [j5]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): 75-100 (2011) - [c32]Wilkerson de L. Andrade
Abstracting Time and Data for Conformance Testing of Real-Time Systems. ICST Workshops 2011: 9-17 - [c31]Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho:
Guidelines for Platform Independent Modeling for Real Time Systems Using UML. SBCARS 2011: 110-119 - [c30]Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho:
Testing Architectures for Real Time Systems. SBCARS 2011: 120-129 - 2010
- [c29]Camila L. Maciel, Patrícia D. L. Machado, Franklin Ramalho:
An integration testing approach based on test patterns and MDA techniques. SugarLoafPLoP 2010: 14:1-14:16
2000 – 2009
- 2009
- [c28]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: 181-194 - [c27]Wilkerson de L. Andrade
Interruption Testing of Reactive Systems. SBMF 2009: 37-53 - [c26]Wilkerson de L. Andrade
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. SBMF 2009: 54-69 - [e2]Patrícia D. L. Machado:
Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008. Electronic Notes in Theoretical Computer Science 240, Elsevier 2009 [contents] - 2008
- [c25]Antonia Bertolino
Weighting Influence of User Behavior in Software Validation. DEXA Workshops 2008: 495-500 - [c24]Emanuela Gadelha Cartaxo, Wilkerson de L. Andrade
LTS-BT: a tool to generate and select functional test cases for embedded systems. SAC 2008: 1540-1544 - [c23]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: 1-16 - [c22]Patrícia D. L. Machado:
Preface. SBMF 2008: 1-3 - 2007
- [j4]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): 339-358 (2007) - [c21]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: 399-404 - [c20]Patrícia D. L. Machado
Software Testing: An Overview. PSSE 2007: 1-17 - [c19]Patrícia D. L. Machado
Automatic Test-Case Generation. PSSE 2007: 59-103 - [c18]Patrícia D. L. Machado, Wilkerson de L. Andrade:
The Oracle Problem for Testing against Quantified Properties. QSIC 2007: 415-418 - [c17]Helton S. Lima, Franklin Ramalho, Patrícia D. L. Machado, Everton L. Galdino:
Automatic Generation of Platform Independent Built-in Contract Testers. SBCARS 2007: 47-60 - [c16]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: 27-33 - [c15]Emanuela Gadelha Cartaxo, Francisco G. Oliveira Neto
Test case generation by means of UML sequence diagrams and labeled transition systems. SMC 2007: 1292-1297 - [c14]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: 2679-2686 - 2006
- [j3]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): 1-10 (2006) - [c13]Alexandre Duarte, Walfredo Cirne, Francisco Vilar Brasileiro, Patrícia D. L. Machado:
GridUnit: software testing on the grid. ICSE 2006: 779-782 - [c12]Daniel Aguiar da Silva, Patrícia D. L. Machado:
Towards Test Purpose Generation from CTL Properties for Reactive Systems. MBT 2006: 29-40 - 2005
- [c11]Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota:
Towards Property Oriented Testing. SBMF 2005: 3-19 - 2004
- [j2]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): 1-8 (2004) - [c10]André Figueiredo, Antônio Almeida, Patrícia D. L. Machado:
Identifying and Documenting Test Patterns from Mobile Agent Design Patterns. MATA 2004: 359-368 - [c9]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. SBMF 2004: 235-261 - [e1]Ana Cavalcanti, Patrícia D. L. Machado:
Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003. Electronic Notes in Theoretical Computer Science 95, Elsevier 2004 [contents] - 2003
- [c8]Carina M. Farias, Patrícia D. L. Machado:
Um Método de Teste Funcional para Verificação de Componentes. SBES 2003: 189-204 - [c7]Ana Cavalcanti, Patrícia D. L. Machado:
Preface. WMF 2003: 1-2 - 2002
- [c6]Patrícia D. L. Machado, Donald Sannella
Unit Testing for CASL Architectural Specifications. MFCS 2002: 506-518 - 2000
- [b1]Patrícia D. L. Machado:
Testing from structured algebraic specifications : the oracle problem. University of Edinburgh, UK, 2000 - [j1]Patrícia D. L. Machado:
Formal testing from structured algebraic specifications: normalisationand the oracle problem. RITA 7(1): 89-108 (2000) - [c5]Patrícia D. L. Machado:
Testing from Structured Algebraic Specifications. AMAST 2000: 529-544
1990 – 1999
- 1999
- [c4]Patrícia D. L. Machado:
The Rôle of Normalisation in Testing from Structured Algebraic Specifications. WADT 1999: 459-476 - 1998
- [c3]Patrícia D. L. Machado:
On Oracles for Interpreting Test Results against Algebraic Specifications. AMAST 1998: 502-518 - 1995
- [c2]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: 63-82 - 1994
- [c1]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: 159-173
Coauthor Index
Wilkerson de L. Andrade
aka: Wilkerson de Lucena Andrade
aka: Wilkerson de Lucena Andrade
Francisco Gomes de Oliveira Neto
aka: Francisco G. Oliveira Neto
aka: Francisco G. Oliveira Neto
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: