Notes related to Property-based testing
Papers related to Property-based testing
- QuickCheck: A lightweight tool for random testing of Haskell programs [claessen:icfp:2000]
- DeepState: Symbolic unit testing for C and C++ [goodman:ndss:2018]
- Test-case reduction via test-case generation: Insights from the Hypothesis reducer [maciver:ecoop:2020]
- Towards making formal methods normal: meeting developers where they are [reid:hatra:2020]
- Parameterized unit tests [tillmann:fse:2005]