Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Patrícia D. L. Machado
2010 – today
- 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 G. 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)
- [c19]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
- [c18]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
- [c17]Everton L. G. Alves, Patrícia D. L. Machado, Franklin Ramalho: Testing Architectures for Real Time Systems. SBCARS 2011: 120-129
2000 – 2009
- 2009
- [j9]
- [c16]Anne C. 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 G. Cartaxo, Patrícia D. L. Machado, Eda Marchetti: Weighting Influence of User Behavior in Software Validation. DEXA Workshops 2008: 495-500
- [c12]Emanuela G. 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 G. 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 G. 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 C88 ASL Architectural Specifications. MFCS 2002: 506-518
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-08 22:06 CET by the dblp team