PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In CodeItay DreyfussAntonio Abu Nassaret al.2026ICSE 2026Workshop paper