David Maciver

According to our database, David Maciver authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

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

David Maciver, Alastair F. Donaldson

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Hypothesis: A new approach to property-based testing.

David Maciver, Zac Hatfield-Dodds

J. Open Source Softw., 2019