SmartGraphical: A Human-in-the-Loop Framework for Detecting Smart Contract Logical Vulnerabilities via Pattern-Driven Static Analysis and Visual Abstraction. - Ali Fattahdizaji; Mohammad Pishdar; Zarina Shukur (CoRR, 2026)