function (2) test (2) properti (1) specul (1) result (1) reason (1) discov (1) condit (1) refin (1) inequ (1)
Person: Rudy Braquehais
Wrote 2 papers:
- Haskell-2016-BraquehaisR #functional #named #testing
- FitSpec: refining property sets for functional testing (RB, CR), pp. 1–12.
- Haskell-2017-BraquehaisR #black box #equation #named #reasoning
- Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results (RB, CR), pp. 40–51.