Rust Property Testing: Input Spaces, Edge Cases, and Regression Shrinking

A practical two-hour session on Rust Property Testing, focused on Input Spaces, Edge Cases, and Regression Shrinking. Rust is used as the implementation context while the core lesson stays on software engineering fundamentals, reliability, testing, and operational clarity.

Audience: entry-level and intermediate developers who want a practical engineering session, not a language tour.

Outcomes:

• Explain the practical boundaries of Rust Property Testing
• Apply Input Spaces in a small working example
• Apply Edge Cases in a small working example
• Apply and Regression Shrinking in a small working example

Format: two hours with a short framing walkthrough, a concrete example, discussion of tradeoffs, and a closing checklist for practice.