YoVDO

Generating Conforming Programs with Xsmith

Offered By: ACM SIGPLAN via YouTube

Tags

Fuzzing Courses WebAssembly Courses Dafny Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Dafny
ACM 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