Hypothesis: A new approach to property-based testing. - David Maciver; Zac Hatfield-Dodds (J. Open Source Softw., 2019)

Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper). - David Maciver; Alastair F. Donaldson (ECOOP, 2020)