Salvi, G., Braga, A., Dal Bianco, G., & Feitosa, S. 2026 set 8. SolForge: A Large Language Model-Based Approach for the Differential Testing of Solidity Compilers. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :