Hyegeun Song Jiseong Han Sunbeom So SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning. 1011-1034 2026 3 Proc. ACM Softw. Eng. FSE https://doi.org/10.1145/3797074 db/journals/pacmse/pacmse3.html#SongHS26