RQ1: Comparison with Baseline
RQ2: Ablation Study on Mutation Types
RQ3: Evaluation on Heuristic Selection Strategy
RQ4: User Study on Specification Quality