Firefly: Shedding Light on Verification Gaps using LLM-Powered Mutation Testing. - Bekzat Skakov; Sanzhar Abduraimov; Olzhas Nurman; Nursultan Kabylkas (MLCAD, 2025)