ask others

Patrícia Duarte de Lima Machado

Patrícia D. L. Machado

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

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

2018
[j24]
- view
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/AlvesSMMK18
- ask others
- share record
  short 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
[j23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jss/AlvesMM17
- ask others
- share record
  short 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. Journal of Systems and Software 123: 223-238 (2017)
[j22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DamascenoMA17
- ask others
- share record
  short 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. STTT 19(1): 53-71 (2017)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1708-03236
- ask others
- share record
  short 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
- export record
  dblp key:
  - journals/corr/abs-1708-03240
- ask others
- share record
  short 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)
2016
[j21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/infsof/NetoTM16
- ask others
- share record
  short 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. Information & Software Technology 80: 124-137 (2016)
[j20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/MoraesAM16
- ask others
- share record
  short 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)
[j19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sqj/CoutinhoCM16
- ask others
- share record
  short 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. Software Quality Journal 24(2): 407-445 (2016)
[j18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/stvr/AlvesMMK16
- ask others
- share record
  short 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., Verif. Reliab. 26(5): 402-426 (2016)
2015
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jserd/OuriquesCM15
- ask others
- share record
  short 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. Software Eng. R&D 3: 1 (2015)
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sqj/RochaRM15
- ask others
- share record
  short 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. Software Quality Journal 23(1): 3-28 (2015)
[c27]
- view
- export record
  dblp key:
  - conf/icse/NetoTM15
- ask others
- share record
  short 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
[c26]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/isorc/DamascenoMAT15
- ask others
- share record
  short 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
[c25]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sac/AlvesMM15
- ask others
- share record
  short 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
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sosym/AlvesMR14
- ask others
- share record
  short 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. Software and System Modeling 13(3): 1141-1165 (2014)
[c24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/AlmeidaMAM14
- ask others
- share record
  short 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
[j14]
- view
  - electronic edition @ ufrgs.br
- export record
  dblp key:
  - journals/rita/NetoM13
- ask others
- share record
  short 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)
[j13]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - journals/tse/AndradeM13
- ask others
- share record
  short 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)
[c23]
- view
- export record
  dblp key:
  - conf/icse/NetoFTM13
- ask others
- share record
  short 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
[c22]
- view
- export record
  dblp key:
  - conf/icse/AlvesMMS13
- ask others
- share record
  short 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
[c21]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sbes/OuriquesCM13
- ask others
- share record
  short 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
2012
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/AndradeM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/AndradeM12
Wilkerson de L. Andrade, Patrícia D. L. Machado:
Testing interruptions in reactive systems. Formal Asp. Comput. 24(3): 331-353 (2012)
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/Machado12
- ask others
- share record
  short 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
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/stvr/CartaxoMN11
- ask others
- share record
  short 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., Verif. Reliab. 21(2): 75-100 (2011)
[c20]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/AndradeMJM11
- ask others
- share record
  short 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
[c19]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sbcars/AlvesMR11
- ask others
- share record
  short 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
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/sbcars/AlvesMR11a
- ask others
- share record
  short 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
[c17]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sugarloafplop/MacielMR10
- ask others
- share record
  short 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

2000 – 2009

see FAQ

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

2009
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Machado09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Machado09
Patrícia D. L. Machado:
Preface. Electr. Notes Theor. Comput. Sci. 240: 1-3 (2009)
[c16]
- view
  - electronic edition @ ufmg.br
- export record
  dblp key:
  - conf/sbcars/RochaRM09
- ask others
- share record
  short 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
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/AndradeM09
- ask others
- share record
  short 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
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sbmf/AndradeMAA09
- ask others
- share record
  short 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
[c13]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/dexaw/BertolinoCMM08
- ask others
- share record
  short 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
[c12]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sac/CartaxoANM08
- ask others
- share record
  short 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
2007
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MachadoSM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/MachadoSM07
Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota:
Towards Property Oriented Testing. Electr. Notes Theor. Comput. Sci. 184: 3-19 (2007)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijseke/BarbosaLMFJA07
- ask others
- share record
  short 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. International Journal of Software Engineering and Knowledge Engineering 17(3): 339-358 (2007)
[c11]
- view
  - electronic edition @ emis.de
- export record
  dblp key:
  - conf/gi/CartaxoNM07
- ask others
- share record
  short 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
[c10]
- view
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/qsic/MachadoA07
- ask others
- share record
  short 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
[c9]
- view
  - electronic edition @ ufmg.br
- export record
  dblp key:
  - conf/sbcars/LimaRMG07
- ask others
- share record
  short 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
[c8]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sigsoft/NascimentoM07
- ask others
- share record
  short 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
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/CartaxoNM07
- ask others
- share record
  short 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
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/smc/MachadoFLBL07
- ask others
- share record
  short 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
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/SilvaM06
- ask others
- share record
  short 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. Electr. Notes Theor. Comput. Sci. 164(4): 29-40 (2006)
[j5]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/sigsoft/FigueiredoAM06
- ask others
- share record
  short 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 Software Engineering Notes 31(6): 1-10 (2006)
2005
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MachadoOBR05
- ask others
- share record
  short 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. Electr. Notes Theor. Comput. Sci. 130: 235-261 (2005)
2004
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CavalcantiM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/CavalcantiM04
Ana Cavalcanti, Patrícia D. L. Machado:
Preface. Electr. Notes Theor. Comput. Sci. 95: 1-2 (2004)
[j2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - journals/sigsoft/LimaMSF04
- ask others
- share record
  short 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 Software Engineering Notes 29(3): 1-8 (2004)
2002
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/MachadoS02
- ask others
- share record
  short 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
[b1]
- view
  - electronic edition via handle.net
  - electronic edition @ bl.uk
- export record
  dblp key:
  - phd/ethos/Machado00
- ask others
- share record
  short 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
[j1]
- no documents available
- export record
  dblp key:
  - journals/rita/Machado00
- ask others
- share record
  short 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)
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Machado00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Machado00
Patrícia D. L. Machado:
Testing from Structured Algebraic Specifications. AMAST 2000: 529-544

1990 – 1999

see FAQ

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

1999
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wadt/Machado99
- ask others
- share record
  short 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
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Machado98
- ask others
- share record
  short 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
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/zum/MachadoM95
- ask others
- share record
  short 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

Coauthor Index

see FAQ

maintained by

at