 | 2012 |
| 8 |  | Wilkerson de L. Andrade,
Patrícia D. L. Machado:
Testing interruptions in reactive systems.
Formal Asp. Comput. 24(3): 331-353 (2012) |
| 2009 |
| 7 |  | Wilkerson de L. Andrade,
Patrícia D. L. Machado:
Interruption Testing of Reactive Systems.
SBMF 2009: 37-53 |
| 6 |  | 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 |
| 5 |  | 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 |
| 4 |  | Patrícia D. L. Machado,
Wilkerson de L. Andrade:
The Oracle Problem for Testing against Quantified Properties.
QSIC 2007: 415-418 |
| 3 |  | 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 |
| 2 |  | 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 |
| 1 |  | Damiao Ribeiro de Almeida,
Cláudio de Souza Baptista,
Elvis Rodrigues da Silva,
Cláudio E. C. Campelo,
Camilo Porto Nunes,
Bruno A. D. da Costa,
Wilkerson de L. Andrade,
Jairson M. Cabral:
Using Service-Oriented Architecture in Context-Aware Applications.
GeoInfo 2005: 15-29 |