activity
20242026
most citedA Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata

1 citations · 1 across the 15 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits

Annaëlle Baiget, Jaron Maene, Seongmin Lee +3

Understanding and explaining the structure of generated test inputs is essential for effective software testing and debugging. Existing approaches--including grammar-based fuzzers,…