![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Patrícia Duarte de Lima Machado
Person information
- affiliation: Federal University of Campina Grande, Campina Grande, Brazil
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j24]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: 6:1-6:19 (2023) - [c54]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: 67-76 - 2022
- [c53]Jarbele C. S. Coutinho, Wilkerson de Lucena Andrade, Patrícia D. L. Machado:
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, 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: 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
, Wilkerson de L. Andrade:
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
, 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): 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, Wilkerson de L. Andrade
, Patrícia D. L. Machado:
Requirements Engineering and Software Testing in Agile Methodologies: a Systematic Mapping. SBES 2019: 322-331 - 2018
- [j20]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): 1451-1482 (2018) - [j19]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): 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, Patrícia Duarte de Lima Machado:
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
, Marc Roper:
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
, Richard Torkar, Patrícia D. L. Machado:
Full modification coverage through automatic similarity-based test case selection. Inf. Softw. Technol. 80: 124-137 (2016) - [j15]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: 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, Miryung Kim:
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
, Ana Emília Victor Barbosa Coutinho:
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
, Richard Torkar, Patrícia D. L. Machado:
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
, Wesley Nunes Marques Torres:
Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions. ISORC 2015: 228-235 - [c37]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: 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
, Patrícia D. L. Machado:
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
, Patrícia D. L. Machado:
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
, Robert Feldt, Richard Torkar, Patrícia D. L. Machado:
Searching for models to evaluate software technology. CMSBSE@ICSE 2013: 12-15 - [c34]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: 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
, Patrícia D. L. Machado:
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
, Patrícia D. L. Machado, Thierry Jéron
, Hervé Marchand:
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
, Patrícia D. L. Machado:
Interruption Testing of Reactive Systems. SBMF 2009: 37-53 - [c26]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: 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
, Emanuela Gadelha Cartaxo, Patrícia D. L. Machado, Eda Marchetti
:
Weighting Influence of User Behavior in Software Validation. DEXA Workshops 2008: 495-500 - [c24]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: 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
, Auri Marcelo Rizzo Vincenzi
, José Carlos Maldonado:
Software Testing: An Overview. PSSE 2007: 1-17 - [c19]Patrícia D. L. Machado
, Augusto Sampaio:
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
, Patrícia D. L. Machado:
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
aka: Wilkerson de Lucena Andrade
aka: Francisco G. Oliveira Neto
![](https://dblp.org/img/cog.dark.24x24.png)
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 2024-06-13 20:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint