Deriving Compositional Random Generators
implementation and application of functional languages, 2019.
Generating good random values described by algebraic data types is often quite intricate. State-of-the-art tools for synthesizing random generators serve the valuable purpose of helping with this task, while providing different levels of invariants imposed over the generated values. However, they are often not built for composability nor ...More
Get fulltext within 24h
Full Text (Upload PDF)
PPT (Upload PPT)