Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a 15-minute conference presentation introducing Bennet, a property-based testing tool that automatically generates random test inputs for C programs with complex memory management patterns. Learn how this innovative approach leverages CN specification framework's streamlined separation logic to synthesize generators that can efficiently create bug-revealing test cases for heap-manipulating programs. Discover the formalized semantics of the domain-specific language underlying Bennet's generators, including optimizations for value generation ordering and arithmetic constraint propagation. Examine evaluation results demonstrating Bennet's effectiveness in testing C functions annotated with CN specifications, addressing the significant challenge of manual generator creation that has limited property-based testing adoption in low-level programming languages. Understand how this work bridges the gap between the automated testing capabilities available in functional languages and the manual effort traditionally required for testing memory-safe C code with complex ownership patterns.
