@misc{indiciae420d8a3bc71b,
  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},
  url = {https://arxiv.org/abs/2604.06559},
  note = {Source identifier: 2604.06559}
}