Files
papers/lux-fuzz-testing-methodology/sections/06-shrinking-and-reproducibility.tex
zeekay abf99d05fc papers: reorganize into per-paper dirs, add Antje Worring as co-author
Restructured from flat .tex/.pdf files into per-paper subdirectories.
Added Antje Worring as co-author on all papers.
Synced PDFs to pdfs/ for download site.
2026-04-18 21:50:07 -07:00

26 lines
1010 B
TeX

\section{Shrinking and Reproducibility}
When a fuzzer finds a failing input, it is typically large and random. \emph{Shrinking}
reduces the input to the smallest value that still triggers the failure.
Go's fuzzer performs automatic shrinking: it binary-searches the input space for simpler
inputs that still fail. Foundry does the same. The result is a minimal reproducer that
is easy to understand and debug.
All failing inputs are saved to the corpus directory. Running the test suite without the
\texttt{-fuzz} flag replays all corpus entries, ensuring that regressions are caught
immediately.
\begin{lstlisting}[language=bash,caption={Corpus directory structure}]
testdata/fuzz/FuzzNTTRoundTrip/
corpus/
seed_0 # Initial seed
seed_1 # Another seed
abc123def456... # Auto-generated corpus entry
failing/
xyz789... # Minimized failing input
\end{lstlisting}
%% ============================================================