@article{explainfuzzexplainableandconstraintcondi,
  title = {ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits},
  author = {Annaëlle Baiget and Jaron Maene and Seongmin Lee and Benjie Wang and Guy Van den Broeck and Miryung Kim},
  year = {2026},
  eprint = {2604.06559},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2604.06559},
}