Publications PublicationsIConFuzz: Constraint-Aware Argument Mutation for Effective Smart Contract Fuzz TestingHojin Choi, Jaeseung ChoiUnder Review, 2025Smart Contract Testing via Constraint-Aware FuzzingHojin Choi, Jaeseung ChoiKSC 2024 (Korea Software Congress), 2024