Patrícia D. L. Machado

	2011
24		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)
	2009
23		Wilkerson de L. Andrade, Patrícia D. L. Machado: Interruption Testing of Reactive Systems. SBMF 2009: 37-53
22		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
21		Patrícia D. L. Machado: Preface. Electr. Notes Theor. Comput. Sci. 240: 1-3 (2009)
	2008
20		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
19		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
18		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
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
16		Patrícia D. L. Machado, Wilkerson de L. Andrade: The Oracle Problem for Testing against Quantified Properties. QSIC 2007: 415-418
15		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
14		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
13		Patrícia D. L. Machado, Daniel A. Silva, Alexandre Mota: Towards Property Oriented Testing. Electr. Notes Theor. Comput. Sci. 184: 3-19 (2007)
12		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)
	2006
11		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)
10		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)
	2005
9		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
8		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)
7		Ana Cavalcanti, Patrícia D. L. Machado: Preface. Electr. Notes Theor. Comput. Sci. 95: 1-2 (2004)
	2002
6		Patrícia D. L. Machado, Donald Sannella: Unit Testing for C88 ASL Architectural Specifications. MFCS 2002: 506-518
	2000
5		Patrí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
2		Patrí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

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

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page