dblp.uni-trier.dewww.uni-trier.de

Patrícia D. L. Machado

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
20EEAntonia Bertolino, Emanuela G. Cartaxo, Patrícia D. L. Machado, Eda Marchetti: Weighting Influence of User Behavior in Software Validation. DEXA Workshops 2008: 495-500
19EEEmanuela 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
18EELaisa 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
17 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
16EEPatrícia D. L. Machado, Wilkerson de L. Andrade: The Oracle Problem for Testing against Quantified Properties. QSIC 2007: 415-418
15EEEmanuela 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
14EEPatrí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
13EEPatrícia D. L. Machado, Daniel A. Silva, Alexandre Mota: Towards Property Oriented Testing. Electr. Notes Theor. Comput. Sci. 184: 3-19 (2007)
12EEDaniel 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)
2006
11EEAndré 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)
10EEDaniel 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)
2005
9EEPatrí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
8EEEmerson 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)
7EEAna Cavalcanti, Patrícia D. L. Machado: Preface. Electr. Notes Theor. Comput. Sci. 95: 1-2 (2004)
2002
6EEPatrícia D. L. Machado, Donald Sannella: Unit Testing for C88 ASL Architectural Specifications. MFCS 2002: 506-518
2000
5EEPatrícia D. L. Machado: Testing from Structured Algebraic Specifications. AMAST 2000: 529-544
4 Patrícia D. L. Machado: Formal testing from structured algebraic specifications: normalisationand the oracle problem. RITA 7(1): 89-108 (2000)
1999
3 Patrícia D. L. Machado: The Rôle of Normalisation in Testing from Structured Algebraic Specifications. WADT 1999: 459-476
1998
2EEPatrícia D. L. Machado: On Oracles for Interpreting Test Results against Algebraic Specifications. AMAST 1998: 502-518
1995
1 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

1Wilkerson de L. Andrade [11] [12] [16] [19]
2Ana E. V. Barbosa [14]
3Daniel L. Barbosa [12]
4Paulo E. S. Barbosa [9]
5Antonia Bertolino [20]
6Emanuela G. Cartaxo [15] [17] [19] [20]
7Ana Cavalcanti [7]
8André L. L. de Figueiredo [11]
9Jorge C. A. de Figueiredo (Jorge Cesar Abrantes de Figueiredo) [8] [12] [14]
10Makelli A. Jucá [12]
11Emerson F. A. Lima [8] [14]
12Helton S. Lima [12] [14]
13Eda Marchetti [20]
14Silvio Romero de Lemos Meira (Silvio R. L. Meira) [1]
15Alexandre Mota (Alexandre Cabral Mota) [13]
16Laisa H. O. do Nascimento [18]
17Francisco G. Oliveira Neto [15] [17] [19]
18Elthon A. S. Oliveira [9]
19Cássio L. Rodrigues [9]
20Fláavio R. Sampaio [8]
21Donald Sannella [6]
22Daniel A. Silva [13]
23Daniel Aguiar da Silva [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)