Cleverton Hentz

According to our database, Cleverton Hentz authored at least 2 papers in 2015.

Collaborative distances:

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

2015

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study.

Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Ernesto Cid Brasil de Matos, João Batista de Souza Neto, Valério de Medeiros Jr.

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage.

Cleverton Hentz, Jurgen J. Vinju, Anamaria Martins Moreira

Proceedings of the Testing Software and Systems, 2015