Quantifying the Risk of Out-of-Gas Conditions in Ethereum Smart Contracts. - Maryam Massoud Ahmed; Michael Lim; Xiaorui Liu; Shen-Shyang Ho; Nikolay Ivanov (ICAIC, 2025)