Salvi, G., Braga, A., Dal Bianco, G., & Feitosa, S. (2026). SolForge: A Large Language Model-Based Approach for the Differential Testing of Solidity Compilers. In Anais do XXX Simpósio Brasileiro de Linguagens de Programação, (pp. 133-140). Porto Alegre: SBC. doi:10.5753/sblp.2026.29638