Patrícia Duarte de Lima Machado
Patrícia D. L. Machado
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
- [j24]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]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]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]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
- [j21]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]Wilkerson de L. Andrade, Patrícia D. L. Machado:
Testing interruptions in reactive systems. Formal Asp. Comput. 24(3): 331-353 (2012) - [j11]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]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]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]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]Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho:
Testing Architectures for Real Time Systems. SBCARS 2011: 120-129 - 2010
- [c17]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
- [j9]
- [c16]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]Wilkerson de L. Andrade, Patrícia D. L. Machado:
Interruption Testing of Reactive Systems. SBMF 2009: 37-53 - [c14]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]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]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]Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota:
Towards Property Oriented Testing. Electr. Notes Theor. Comput. Sci. 184: 3-19 (2007) - [j7]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]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]Patrícia D. L. Machado, Wilkerson de L. Andrade:
The Oracle Problem for Testing against Quantified Properties. QSIC 2007: 415-418 - [c9]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]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]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]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]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]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]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]
- [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 Software Engineering Notes 29(3): 1-8 (2004) - 2002
- [c5]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) - [c4]
1990 – 1999
- 1999
- [c3]Patrícia D. L. Machado:
The Rôle of Normalisation in Testing from Structured Algebraic Specifications. WADT 1999: 459-476 - 1998
- [c2]Patrícia D. L. Machado:
On Oracles for Interpreting Test Results against Algebraic Specifications. AMAST 1998: 502-518 - 1995
- [c1]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
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
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-22 22:08 CEST by the dblp team