Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Generating Conforming Programs with Xsmith

ACM SIGPLAN via YouTube

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

Reviews

Start your review of Generating Conforming Programs with Xsmith

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.