dragen
Version 0.1.0.0 revision 0 uploaded by agustinmista.
Package meta
- Synopsis
- Automatic derivation of optimized QuickCheck random generators.
- Description
DRAGEN is a Template Haskell tool for automatically deriving QuickCheck generators in compile-time. The user sets a desired distribution of values, and DRAGEN will try optimize the generation parameters to satisfy it using probabilistic analyses based on multi-type branching processes. DRAGEN is based on the following paper Branching processes for QuickCheck generators. Agustín Mista, Alejandro Russo, John Hughes. Haskell Symposium, 2018. https://dl.acm.org/citation.cfm?doid=3242744.3242747
- Author
- Agustín Mista
- Bug reports
- https://github.com/OctopiChalmers/dragen/issues
- Category
- Testing
- Copyright
- 2018 Agustín Mista
- Homepage
- https://github.com/OctopiChalmers/dragen#readme
- Maintainer
- Agustín Mista
- Package URL
- n/a
- Stability
- n/a