Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS. - Wilkerson de L. Andrade; Patrícia D. L. Machado; Everton L. G. Alves; Diego R. Almeida (SBMF, 2009)

Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time Systems. - Diego R. Almeida; Alan Moraes; Wilkerson de L. Andrade; Patrícia D. L. Machado (SBMF, 2014)

Testing tools for Android context-aware applications: a systematic mapping. - Diego R. Almeida; Patrícia D. L. Machado; Wilkerson de L. Andrade (J. Braz. Comput. Soc., 2019)