ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits. - Annaëlle Baiget; Jaron Maene; Seongmin Lee 013; Benjie Wang 001; Guy Van den Broeck; Miryung Kim (CoRR, 2026)