Personal information

Activities

Works (2)

Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)

Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2020 | Journal article
Source: Self-asserted source
David R. MacIver

Hypothesis: A new approach to property-based testing

Journal of Open Source Software
2019-11-21 | Journal article
Contributors: David MacIver; Zac Hatfield-Dodds; Many Contributors
Source: check_circle
Crossref