Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarPatrí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
- 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) - 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
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-08-16 22:26 CEST by the dblp team