Lucas Santana

According to our database, Lucas Santana authored at least 2 papers between 2018 and 2025.

Collaborative distances:

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

2025

Executable Conformance Testing Theories: From Theory to Practice and Back.

Gustavo Carvalho, Lucas Santana, Fábio Sobral, Beatriz Souza

Proceedings of the Formal Methods: Foundations and Applications - 28th Brazilian Symposium, 2025

2018

Applying PBL in Teaching Programming: an Experience Report.

Simone C. dos Santos, Eden Santana, Lucas Santana, Pedro Rossi, Lucas Cardoso, Ullayne Fernandes, Cláudio Carvalho, Pedro Torres

Proceedings of the IEEE Frontiers in Education Conference, 2018