| 2008 |
|---|
| 20 | EE | 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 | EE | 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 | EE | 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 | EE | Patrícia D. L. Machado,
Wilkerson de L. Andrade:
The Oracle Problem for Testing against Quantified Properties.
QSIC 2007: 415-418 |
| 15 | EE | 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 | EE | 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 | EE | Patrícia D. L. Machado,
Daniel A. Silva,
Alexandre Mota:
Towards Property Oriented Testing.
Electr. Notes Theor. Comput. Sci. 184: 3-19 (2007) |
| 12 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Ana Cavalcanti,
Patrícia D. L. Machado:
Preface.
Electr. Notes Theor. Comput. Sci. 95: 1-2 (2004) |
| 2002 |
|---|
| 6 | EE | Patrícia D. L. Machado,
Donald Sannella:
Unit Testing for C88 ASL Architectural Specifications.
MFCS 2002: 506-518 |
| 2000 |
|---|
| 5 | EE | 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 | EE | 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 |
