Generating Conforming Programs with Xsmith
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a 30-minute conference talk from GPCE 2023 that introduces Xsmith, a Racket library and domain-specific language designed to simplify the creation of fuzz testers for differential testing of programming languages. Learn how Xsmith enables developers to implement effective fuzzers in just a few hundred lines of code, significantly reducing the time and effort required compared to traditional methods. Discover how this tool has been successfully used to find bugs in implementations of Racket, Dafny, Standard ML, and WebAssembly. Gain insights into the challenges of generating conforming programs for fuzz testing and how Xsmith addresses these issues through shared infrastructure, declarative language specification, and procedural extensions.
Syllabus
[GPCE23] Generating Conforming Programs With Xsmith
Taught by
ACM SIGPLAN
Related Courses
Teaching Logic and Set Theory with DafnyACM SIGPLAN via YouTube CLOVER: Closed-Loop Verifiable Code Generation - Dafny'24
ACM SIGPLAN via YouTube Verifying a Concurrent File System with Sequential Reasoning
ACM SIGPLAN via YouTube Domesticating Automation for Large-Scale Verification Systems - Dafny'24
ACM SIGPLAN via YouTube Verifying Dafny Contract Integrity - Detecting Common Pitfalls
ACM SIGPLAN via YouTube