TY  - RPRT
TI  - ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits
AU  - Annaëlle Baiget
AU  - Jaron Maene
AU  - Seongmin Lee
AU  - Benjie Wang
AU  - Guy Van den Broeck
AU  - Miryung Kim
PY  - 2026
UR  - https://arxiv.org/abs/2604.06559
ID  - 2604.06559
ER  -