ExplainFuzz generates coherent, constraint-satisfying test inputs via grammar-compiled probabilistic circuits, raising bug-trigger rates from 35% to 63% in SQL and 10% to 100% in XML over mutational fuzzing.
In: Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Fuzz testing with the AValAnCHE prototype can uncover robustness issues in deductive verifiers such as VerCors and works across other similar tools.
citing papers explorer
-
ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits
ExplainFuzz generates coherent, constraint-satisfying test inputs via grammar-compiled probabilistic circuits, raising bug-trigger rates from 35% to 63% in SQL and 10% to 100% in XML over mutational fuzzing.
-
Crash-free Deductive Verifiers
Fuzz testing with the AValAnCHE prototype can uncover robustness issues in deductive verifiers such as VerCors and works across other similar tools.