 | 2008 |
| 4 |  | 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 |
| 3 |  | 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 |
| 2 |  | 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 |
| 1 |  | 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 |