# Generating Conforming Programs with Xsmith \[SPLASH'23\]

**URL:** <https://racket.discourse.group/t/generating-conforming-programs-with-xsmith-splash23/2415>\
**Category:** General\
**Tags:** xsmith\
**Created:** [October 23, 2023, 3:11pm UTC](https://racket.discourse.group/t/generating-conforming-programs-with-xsmith-splash23/2415 "2023-10-23T15:11:52Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![spdegabrielle](https://yyz2.discourse-cdn.com/free1/user_avatar/racket.discourse.group/spdegabrielle/32/95_2.png) [@spdegabrielle](https://racket.discourse.group/u/spdegabrielle)\
**Post date:** [October 23, 2023, 3:11pm UTC](https://racket.discourse.group/t/generating-conforming-programs-with-xsmith-splash23/2415/1 "2023-10-23T15:11:52Z")

</div>

# Generating Conforming Programs with Xsmith [SPLASH'23]

Talk at SPLASH'23: [https://www.youtube.com/watch?v=6zqOM4rez5M&t=10754s](https://www.youtube.com/watch?v=6zqOM4rez5M&t=10754s)

Paper: [https://willghatch.net/publications/xsmith-gpce-2023-preprint.pdf](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://docs.racket-lang.org/xsmith/index.html)  
[https://www.flux.utah.edu/project/xsmith](https://www.flux.utah.edu/project/xsmith)

(I'm not involved - I just think it is interesting work)

S.  
:beetle: