Worked on the strata-org/Strata repository to enhance automated testing infrastructure by introducing generator-based methods for producing well-typed LExprs, supporting robust property-based testing. Leveraged Lean and functional programming principles to implement random data generation that respects type constraints, using LExpr.HasType relations to ensure correctness. Integrated the Plausible library to facilitate conformance testing and labeling of generated values, while maintaining comprehensive documentation for future contributors. The generator code was refactored for clarity and maintainability, with careful preservation of references to existing ChaMelean tooling. This work established a scalable foundation for safer random expression generation and improved test coverage in type-theoretic contexts.