Diego R. Almeida

According to our database, Diego R. Almeida authored at least 3 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

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

2014

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

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2009

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

Proceedings of the Formal Methods: Foundations and Applications, 2009