Generating Conforming Programs with Xsmith [SPLASH’23]
Talk at SPLASH’23: https://www.youtube.com/watch?v=6zqOM4rez5M&t=10754s
Paper: https://willghatch.net/publications/xsmith-gpce-2023-preprint.pdf
from the abstract:
Xsmith is a Racket library and domain-specific language that provides mechanisms for implementing a fuzz tester in only a few hundred lines of code.
[…]
Xsmith allows developers to write correct fuzzers for differential testing with little effort. We have developed fuzzers for several languages, and found bugs in implementations of Racket, Dafny, Standard ML, and WebAssembly.
https://docs.racket-lang.org/xsmith/index.html
https://www.flux.utah.edu/project/xsmith