Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Patrícia Duarte de Lima Machado

Patrícia D. L. Machado

> Home > Persons

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

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2000
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Machado00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Machado00
Patrícia D. L. Machado:
Testing from structured algebraic specifications : the oracle problem. University of Edinburgh, UK, 2000

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jserd/CoutinhoAM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jserd/CoutinhoAM23
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)
2020
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/BayleyCM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/BayleyCM20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/AndradeMA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/AndradeMA20
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)
2019
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jbcs/AlmeidaMA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbcs/AlmeidaMA19
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)
2018
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/OuriquesCM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/OuriquesCM18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AlvesSMMK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AlvesSMMK18
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)
2017
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/AlvesMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/AlvesMM17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DamascenoMA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DamascenoMA17
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)
2016
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/NetoTM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/NetoTM16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MoraesAM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MoraesAM16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/CoutinhoCM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/CoutinhoCM16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/AlvesMMK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/AlvesMMK16
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)
2015
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jserd/OuriquesCM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jserd/OuriquesCM15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/RochaRM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/RochaRM15
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)
2014
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AlvesMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AlvesMR14
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)
2013
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/rita/NetoM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rita/NetoM13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AndradeM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AndradeM13
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)
2012
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/AndradeM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/AndradeM12
Wilkerson de L. Andrade, Patrícia D. L. Machado:
Testing interruptions in reactive systems. Formal Aspects Comput. 24(3): 331-353 (2012)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Machado12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Machado12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/CartaxoMN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/CartaxoMN11
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)
2007
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/BarbosaLMFJA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/BarbosaLMFJA07
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)
2006
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/FigueiredoAM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/FigueiredoAM06
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)
2004
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/LimaMSF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/LimaMSF04
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)
2000
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/rita/Machado00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rita/Machado00
Patrícia D. L. Machado:
Formal testing from structured algebraic specifications: normalisationand the oracle problem. RITA 7(1): 89-108 (2000)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sast/CoutinhoAM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sast/CoutinhoAM23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sast/CoutinhoAM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sast/CoutinhoAM22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/TorresAM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/TorresAM22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sast/JorgeMA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sast/JorgeMA21
Dalton N. Jorge, Patrícia D. L. Machado, Wilkerson de L. Andrade:
Investigating Test Smells in JavaScript Test Code. SAST 2021: 36-45
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/MunizAM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/MunizAM21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/CoutinhoAM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/CoutinhoAM21
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
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/SouzaM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/SouzaM20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/AlmeidaMA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/AlmeidaMA20
Diego Rodrigues de Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade:
Context-Aware Android Applications Testing. SBES 2020: 283-292
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/AlmeidaMA20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/AlmeidaMA20a
Diego Rodrigues de Almeida, Patrícia D. L. Machado, Wilkerson de L. Andrade:
ENVIAR: ENVIronment dAta simulatoR. SBES 2020: 532-537
2019
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/TorresAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/TorresAM19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/CoutinhoAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/CoutinhoAM19
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
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/re/JorgeMAA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/JorgeMAA18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/SilvaAM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/SilvaAM18
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
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhuDMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhuDMR17
Hong Zhu, Junhua Ding, Patrícia D. L. Machado, Marc Roper:
AST 2017 Workshop Summary. AST@ICSE 2017: 1
2016
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sast/OuriquesCMNC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sast/OuriquesCMNC16
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
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NetoTM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NetoTM15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/DamascenoMAT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/DamascenoMAT15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AlvesMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AlvesMM15
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
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AlmeidaMAM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AlmeidaMAM14
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
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NetoFTM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NetoFTM13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AlvesMMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AlvesMMS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbes/OuriquesCM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/OuriquesCM13
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
2011
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AndradeMJM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AndradeMJM11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcars/AlvesMR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcars/AlvesMR11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcars/AlvesMR11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcars/AlvesMR11a
Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho:
Testing Architectures for Real Time Systems. SBCARS 2011: 120-129
2010
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sugarloafplop/MacielMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sugarloafplop/MacielMR10
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
2009
[c28]
- view
  - electronic edition @ ufmg.br (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/sbcars/RochaRM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcars/RochaRM09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AndradeM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AndradeM09
Wilkerson de L. Andrade, Patrícia D. L. Machado:
Interruption Testing of Reactive Systems. SBMF 2009: 37-53
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AndradeMAA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AndradeMAA09
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
2008
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/BertolinoCMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/BertolinoCMM08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CartaxoANM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CartaxoANM08
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/CartaxoMNO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/CartaxoMNO08
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Machado09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Machado09
Patrícia D. L. Machado:
Preface. SBMF 2008: 1-3
2007
[c21]
- view
- export record
  dblp key:
  - conf/gi/CartaxoNM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/CartaxoNM07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/psse/MachadoVM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/MachadoVM07
Patrícia D. L. Machado, Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado:
Software Testing: An Overview. PSSE 2007: 1-17
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/psse/MachadoS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/MachadoS07
Patrícia D. L. Machado, Augusto Sampaio:
Automatic Test-Case Generation. PSSE 2007: 59-103
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/MachadoA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/MachadoA07
Patrícia D. L. Machado, Wilkerson de L. Andrade:
The Oracle Problem for Testing against Quantified Properties. QSIC 2007: 415-418
[c17]
- view
  - electronic edition @ ufmg.br (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/sbcars/LimaRMG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcars/LimaRMG07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/NascimentoM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/NascimentoM07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/CartaxoNM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/CartaxoNM07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/MachadoFLBL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/MachadoFLBL07
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
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DuarteCBM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DuarteCBM06
Alexandre Duarte, Walfredo Cirne, Francisco Vilar Brasileiro, Patrícia D. L. Machado:
GridUnit: software testing on the grid. ICSE 2006: 779-782
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SilvaM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SilvaM06
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MachadoSM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MachadoSM07
Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota:
Towards Property Oriented Testing. SBMF 2005: 3-19
2004
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/mata/FigueiredoAM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mata/FigueiredoAM04
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MachadoOBR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MachadoOBR05
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
2003
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/FariasM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/FariasM03
Carina M. Farias, Patrícia D. L. Machado:
Um Método de Teste Funcional para Verificação de Componentes. SBES 2003: 189-204
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CavalcantiM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CavalcantiM04
Ana Cavalcanti, Patrícia D. L. Machado:
Preface. WMF 2003: 1-2
2002
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/MachadoS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/MachadoS02
Patrícia D. L. Machado, Donald Sannella:
Unit Testing for CASL Architectural Specifications. MFCS 2002: 506-518
2000
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Machado00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Machado00
Patrícia D. L. Machado:
Testing from Structured Algebraic Specifications. AMAST 2000: 529-544
1999
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/Machado99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/Machado99
Patrícia D. L. Machado:
The Rôle of Normalisation in Testing from Structured Algebraic Specifications. WADT 1999: 459-476
1998
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/Machado98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Machado98
Patrícia D. L. Machado:
On Oracles for Interpreting Test Results against Algebraic Specifications. AMAST 1998: 502-518
1995
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/MachadoM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/MachadoM95
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/MachadoMFG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/MachadoMFG94
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

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2009
[e2]
- view
- export record
  dblp key:
  - conf/sbmf/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2008
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]
2004
[e1]
- view
- export record
  dblp key:
  - conf/sbmf/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2003
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-03236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-03236
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-03240
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-03240
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)

Coauthor Index

see FAQ

a service of

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.